一种基于数据流分析的冗余变异体识别方法
A Data Flow Analysis Based Redundant Mutants Identification Technique作者机构:北京科技大学计算机与通信工程学院北京100083 普渡大学计算机科学系美国西拉法叶47906 斯文本大学计算机科学与软件工程系
出 版 物:《计算机学报》 (Chinese Journal of Computers)
年 卷 期:2019年第42卷第1期
页 面:44-60页
核心收录:
学科分类:0810[工学-信息与通信工程] 0808[工学-电气工程] 08[工学] 0839[工学-网络空间安全] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
基 金:国家自然科学基金(61872039 61370061) 北京市自然科学基金(4162040) 航空科学基金(2016ZD74004) 中央高校基本科研业务费专项资金(FRF-GF-17-B29)资助~~
主 题:软件测试 变异测试 冗余变异体 数据流分析 变异优化
摘 要:变异测试是一种基于故障的软件测试技术,广泛用来评估测试用例集的充分性与软件测试技术的有效性.尽管变异测试具有较强的故障检测能力,但由于数量庞大的变异体导致了计算开销大的问题,阻碍了变异测试在实践中的广泛应用.为了增强变异测试的实用性,该文从减少变异体数量和缩短变异测试执行时间的角度出发研究变异测试的优化技术,提出冗余变异体的概念和一种基于数据流分析的冗余变异体识别方法.采用11个C程序以经验研究的方式评估了所提冗余变异体识别方法的可行性与有效性.实验结果表明,该文提出的冗余变异体识别方法不仅可以识别出大量的冗余变异体,有效地减少了变异测试执行时间,还提供了一种评价变异算子质量的方法.该文提出的冗余变异体概念及其识别方法可以有效地提高变异测试的效率,并为资源受限的情况下如何选择变异算子进行变异测试提供了指导方针.