A unified approach to protocol test sequence generation

The authors present an approach that combines control flow and data flow analysis techniques to generate unified test sequences (UTSs) for testing protocols modeled as an extended finite-state machine (EFSM). The UTS has the same fault detection capability as the characterizing sequence (UIO, DS, or W) methods for the control part, and at the same time covers all paths that connect variable definitions and uses (all du-paths) for data flow testing. A transition dependence graph is proposed to represent the dependence relations between transitions needed to construct the test sequences. The executable UTS is then selected using constraint satisfaction problem (CSP) solution techniques and transition loop analysis