paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants

用长期存活变异体保持变异测试套件的一致性与相关性
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 2/10 · 论文属于变异测试/软件测试方向,核心是变异体套件的一致性与相关性退化度量,与画像关注的静态分析(尤其面向 ML/Agentic 程序)、LLM 与程序分析/形式化验证的交叉、浮点程序分析、贝叶斯程序分析均无直接关联。仅在“发现已有做法(逐版本重算变异体)在实证中失效并量化原因”这一问题上,与画像偏好的问题驱动式实证研究有微弱方法论共鸣。引用 2 inbox
Milos Ojdanic, Mike Papadakis, Mark Harman
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出长期存活变异体概念与脆性度量,证明其能保持变异测试套件的一致性与相关性。

以往变异测试常逐版本重新计算变异体套件,导致不同版本的变异得分不可比,且代码变更会使套件相关性随时间下降。本文在4个非平凡系统中测量143,500个变异体,发现平均52%发生相关性退化。作者提出变异体脆性度量,用于审计系统及其变异套件,并展示如何识别构造上一致的长期存活变异体套件。评估表明,长期存活变异体套件的相关性比任意测试套件提升10倍。作者建议研究界避免重新计算变异体套件,转而关注长期存活变异体,以提升变异测试的一致性与相关性。

问题
逐版本重新计算变异体套件会导致变异测试结果不一致,且随着代码变更,套件的相关性会自然下降。
方法
在4个非平凡系统中测量143,500个变异体的相关性退化,提出变异体脆性度量,并识别构造上一致的长期存活变异体套件。
评估
在4个非平凡系统上量化退化程度(平均52%),并证明长期存活变异体套件相比任意测试套件在变异体相关性上取得10倍提升。
原文摘要(Abstract)

Mutation testing has been demonstrated to be one of the most powerful fault-revealing tools in the tester's tool kit. Much previous work implicitly assumed it to be sufficient to re-compute mutant suites per release. Sadly, this makes mutation results inconsistent; mutant scores from each release cannot be directly compared, making it harder to measure test improvement. Furthermore, regular code change means that a mutant suite's relevance will naturally degrade over time. We measure this degradation in relevance for 143,500 mutants in 4 non-trivial systems, finding that 52% degrade, on average. We introduce a mutant brittleness measure and use it to audit software systems and their mutation suites. We also demonstrate how consistent-by-construction long-standing mutant suites can be identified with a 10x improvement in mutant relevance over an arbitrary test suite. Our results indicate that the research community should avoid the re-computation of mutant suites and focus, instead, on long-standing mutants, thereby improving the consistency and relevance of mutation testing.

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@inproceedings{OjdanicPH23,
  title = {Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants},
  author = {Milos Ojdanic and Mike Papadakis and Mark Harman},
  booktitle = {FSE},
  year = {2023},
  doi = {10.1145/3611643.3613089}
}