paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Faster Mutation Analysis with Fewer Processes and Smaller Overheads

使用更少进程和更低开销的更快变异分析
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 1/10 · 该论文研究基于 fork 的变异分析加速,属于软件测试/动态分析方向,未涉及用户关注的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,与核心研究画像几乎无交集。引用 11 inbox
Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu
crossref: 2026-09-12

AI 速览

一句话:提出 WinMut,通过按变异语句范围分组变异体并消除解释器冗余计算,加速基于 fork 的变异分析。

变异分析是一种强大的动态技术,可用于评估测试套件质量和自动定位故障,但可扩展性低。基于 fork 的方法通过共享相同执行来加速,却存在两个局限:只在单个语句范围内比较和聚类变异体,无法发现更多等价变异体;且解释变异体与运行时等价性分析开销显著。本文提出 WinMut:在变异语句范围内对变异体分组,并消除解释器内部的冗余计算。它既减少启动的进程数,也降低单个进程的执行开销。实验表明,在最新 fork 方法 AccMut 基础上平均再加速 5.57 倍。

问题
变异分析因需要执行大量变异体而可扩展性差;现有基于 fork 的方法虽能共享执行,但分析范围局限于单语句且解释与等价性分析开销高。
方法
WinMut 在变异语句范围内对变异体分组,并消除解释器内部的冗余计算,从而减少进程数量并降低单进程执行开销。
评估
在实验中与最先进的基于 fork 的方法 AccMut 对比,WinMut 平均取得 5.57 倍加速。
原文摘要(Abstract)

Mutation analysis is a powerful dynamic approach that has many applications, such as measuring the quality of test suites or automatically locating faults. However, the inherent low scalability hampers its practical use. To accelerate mutation analysis, researchers propose approaches to reduce redundant executions. A family of fork-based approaches tries to share identical executions among mutants. Fork-based approaches carry all mutants in one process and decide whether to fork new child processes when reaching a mutated statement. The mutants carried by the parent process are split into groups and distributed to different processes to finish the remaining executions. However, existing fork-based approaches have two limitations: (1) the limited analysis scope on a single statement to compare and cluster mutants prevents their systems from detecting more equivalent mutants, and (2) the interpretation of the mutants and the runtime equivalence analysis introduce significant overhead.In this paper, we present a novel fork-based mutation analysis approach WinMut, which (1) groups mutants in a scope of mutated statements and, (2) removes redundant computations inside interpreters. WinMut not only reduces the number of invoked processes but also has a lower cost for executing a single process. Our experiments show that our approach can further accelerate mutation analysis with an average speedup of 5.57x on top of the state-of-the-art fork-based approach, AccMut.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6629,
  title = {Faster Mutation Analysis with Fewer Processes and Smaller Overheads},
  author = {Bo Wang and Sirui Lu and Yingfei Xiong and Feng Liu},
  booktitle = {ASE},
  year = {2021},
  doi = {10.1109/ase51524.2021.9678827}
}