###
Journal of Software:2015.26(10):2504-2520

基于统计占优分析的变异测试
张功杰,巩敦卫,姚香娟
(中国矿业大学 计算机科学与技术学院, 江苏 徐州 221116;江苏师范大学 计算机科学与技术学院, 江苏 徐州 221116;中国矿业大学 信息与电气工程学院, 江苏 徐州 221116;中国矿业大学 理学院, 江苏 徐州 221116)
Mutation Testing Based on Statistical Dominance Analysis
ZHANG Gong-Jie,GONG Dun-Wei,YAO Xiang-Juan
(School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221116, China;School of Computer Science and Technology, Jiangsu Normal University, Xuzhou 221116, China;School of Information and Electrical Engineering, China University of Mining and Technology, Xuzhou 221116, China;College of Science, China University of Mining and Technology, Xuzhou 221116, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 1862   Download 1891
Received:May 15, 2013    Revised:July 01, 2014
> 中文摘要: 为数众多的变异体产生的高昂测试代价严重影响了变异测试技术在实际程序中的应用.为了大幅度减少弱变异测试中变异体的数量,提出基于统计占优分析的变异体约简方法.该方法首先利用变异前后的语句构造变异分支,并将所有变异分支集成到原程序中,形成新的被测程序;然后,通过统计测试用例对各个变异分支的覆盖信息,确定变异分支之间的占优关系;最后得到非被占优分支集,其对应的变异体就是约简后的变异体.将该方法用于8个程序的测试,结果表明:该方法能够约简平均90%的变异体,从而显著提高了变异测试的效率.
Abstract:The high cost resulting from a large number of mutants hinders mutation testing in practical application. In order to greatly reduce mutants under weak mutation testing, a new approach to reducing mutants based on statistical dominance analysis is presented. In the proposed approach, mutant branches are first constructed by combining statements before and after mutation, and a new program is formed by integrating all mutant branches into the original program. Furthermore, the dominance relations among mutant branches in the new program are determined by statistical information of coverage after executing test cases. Finally, the non-dominated mutant branches are obtained corresponding to the mutants after reduction. The proposed approach is applied to test eight programs, and the experimental results demonstrate that it can reduce 90% mutants on average, therefore greatly improve the efficiency of mutation testing.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(61375067,61203304);江苏省自然科学基金(BK2012566);中央高校基本科研业务专项基金(2012QNA41) 国家自然科学基金(61375067,61203304);江苏省自然科学基金(BK2012566);中央高校基本科研业务专项基金(2012QNA41)
Foundation items:
Reference text:

张功杰,巩敦卫,姚香娟.基于统计占优分析的变异测试.软件学报,2015,26(10):2504-2520

ZHANG Gong-Jie,GONG Dun-Wei,YAO Xiang-Juan.Mutation Testing Based on Statistical Dominance Analysis.Journal of Software,2015,26(10):2504-2520