Formal development of universal protocol implementations conformance statement proforma

In this paper, we examine the adequacy of the current international protocol´s implementation conformance statement proforma (PICSP) to meet the end user´s conformance testing requirements (CTRs). We focus on those CTRs that are applicable to the international formal description techniques (FDTs). A number of shortfalls are uncovered. Then, we develop refinements called testability-directed PICSP (TDPICSP), of the current international PICSP to rectify the shortfalls. It also enhances the testability of the protocol standard. We illustrate our development by examples using international standards.