Automatic Test Transition Paths Generation Approach from EFSM Using State Tree

Software testing is important in whole software development process. However, software testing is large in scale, long period, which need to spend a lot of manpower, and financial resources. This paper analyzes the situation of automatic test case generation technology, proposes an approach to decompose the extended finite state machine (EFSM) first, then convert it to an extended finite state tree, and automatically calculate the test state transition paths through the tree, finally selects satisfied paths to test according to the test variable data which determined by test requirements. This approach can automatically calculate as few test transition paths as possible to achieve state coverage and path coverage requirements, the generated continuous state transition paths are beneficial to the comprehensive test of the state transition of EFSM. Compared with other automatic test path generation methods of EFSM, our approach can automatically generate fewer test transition paths from EFSM and reduce the test time.