The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January/February (1992 vol.9)
pp: 27-37
ABSTRACT
<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>
INDEX TERMS
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
CITATION
Kshirasagar Naik, Behcet Sarikaya, "Testing Communication Protocols", IEEE Software, vol.9, no. 1, pp. 27-37, January/February 1992, doi:10.1109/52.108777
22 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool