Research On Diversity-oriented Test Case Generation Based On Efsm Model

Model-based software testing has attracted wide attention in the field of automated software testing due to its ease of implementation and high efficiency.Extended Finite State Machine is one of software models,however,the test efficiency of the EFSM model decreases with the increasing of software scale.In addition,the limitations of the EFSM test generation methods based on the code coverage criteria affect the fault detection capability of the EFSM test cases.Therefore,improving the efficiency and effectiveness of the EFSM test case generation method has become a hot topic in the current model-based software testing.Test diversity is a new test criterion.It diversifies the software behavior by increasing the degree of difference between test cases,thus improving the detection rate of faults.This paper introduces test diversity into EFSM test generation and proposes a diversity-oriented EFSM test case generation method(DOTSG).Based on the characteristics of the EFSM model and its test cases,the factors affecting the EFSM model test case differences are analyzed,and the EFSM model test case diversity evaluation method is given.Then,the formula for calculating the degree of difference between the EFSM test cases and the diversity of the test case suite.In addition,the encoding and operators of genetic algorithm are also discussed to obtain the test suite for diversity-oriented EFSM models that meet the test coverage criteria and are executable.To evaluate the validity of our method,six EFSM models were selected as measured objects,and diversity-oriented test case generation methods based on genetic algorithm were developed for the all-transition coverage criteria.Experiments are conducted to compare and analyze the results from fault detection capability,test efficiency and the test suite size.The empirical results show that DOTSG is viable and effective to generate the all-transition coverage adequate EFSM test suite.In addition,compared to the traditional EFSM model test generation method,DOTSG method not only improves the test generation efficiency and the test case failure detection capability,but also reduce the test suite size.