Automatic Test Generation for EFSM-based Systems

The present work addresses the problem of conformance testing for EFSM-based systems and especially, the problem of automatically generating executable test cases. First, the most important description methods are presented. Then, the test generation methods for FSM (finite state machines)-based systems are described. However, since systems are more understood as extended finite state machines (EFSMs), existing test generation methods for EFSM-specified systems are also presented. These methods combine both control and data flow techniques and few effort has been spent in solving the executability problem. For this purpose, we propose a methodology which will solve, if not completely, partially the executability problem and mainly the problem of including all the influencing loops in the test sequences and finding how many times an unbounded loop must be executed.