基于路径比较的变异测试方法_姚香娟.pdfVIP

1 　　　　　　 Vol.40　No.1 　2012 1 ACTA ELECTRONICA SINICA Jan.　2012 　 1, 2, 3 1,3 姚香娟 , 巩敦卫 (1., 221116;2., 221116; 3., 430072) 　　　:　., ;, , , ;, ., , , . :　;;; :　TP311　　　:　A　　　:　0372-2112 (2012)01-0103-05 URL:　 DOI:10.3969/j.issn.0372-2112.2012.01.017 Mutation Testing Based on Comparison of Paths YAO Xiang-juan1,2,3, ON Dun-wei1,3 (1.School of Information and Electrical Engineering, China University of Mining and Technology, Xuzhou,Jiangsu 221116, China; 2.Collegeof Science, China University of Mining and Technology ,Xuzhou,Jiangsu 221116, China; 3.StateKey Laboratory of Soft areEngineering, Wuhan University, Wuhan, Hubei 430072, China) Abstract:　This study proposed a mutation testingmethod 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 onlyreduce the difficulty of mutation testing, but also improve the efficiency of generating test data. Key words:　mutation testing;path comparison;test data;genetic algorithm . 1 　 , ., [1] [4] 　　(Mutation Test)Hamlet . ,:,, , ;, . , ,. , ,,