Synchronizable protocol test generation via the duplex technique

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.<
>