paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Prioritizing mutants to guide mutation testing

以变异体优先级排序指导变异测试
ICSE Proceedings of the 44th International Conference on Software Engineering2022匹配度 1/10 · 该论文属于传统变异测试与软件测试方向,目标是指导开发者编写测试,不涉及用户画像中的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析。虽然同属程序分析/软件工程大类,但研究问题和方法与用户核心方向几乎无交集。引用 45 inbox
Samuel J. Kaufman, Ryan Featherman, Justin Alvin, Bob Kurtz, Paul Ammann, René Just
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出面向工业实践的变异体优先级排序方法,指导开发者迭代编写测试,而非计算变异充分性。

变异测试能提供具体的测试目标(变异体)和严格的测试有效性准则,但变异体数量庞大,其中许多既无用也不可操作,导致成本高昂。已有工作多集中于选择有代表性且充分的变异体子集,并衡量对子集变异充分的测试集是否对整个集合同样充分。然而,已知工业应用并不使用甚至不计算变异充分性,而是迭代地向开发者展示极少量变异体作为具体测试目标,引导其编写测试。本文据此提出对变异体进行优先级排序,以服务于这种指导式变异测试流程。摘要未报告具体评估结果。

问题
变异测试因变异体数量巨大而昂贵,且现有多数选择充分子集的方法与工业实践脱节;工业界更常迭代呈现少量变异体来指导测试编写。
方法
论文提出对变异体进行优先级排序,以在指导式变异测试中选出或呈现对开发者最有用的少量测试目标,而非以保持变异充分性为目标的子集选择。
评估
摘要未给出实验评估;从摘要可知其动机来自工业应用不计算变异充分性、而是迭代呈现少量变异体。
原文摘要(Abstract)

Mutation testing offers concrete test goals (mutants) and a rigorous test efficacy criterion, but it is expensive due to vast numbers of mutants, many of which are neither useful nor actionable. Prior work has focused on selecting representative and sufficient mutant subsets, measuring whether a test set that is mutation-adequate for the subset is equally adequate for the entire set. However, no known industrial application of mutation testing uses or even computes mutation adequacy, instead focusing on iteratively presenting very few mutants as concrete test goals for developers to write tests.

链接与引用

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

BibTeX
@inproceedings{KaufmanFAKAJ22,
  title = {Prioritizing mutants to guide mutation testing},
  author = {Samuel J. Kaufman and Ryan Featherman and Justin Alvin and Bob Kurtz and Paul Ammann and René Just},
  booktitle = {ICSE},
  year = {2022},
  doi = {10.1145/3510003.3510187}
}