首页 | 本学科首页   官方微博 | 高级检索  
     

基于统计占优分析的变异测试
引用本文:张功杰,巩敦卫,姚香娟. 基于统计占优分析的变异测试[J]. 软件学报, 2015, 26(10): 2504-2520
作者姓名:张功杰  巩敦卫  姚香娟
作者单位:中国矿业大学 计算机科学与技术学院, 江苏 徐州 221116;江苏师范大学 计算机科学与技术学院, 江苏 徐州 221116,中国矿业大学 信息与电气工程学院, 江苏 徐州 221116,中国矿业大学 理学院, 江苏 徐州 221116
基金项目:国家自然科学基金(61375067,61203304);江苏省自然科学基金(BK2012566);中央高校基本科研业务专项基金(2012QNA41)
摘    要:为数众多的变异体产生的高昂测试代价严重影响了变异测试技术在实际程序中的应用.为了大幅度减少弱变异测试中变异体的数量,提出基于统计占优分析的变异体约简方法.该方法首先利用变异前后的语句构造变异分支,并将所有变异分支集成到原程序中,形成新的被测程序;然后,通过统计测试用例对各个变异分支的覆盖信息,确定变异分支之间的占优关系;最后得到非被占优分支集,其对应的变异体就是约简后的变异体.将该方法用于8个程序的测试,结果表明:该方法能够约简平均90%的变异体,从而显著提高了变异测试的效率.

关 键 词:软件测试  变异测试  变异体约简  占优关系  统计占优分析
收稿时间:2013-05-15
修稿时间:2014-07-01

Mutation Testing Based on Statistical Dominance Analysis
ZHANG Gong-Jie,GONG Dun-Wei and YAO Xiang-Juan. Mutation Testing Based on Statistical Dominance Analysis[J]. Journal of Software, 2015, 26(10): 2504-2520
Authors:ZHANG Gong-Jie  GONG Dun-Wei  YAO Xiang-Juan
Affiliation: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 and College of Science, China University of Mining and Technology, Xuzhou 221116, China
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.
Keywords:software testing  mutation testing  mutant reduction  dominance relation  statistical dominance analysis
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号