基于故障检测上下文的等价变异体识别算法

于畅; 王雅文; 林欢; 宫云战

doi:10.7544/issn1000-1239.2021.20190817

基于故障检测上下文的等价变异体识别算法

(网络与交换技术国家重点实验室(北京邮电大学) 北京 100876) (shuoxunyc@bupt.edu.cn)

基金项目: 国家自然科学基金项目(U1736110,61702044)

详细信息

中图分类号: TP311
计量
- 文章访问数: 695
- HTML全文浏览量: 4
- PDF下载量: 394
出版历程
- 发布日期: 2020-12-31

Fault Detection Context Based Equivalent Mutant Identification Algorithm

(State Key Laboratory of Networking and Switching Technology (Beijing University of Posts and Telecommunications), Beijing 100876)

Funds: This work was supported by the National Natural Science Foundation of China(U1736110, 61702044).

摘要

摘要: 等价变异体识别一直是阻碍变异测试在工业界得以广泛应用的一个关键难题.为此提出了一种基于故障检测上下文的等价变异体识别算法.该算法通过静态分析技术抽取程序中与故障检测条件相关的代码上下文信息，以构造故障检测上下文；接着，故障检测上下文被转换为文档模型，经过一个文档表示学习网络进行编码；最后通过机器学习模型将变异体分类为等价或非等价变异.在包含了22个C程序和118 000个变异体样本的训练集上，该算法取得91%的分类精准度和82%的召回率；同时在跨项目交叉验证中，机器学习模型取得了77%的精准度和78%的召回率.该结果表明基于故障检测上下文的识别技术能够有效地提高等价变异体分类的精准性和泛用性，为提高变异测试技术的有效性提供了技术支持.
- 变异测试 /
- 等价变异体 /
- 故障检测上下文 /
- 机器学习 /
- 静态分析
Abstract: Although studied for almost forty years, the mutation testing has been prevented from being widely applied in industrial practice by the problem of equivalent mutants. To overcome the problem, a algorithm of using fault detection context to predict the equivalence of mutants is proposed. It makes use of static analysis technique to extract feature information about the program context around mutated program, which is called its fault detection context. Then the context information is translated into a document model, which describes the feature of mutant using natural language. The representation learning network is further used to encode fault context features. Finally, machine learning model is used to predict the equivalence of each mutant with respect to its fault detection context. An empirical study on 118000 mutants from 22 C programs is performed to validate the proposed method. The results show that the method achieves 91% of precision and 82% of recall in classifying mutants as equivalent, while 77% of precision and 78% of recall are achieved in cross-project validation. It implies the fault detection context based technique can dramatically improve the efficiency and effectiveness of equivalent mutants detection, which effectively facilitates the efficiency for mutation testing process.
- mutation testing /
- equivalent mutant /
- fault detection context /
- machine learning /
- static analysis

HTML全文

参考文献(0)

施引文献(11)

期刊类型引用(5)

1.	汤梦晨，吴国文，张红，沈士根，曹奇英. 基于微分博弈的异质无线传感器网络恶意程序传播研究与分析. 计算机应用与软件. 2024(07): 100-105 . 百度学术
2.	蔡翔，丁全，汪玉. 基于博弈论的网络安全实战攻防策略研究. 微型电脑应用. 2024(10): 164-168 . 百度学术
3.	韩峰. 基于云计算的数据驱动网络安全防御技术. 数据通信. 2022(02): 37-40 . 百度学术
4.	魏学勇. 基于Markov模型的智慧校园网络安全攻防策略. 电子设计工程. 2021(15): 72-76 . 百度学术
5.	徐茂淑. 计算机网络防御策略求精关键技术分析. 信息与电脑(理论版). 2020(20): 203-205 . 百度学术