高级检索
    于畅, 王雅文, 林欢, 宫云战. 基于故障检测上下文的等价变异体识别算法[J]. 计算机研究与发展, 2021, 58(1): 83-97. DOI: 10.7544/issn1000-1239.2021.20190817
    引用本文: 于畅, 王雅文, 林欢, 宫云战. 基于故障检测上下文的等价变异体识别算法[J]. 计算机研究与发展, 2021, 58(1): 83-97. DOI: 10.7544/issn1000-1239.2021.20190817
    Yu Chang, Wang Yawen, Lin Huan, Gong Yunzhan. Fault Detection Context Based Equivalent Mutant Identification Algorithm[J]. Journal of Computer Research and Development, 2021, 58(1): 83-97. DOI: 10.7544/issn1000-1239.2021.20190817
    Citation: Yu Chang, Wang Yawen, Lin Huan, Gong Yunzhan. Fault Detection Context Based Equivalent Mutant Identification Algorithm[J]. Journal of Computer Research and Development, 2021, 58(1): 83-97. DOI: 10.7544/issn1000-1239.2021.20190817

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

    Fault Detection Context Based Equivalent Mutant Identification Algorithm

    • 摘要: 等价变异体识别一直是阻碍变异测试在工业界得以广泛应用的一个关键难题.为此提出了一种基于故障检测上下文的等价变异体识别算法.该算法通过静态分析技术抽取程序中与故障检测条件相关的代码上下文信息,以构造故障检测上下文;接着,故障检测上下文被转换为文档模型,经过一个文档表示学习网络进行编码;最后通过机器学习模型将变异体分类为等价或非等价变异.在包含了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.

       

    /

    返回文章
    返回