Synchronizable protocol test generation via the duplex technique
Wei‐Hsin Chen, Cho-Ching Lu, L. Chen, J.T. Wang · 2002
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.>