Abstract

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.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.