TUGEN: an automatic test suite generator integrating data-flow and control-flow methods

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

Full description

Saved in:
Bibliographic Details
Published in1998 IEEE International Conference on Communications Vol. 1; pp. 286 - 290 vol.1
Main Authors Jianguo Wang, Ruibing Hao, Jianping Wu
Format Conference Proceeding
LanguageEnglish
Published IEEE 1998
Subjects
Automata
Automatic control
Automatic generation control
Automatic testing
Computer science
Data analysis
Logic
Protocols
Space exploration
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:0780347889
9780780347885
DOI:10.1109/ICC.1998.682688