电子学报2017，Vol.45Issue(8)：1970-1975,6.DOI:10.3969/j.issn.0372-2112.2017.08.023
一种变异测试中冗余变异体的寻找方法
A Method for Finding Redundant Mutants in Mutation Testing
摘要
Abstract
Mutation testing is an effective fault-based testing method.However,the application of mutation testing in engineering development has been restricted by the high testing costs caused by a large number of redundant mutants.Regarding the mutants arising from the sequential statements in a program,an algorithm based on propagation-infection-execution (PIE) model was proposed,which employs the interval abstract domain to represent program state and the interval algorithm to evaluate the redundancy relation between the mutants.Meanwhile,regarding the conditional statements in a program,the redundant mutant selection algorithms based on the predicate fault hierarchy are also presented.The algorithms are designed for simple predicate and compound predicate respectively.By analyzing the effects of these algorithms,the constrained boundary condition for the development of non-redundant mutants under the condition of stratified sampling is concluded.Siemens Test Suite and other three open source projects are used to conduct experiments to compare the proposed method with random selection method.Experimental results show that the proposed method can reduce the mutant testing time cost while maintaining a high mutation score.关键词
变异测试/变异算子/冗余变异体/变异成本/变异体约减Key words
mutation testing/mutation operators/redundant mutants/mutation cost/mutant reduction分类
信息技术与安全科学引用本文复制引用
钱茛南,王雅文,宫云战,孟凡荣..一种变异测试中冗余变异体的寻找方法[J].电子学报,2017,45(8):1970-1975,6.基金项目
国家自然科学基金(No.91318301,No.61202080) （No.91318301,No.61202080）
广西云计算与大数据协同创新中心、广西高校云计算与复杂系统重点实验室资助(No.YD16508) （No.YD16508）
