Research Of Testing Scheme Generation Based On FSM Model

With the increasing application of computers, every industry put forward higher requirement about the robustness and stability of the software system, making the status of software testing increasingly important throughout the software project. System testing based on FSM model is an important research direction of conformance testing, which has been widely promoted in the actual testing work. However, due to the diversity of practical application scenarios and the complexity of software design, it is difficult to describe in some software systems, which bring great inconvenience to the actual testing. At the same time large-scale testing set was generated with some classic test methods, affecting the efficiency of the conformance testing process and adding to the workload of practical testing task. Thus, there are several shortcomings of conformance testing based on FSM mode in practical application, and it is of great value to the study of technology.To solve these problems, firstly this paper introduces the concept of FSM model and the theory of conformance testing based on FSM model. Then the classical method are discussed in details based on FSM model.Secondly, this paper introduces the structure of the prototype system developed during the research,which can generate testing scheme based on FSM model.The overall structure contains the FSM model drawing module, test case generation and optimization module, special transition processing module and management module.Then, this paper introduces the test case generation and optimization module and special transition processing module in details.In the test case generation and optimization module, this paper proposes a testing set compression method which brings prefix redundancy reduction and substring redundancy reduction to the original testing set,and enables the compression of testing set which was generated by two classic test methods.The results shows the optimized testing set ensures the original error detection capability which will not be affected, and achieves remarkable compression results. In the special transition processing module, the paper lists and defines several special transitions types, and proposes the corresponding motheds, which enhances the FSM description ability.Finally, a relevant prototype system was coded based on the application background of the subject,which includes all the functions of each module.With the present system, a lot of examples were tested,and the results of this study have been demonstrated fully executables.