Issue No. 01 - January/February (1992 vol. 9)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.108777
<p>The authors describe a unifying, common intermediate model that lets Lotos specifications and TTCN test suites be translated into extended finite-state machines, providing a single medium for conformance testing. The paper covers specifying a protocol in Lotos, specifying test suites in TTCN, translating specifications to CIM, and the generation, verification, selection, parametrization, and execution of tests.</p>
communication protocols testing; common intermediate model; Lotos specifications; TTCN test; finite-state machines; conformance testing; CIM; generation; verification; selection; parametrization; conformance testing; formal specification; protocols
K. Naik and B. Sarikaya, "Testing Communication Protocols," in IEEE Software, vol. 9, no. , pp. 27-37, 1992.