DocumentCode
2988208
Title
Synchronizable protocol test generation via the duplex technique
Author
Chen, W.H. ; Lu, C.S. ; Chen, L. ; Wang, J.T.
Author_Institution
Telecommun. Lab., Chung-Li, Taiwan
fYear
1990
fDate
3-7 Jun 1990
Firstpage
561
Abstract
A technique is proposed for generating a synchronizable test sequence to ensure protocol implementation conformity to protocol specification. This duplex technique converts the transition graph of a protocol into a duplex graph in order to generate a synchronizable test sequence for the protocol. By introducing the Chinese postman tour, this technique can be applied to the transition-tour method for generating the optimally synchronizable test sequence
Keywords
conformance testing; graph theory; protocols; Chinese postman tour; duplex graph; duplex technique; protocol implementation conformity; protocol specification; synchronisable protocol test generation; transition graph; Automata; Automatic testing; Electronic mail; Heuristic algorithms; Laboratories; Protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
INFOCOM '90, Ninth Annual Joint Conference of the IEEE Computer and Communication Societies. The Multiple Facets of Integration. Proceedings, IEEE
Conference_Location
San Francisco, CA
Print_ISBN
0-8186-2049-8
Type
conf
DOI
10.1109/INFCOM.1990.91295
Filename
91295
Link To Document