DocumentCode
1542895
Title
Formal methods for generating protocol conformance test sequences
Author
Dahbura, Anton T. ; Sabnani, Krishan K. ; Uyar, M. ümit
Author_Institution
AT&T Bell Lab., Murray Hill, NJ, USA
Volume
78
Issue
8
fYear
1990
fDate
8/1/1990 12:00:00 AM
Firstpage
1317
Lastpage
1326
Abstract
The four major methods of conformance test generation reported in the literature are reviewed: transition tours; distinguishing sequences; characterizing sequences; and unique input/output sequences. These methods are used to test the control portion of a protocol specification. The conformance testing concepts developed in the standards world are summarized. Their relationship with the four formal methods is discussed
Keywords
computer networks; open systems; protocols; standards; testing; OSI conformance testing; characterizing sequences; conformance test generation; control portion; distinguishing sequences; formal methods; protocol conformance test sequences; protocol specification; standards; transition tours; unique input/output sequences; Automatic testing; Communication networks; Communication system control; Communications technology; Controllability; Observability; Protocols; Software testing; System testing; Telecommunication network reliability;
fLanguage
English
Journal_Title
Proceedings of the IEEE
Publisher
ieee
ISSN
0018-9219
Type
jour
DOI
10.1109/5.58319
Filename
58319
Link To Document