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

摘要：

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

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

所属期刊栏目：26

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2016-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共17页

页码：2504-2520