Mutation Testing Based on Comparison of Paths
Gong Dun-wei · Dianzi xuebao · 2012
This study proposed a mutation testing method based on comparison of paths.First,whether a mutation is killed is determined by comparing the traversed paths;then,a model of test data generation for mutation testing based on path coverage is proposed.In the mathematic model,the objective is to kill the mutation and the constraint is to traverse the chosen path.Finally,we applied the proposed method to some typical programs.The experimental results show that the proposed method can not only reduce the difficulty of mutation testing,but also improve the efficiency of generating test data.