DFSampling:一种数据流分析指导的变异体精简策略  被引量:1

DFSampling: Mutant Reduction Technique Guided by Data Flow Analysis

在线阅读下载全文

作  者:孙昌爱[1,2] 卫新洁 刘镇贤 宫云战 SUN Chang-Ai;WEI Xin-Jie;LIU Zhen-Xian;GONG Yun-Zhan(School of Computer&Communication Engineering,University of Science and Technology Beijing,Beijing 100083,China;State Key Laboratory of Computer Science(Institute of Software,Chinese Academy of Sciences),Beijing 100190,China;Institute of Network Technology,Beijing University of Posts and Telecommunications,Beijing 100876,China)

机构地区:[1]北京科技大学计算机与通信工程学院,北京100083 [2]计算机科学国家重点实验室(中国科学院软件研究所),北京100190 [3]北京邮电大学网络技术研究院,北京100876

出  处:《软件学报》2022年第9期3407-3421,共15页Journal of Software

基  金:国家自然科学基金(61872039);中国科学院软件研究所计算机科学国家重点实验室开放课题(SYSKF1803);中央高校基本科研业务费专项(FRF-GF-19-019B)。

摘  要:软件测试是一种广泛使用的软件质量保证手段.变异测试是一种基于故障的软件测试方法,广泛用于评估测试用例集的充分性与软件测试技术的有效性.数量庞大的变异体导致变异测试的成本非常高.提出一种数据流分析指导的变异体精简方法(DFSampling),设计了启发式规则,基于这些规则对随机选择技术与基于路径感知的变异体精简技术(PAMR)进行了改进.采用经验研究的方式评估了DFSampling的有效性,比较了DFSampling与随机选择技术、PAMR技术的有效性,实验结果表明DFSampling是一种有效的变异体精简策略,提高了变异测试的效率.Software testing is a commonly used software quality assurance technique. Mutation testing is a fault-based software testing technique that is widely applied to evaluate the sufficiency of test suites and the effectiveness of software testing techniques. However, the cost of mutation testing is extremely high due to the large number of mutants. This study proposes a mutant reduction technique,DFSampling, guided by data flow analysis and designs three heuristic rules. The random selection technique and the path-aware mutant reduction technique(PAMR) are improved in line with these rules. An empirical study is conducted to evaluate the effectiveness of DFSampling and compare DFSampling with the random selection technique and the PAMR technique in terms of effectiveness. The experimental results show that DFSampling is an effective mutant reduction strategy, which can increase the efficiency of mutation testing.

关 键 词:软件测试 变异测试 数据流分析 变异体精简 随机选择策略 

分 类 号:TP311[自动化与计算机技术—计算机软件与理论]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象