Research On Test Path Generation Method Based On Extended Finite State Machine

Nowadays,software testing is not like the traditional testing technology,which regards testing as the first link after software coding.With the continuous development of software engineering,the status of software testing in each phase of software life cycle is constantly improved.In practical engineering problems,the tested system is often huge and complex,which makes the software test cases become complex and can not be orderly rectified.Then the model-based software testing technology is an optional solution to the above problems.The extended finite state machine model can model the control part and the data part of the tested system at the same time,because it not only has the state set and the transition set,but also uses a set of variables to supplement the information of the transition set and then expands the structure of the finite state machine model.Therefore,the extended finite state model can be used to model all kinds of tested systems.However,the data flow dependency between transition paths will lead to the infeasibility of the transition path of extended finite state model,which makes the infeasible transition path triggered by no testdata.Therefore,this paper focuses on the generation method of feasibility test path based on the extended finite state machine model.First of all,based on the dependence of data flow between the state transition of the extended finite state machine model of the tested system,the infeasibility of the transition sequence is determined,and the infeasibility of the transition path is calculated by permutation and combination of the assignment operation type of transition information and the difficulty and satisfaction degree of guard condition operator.Then the state transition tree is generated according to the state transition graph of the extended finite state machine model,so as to reduce the complexity of the test,and it is also convenient to use the transition pair coverage criteria to generate the test path and the full zero-one-two path coverage criterion to deal with the self cycle transition.Then,according to the transitionS pair coverage criterion based on the extended finite state machine model,combined with the infeasible path determination,a set of feasible test path sets based on the model is generated.Finally,the feasibility of this method is proved by comparing five groups of case data with other methods in transition coverage and transition pair coverage and so on.The user management module of "software project development process assistant management system" is used to explain the application of this method in the function test of web application system page transition.