| 摘要: |
| 为数众多的变异体产生的高昂测试代价严重影响了变异测试技术在实际程序中的应用.为了大幅度减少弱变异测试中变异体的数量,提出基于统计占优分析的变异体约简方法.该方法首先利用变异前后的语句构造变异分支,并将所有变异分支集成到原程序中,形成新的被测程序;然后,通过统计测试用例对各个变异分支的覆盖信息,确定变异分支之间的占优关系;最后得到非被占优分支集,其对应的变异体就是约简后的变异体.将该方法用于8个程序的测试,结果表明:该方法能够约简平均90%的变异体,从而显著提高了变异测试的效率. |
| 关键词: 软件测试 变异测试 变异体约简 占优关系 统计占优分析 |
| DOI：10.13328/j.cnki.jos.004749 |
| 分类号: |
| 基金项目:国家自然科学基金(61375067,61203304);江苏省自然科学基金(BK2012566);中央高校基本科研业务专项基金(2012QNA41) |
|
| Mutation Testing Based on Statistical Dominance Analysis |
|
ZHANG Gong-Jie1,2, GONG Dun-Wei3, YAO Xiang-Juan4
|
|
1.School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221116, China;2.School of Computer Science and Technology, Jiangsu Normal University, Xuzhou 221116, China;3.School of Information and Electrical Engineering, China University of Mining and Technology, Xuzhou 221116, China;4.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. |
| Key words: software testing mutation testing mutant reduction dominance relation statistical dominance analysis |
