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
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;
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
DOI :
10.1109/INFCOM.1990.91295
