Loading...
Please wait, while we are loading the content...
Similar Documents
Automatic Test Generation for EFSM-based Systems (1043)
| Content Provider | CiteSeerX |
|---|---|
| Author | Bourhfir, Chourouk Dssouli, Rachida Aboulhamid, El Mostapha |
| Abstract | : 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. Keywords: EFSM, conformance testing, control flow testing, data flow testing executability, test data selection, symboli... |
| File Format | |
| Language | English |
| Publisher Date | 1043-01-01 |
| Access Restriction | Open |
| Subject Keyword | Efsm-based System Automatic Test Generation Test Generation Method Executability Problem Data Flow Technique Important Description Method Conformance Testing Executable Test Case Extended Finite State Machine Finite State Machine Unbounded Loop Many Time Test Sequence Present Work Control Flow Testing Efsm-specified System Test Data Selection |
| Content Type | Text |
| Resource Type | Technical Report |
