一种基于约束的变异测试数据生成方法.pdf

ISSN 11—1777／TP 计算机研究与发展 1000—12391CN of Research Journal and Computer Development 一种基于约束的变异测试数据生成方法 刘新忠1 徐高潮1’2 胡 亮1’2 付晓东1 董玉双1 1(吉林大学计算机科学与技术学院长春130012) 2(符号计算与知识工程教育部重点实验室(吉林大学)长春 130012) (1xz．_ilu@163．corn) An for Constraint—BasedTestDataGenerationinMutation Approach Testing Liu Gaocha01”，Hu Xinzhon91，Xu Lian91”，FuXiaodon91，andDongYushuan91 Scienceand 130012) 1(CollegeofComputer Technology，JilinUniversity，Changchun and Computation Education， 2(KeyLaboratory，0rSymbol KnowledgeEngineering(JilinUniversity)，Ministryof 130012) Changchun AbstractAsa toevaluatethe oftest hasbeen cases，mutation testingstrategy completude testing identifiedas forunit is usedto a“fault-oriented”technique testing，whichmainly generatecomplete test mutation tosimulatesoftware defects，mutation cases．Byapplying operators testinggenerates mutantsandconstructsa testsuittokillthem．Testdata forthetestsuit generation constructing includesrandom methodand testdata them，the method，path—wisegoal—orientedgenerators．Among of data fortest test isa cases path-wisetechnique generationhigh—efficiencytechnique generation， testdata