Design And Implementation Of Model-based Mutation Testing Tool

With the rapid development of computer technology,the number and size of software products are growing at an advanced pace.In order to guarantee the quality of software products and measure the quality of development work,we often use software testing to insure all of this.In the software development process,according to the stage and purpose,the process of testing can be divided into unit testing,integration testing,system testing and validation testing.In the total cost of software development,its 30%to 50%is occupied by software testing.Software testing evaluates the quality of software development,and in this article the fault injection technique is a tool that can evaluate the quality of testing work and assist to test.At the same time mutation testing technology is also a way to optimize the testing work,and can be used to test the test cases of the agreement,the optimization of test cases and so on.The traditional way of mutation technology is to do on the code level,using specific mutation operators on the system under test,and to modify the contents of the software system code.It is supposed that such artificial error injection can simulate bugs that maybe occur in reality.Mutation testing is a technique based on fault injection,but the wide variety of code changes increase the cost of this technique's executing.The model-based mutation testing method introduced in this paper is to incorporate the idea of mutation into the model-based testing method.The directed graph model is used to model the system behavior based on the function or working status of software modules.Then I use the four simple first-order mutation operators that designed in this method to mutate the model.Taking this approach,the old code-based white box mutation testing is turned into a model-based black box mutation testing.In the idea of mutation testing,features based on model testing are used to simplify the mutation operator set and reduce the cost of mutation testing's implementation.And through the selection of different modeling norms,the granularity and accuracy of the model can be controlled,and from this perspective,the cost of the mutation process can be controlled according to the actual demands.Testing tool designed according to this method provides these functions:(1)Generating test paths based on models;(2)Generating mutants according to the specified mutation operators;(3)Executing test cases;(4)Giving the calculation result.Then using the mutation tool to conduct a model-based test of a classic music player case and analyzing the results.