Towards Sound Development of PIXITP, Conformance Test Suites, and Conforming Implementations For Various Formal Description Techniques

摘要

The testability of a protocol standard is a property of the standard that reflects the degree of precision in developing universal interpretation of what it means for an implementation to conform to the standard, and the ability to exercise the implementations of the protocol standard for purposes of assessing their conformance to the standard [3]. In this paper, we investigate the Conformance Testing Requirements (CTRs) of a protocol standard that result from the formal specification of the allowed (dynamic) behavior of the protocol standard. We focus on those CTRs that are applicable to all the international Formal Description Techniques (FDTs); more specifically, SDL, Lotos, Estelle, and ASN.1. We develop a distinction among Implemenlor's options, Implementer's Choice, and Non-Deterministic Choices as well as testing semantics for each of them. Then, we develop rules for the explicit and precise specification of these CTRs, and for developing a precise and explicit PIXITP (Protocol Implementation eXtra Information for Testing Proforma). These rules are essential for facilitating the controllability and propagation of observability; consequently, enhancing the testability of the protocol standard.