Title :
Testing communication protocols
Author :
Naik, Kshirasagar ; Sarikaya, Behcet
Author_Institution :
Concordia Univ., Montreal, Que., Canada
Abstract :
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.<>
Keywords :
conformance testing; formal specification; protocols; CIM; Lotos specifications; TTCN test; common intermediate model; communication protocols testing; conformance testing; finite-state machines; generation; parametrization; selection; verification; Automatic testing; Design engineering; Formal languages; Open systems; Protocols; Reliability engineering; Software testing; Specification languages; Tree data structures; Writing;
Journal_Title :
Software, IEEE
