This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Testing Communication Protocols
January/February 1992 (vol. 9 no. 1)
pp. 27-37

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.

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, Jan.-Feb. 1992, doi:10.1109/52.108777
Usage of this product signifies your acceptance of the Terms of Use.