On a new approach for enhancing the fault coverage of conformance testing of protocols

Proposes a new approach for enhancing the fault coverage of protocol testing using unique input/output (UIO) sequences. UIO sequences can be efficiently employed in checking the conformance specifications of protocols by transition testing and an optimization process based on the rural Chinese postman tour algorithm. The proposed approach is based on a new set of conditions for UIO sequence generation, namely singularity, i.e. uniqueness between UIO sequences in the traversal of the FSM and their ability to avoid masking and undetection of faults