The Community for Technology Leaders
Green Image
Issue No. 01 - January/February (1992 vol. 9)
ISSN: 0740-7459
pp: 27-37
<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
Kshirasagar Naik, Behcet Sarikaya, "Testing Communication Protocols", IEEE Software, vol. 9, no. , pp. 27-37, January/February 1992, doi:10.1109/52.108777
110 ms
(Ver 3.3 (11022016))