paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Integrating Mutation Testing Into Developer Workflow: An Industrial Case Study

将变异测试集成到开发者工作流:一项工业案例研究
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 2/10 · 论文聚焦变异测试在工业开发流程与持续集成中的落地、信息需求与可视化,属于软件测试与开发者工具方向;与用户核心关注的静态分析、LLM/Agent 程序分析、浮点程序分析与贝叶斯程序分析几乎没有交集。虽然工业案例研究符合对落地案例的偏好,但主题不匹配。引用 1 inbox
Stefan Alexander van Heijningen, Theo Wiik, Francisco Gomes de Oliveira Neto, Gregory Gay, Kim Viggedal, David Friberg
crossref: 2026-09-12

AI 速览

一句话:通过工业案例研究揭示变异测试融入持续集成与开发者工作流的技术挑战、信息需求与可视化呈现,并给出实践建议。

变异测试是评估测试套件充分性的有效方法,近年来研究者不断提升其计算效率,新框架也层出不穷,但工业界的采用仍然有限。作者假设这一障碍源于缺乏关于如何在开发工作流中有效且高效使用变异测试的指导。为此,本文开展了一项工业案例研究,考察在持续集成中实施变异测试所面临的技术挑战、变异测试产生的哪些信息对开发者真正有用,以及这些信息应如何以文本和可视化形式呈现。研究结果揭示了集成变异测试的五项技术挑战,以及关于变异测试结果使用与呈现方式的九条关键发现。作者还提供了一个用于可视化变异测试结果的仪表盘,并给出 16 条在工业实践中有效运用变异测试的建议。

问题
变异测试虽被证明能有效评估测试套件充分性,但在工业界采用率仍然很低,企业缺乏在开发工作流中有效、高效运用它的实践指导。
方法
采用工业案例研究方法,在真实项目中探究将变异测试集成到持续集成流程的技术挑战、开发者所需要的信息内容,以及这些信息的文本与可视化呈现方式。
评估
基于工业案例归纳出五项集成技术挑战与九条关键发现,并交付一个变异测试结果可视化仪表盘和 16 条实践建议。
原文摘要(Abstract)

Mutation testing is a potentially effective method to assess test suite adequacy. Researchers have made mutation testing more computationally efficient, and new frameworks are regularly emerging. However, there is still limited adoption of mutation testing in industry. We hypothesize that such adoption is hindered by a lack of guidance on how to effectively and efficiently utilize mutation testing in a development workflow. To that end, we have conducted an industrial case study exploring the technical challenges of implementing mutation testing in continuous integration, what information from mutation testing is of use to developers, and how that information should be presented (in textual and visual form). Our results reveal five technical challenges of integrating mutation testing and nine key findings regarding how the results of mutation testing are used and presented. We also offer a dashboard to visualize mutation testing results, as well as 16 recommendations for making effective use of mutation testing in practice1.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot8271,
  title = {Integrating Mutation Testing Into Developer Workflow: An Industrial Case Study},
  author = {Stefan Alexander van Heijningen and Theo Wiik and Francisco Gomes de Oliveira Neto and Gregory Gay and Kim Viggedal and David Friberg},
  booktitle = {ASE},
  year = {2024},
  doi = {10.1145/3691620.3695273}
}