Feasible transition path generation for EFSM-based system testing

This paper presents a feasible transition path (FTP) generation approach for testing extended finite state machines (EFSM). The major problem faced by EFSM-based testing is the existence of the infeasible paths due to conflict of the context variable with the enable conditions in the transition path. In order to avoid infeasible path generation, this paper proposed an approach that uses the modified breadth first search with conflict checker to generate a set of minimum FTP for each transition. An EFSM executable model is developed for algorithm modeling and verification as well as performance evaluation. Experimental results conducted on two EFSM models showed that the proposed approach is able to generate feasible transition path with at least 18% path length reduction.

[1]  Stanley M. Selkow,et al.  Algorithms in a Nutshell , 2008 .

[2]  Mark Harman,et al.  Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models , 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.

[3]  Yanping Chen,et al.  Model-based regression test suite generation using dependence analysis , 2007, A-MOST '07.

[4]  M. Ümit Uyar,et al.  A method enabling feasible conformance test sequence generation for EFSM models , 2004, IEEE Transactions on Computers.

[5]  Eliane Martins,et al.  MOST: A Multi-objective Search-Based Testing from EFSM , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

[6]  James A. Whittaker,et al.  Model‐Based Software Testing , 2002 .

[7]  Baowen Xu,et al.  Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis , 2011, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.

[8]  Abdul Salam Kalaji.  Search-based software engineering : a search-based approach for testing from extended finite state machine (EFSM) models , 2010 .

[9]  F. Ferrari,et al.  System-on-a-chip verification~methodology and techniques , 2002, IEEE Circuits and Devices Magazine.

[10]  Franco Fummi,et al.  An EFSM-based approach for functional ATPG , 2005, ACM Great Lakes Symposium on VLSI.