Formal development of universal protocol implementations conformance statement proforma
Hazem EI-Gendy · 2009
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.