DocumentCode
1206781
Title
Testing communication protocols
Author
Naik, Kshirasagar ; Sarikaya, Behcet
Author_Institution
Concordia Univ., Montreal, Que., Canada
Volume
9
Issue
1
fYear
1992
Firstpage
27
Lastpage
37
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;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/52.108777
Filename
108777
Link To Document