基于统计占优分析的变异测试

来源：软件学报杂志2015年第10期北京时间：

作者：张功杰,巩敦卫,姚香娟

单位：张功杰，中国矿业大学 计算机科学与技术学院, 江苏 徐州 221116;江苏师范大学 计算机科学与技术学院, 江苏 徐州 22111611,巩敦卫，中国矿业大学 信息与电气工程学院, 江苏 徐州 22111602,姚香娟，中国矿业大学 理学院, 江苏 徐州 22111603

摘要：为数众多的变异体产生的高昂测试代价严重影响了变异测试技术在实际程序中的应用.为了大幅度减少弱变异测试中变异体的数量,提出基于统计占优分析的变异体约简方法.该方法首先利用变异前后的语句构造变异分支,并将所有变异分支集成到原程序中,形成新的被测程序;然后,通过统计测试用例对各个变异分支的覆盖信息,确定变异分支之间的占优关系;最后得到非被占优分支集,其对应的变异体就是约简后的变异体.将该方法用于8个程序的测试,结果表明:该方法能够约简平均90%的变异体,从而显著提高了变异测试的效率.

关键词：软件测试;变异测试;变异体约简;占优关系;统计占优分析

基金资助：国家自然科学基金(61375067,61203304);江苏省自然科学基金(BK2012566);中央高校基本科研业务专项基金(2012QNA41)