利用因果效应有效采样高阶变异体
软件工程
2021-04-23 v1
摘要
高阶变异（HOM）被提出用于避免等价变异体并提升变异测试的可扩展性，但生成有用的 HOM 本身仍是一个代价高昂的搜索问题。我们提出一种新方法，利用最近引入的因果程序依赖分析（CPDA）生成强蕴含高阶变异体（SSHOM）。CPDA 本身基于程序变异，并提供程序元素值变化引起另一程序元素值变化的频繁程度的定量估计。我们的 SSHOM 生成方法使用基于 CPDA 分析的启发式选择程序元素对，对所选元素对执行一阶变异，并通过组合两个 FOM 生成 HOM。
引用
@article{arxiv.2104.11005,
title = {Effectively Sampling Higher Order Mutants Using Causal Effect},
author = {Saeyoon Oh and Seongmin Lee and Shin Yoo},
journal= {arXiv preprint arXiv:2104.11005},
year = {2021}
}
备注
6 pages, 16th International Workshop on Mutation Analysis Co-located with ICST 2021