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
fDate :
8/1/1990 12:00:00 AM
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;
Journal_Title :
Proceedings of the IEEE
