TUGEN: an automatic test suite generator integrating data-flow and control-flow methods
Jianguo Wang, Ruibing Hao, Jianping Wu · 2002
This paper presents a new method and its implementation called TUGEN. This method integrates the features of data-flow and control-flow test. TUGEN is based on a formal model called EBE that specifies only the external behavior of a protocol. We introduce the unique input/output (UIO) sequence algorithm to determine the state and the concept of adaptive input/output (AIO) tree to solve the nondeterminism of a protocol. We also use the protocol constraint set to control the complexity of exploring space. Furthermore, we can optimally generate the test suite by simulant testing.