paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Effective and scalable fault injection using bug reports and generative language models

利用缺陷报告与生成式语言模型的有效且可扩展的故障注入
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 3/10 · 论文属于软件测试与故障注入方向,利用缺陷报告和生成式语言模型生成更真实的故障,与画像核心关注的 LLM/Agent 改进静态分析/形式化验证、Agentic 程序分析、浮点程序分析及贝叶斯程序分析均无直接交集。虽然涉及 PL+ML 且问题驱动,但任务场景偏离主要研究方向。引用 3 inbox
Ahmed Khanfir
crossref: 2026-09-12

AI 速览

一句话:提出 iBiR,利用缺陷报告引导故障注入,生成语义上更接近真实缺陷的故障,并提升容错评估的有效性。

传统故障注入/变异测试通常盲目修改代码,产生大量与真实缺陷语义不符的人工故障,使测试与容错评估等任务失真。本文提出 iBiR,利用缺陷报告与生成式语言模型引导故障注入:根据缺陷报告定位更可能相关的代码位置,并施加自动程序修复研究者手工或自动构造的逆向修复模式,从而注入更“真实”的故障。作者使用 Defects4J 中的真实缺陷进行评估,显示 iBiR 在绝大多数情况下比传统变异测试注入的故障在语义上更接近并更能耦合真实缺陷;在约 80% 的情况下,其故障对容错能力的估计也显著更优。该方法旨在以更少但更相关的故障实现有效且可扩展的故障注入。

问题
传统变异测试/故障注入盲目修改代码,产生大量与真实缺陷不匹配的人工故障,导致依赖人工故障的测试、容错评估等任务可能失真。
方法
iBiR 根据缺陷报告定位可能相关的代码位置,并施加由自动程序修复研究者手工或自动构造的逆向修复模式;标题表明其使用生成式语言模型,以注入更接近真实缺陷的故障。
评估
在 Defects4J 的真实缺陷上评估,比较 iBiR 与传统变异测试在故障语义相似性、与真实缺陷耦合程度及容错估计上的表现,iBiR 在绝大多数或约 80% 场景显著更优。
原文摘要(Abstract)

Previous research has shown that artificial faults can be useful in many software engineering tasks such as testing, fault-tolerance assessment, debugging, dependability evaluation, risk analysis, etc. However, such artificial-fault-based applications can be questioned or inaccurate when the considered faults misrepresent real bugs. Since typically, fault injection techniques (i.e. mutation testing) produce a large number of faults by altering ”blindly” the code in arbitrary locations, they are unlikely capable to produce few but relevant real-like faults. In our work, we tackle this challenge by guiding the injection towards resembling bugs that have been previously introduced by developers. For this purpose, we propose iBiR, the first fault injection approach that leverages information from bug reports to inject ”realistic” faults. iBiR injects faults on the locations that are more likely to be related to a given bug-report by applying appropriate inverted fix-patterns, which are manually or automatically crafted by automated-program-repair researchers. We assess our approach using bugs from the Defects4J dataset and show that iBiR outperforms significantly conventional mutation testing in terms of injecting faults that semantically resemble and couple with real ones, in the vast majority of the cases. Similarly, the faults produced by iBiR give significantly better fault-tolerance estimates than conventional mutation testing in around 80% of the cases.

链接与引用

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

BibTeX
@inproceedings{paperbot7062,
  title = {Effective and scalable fault injection using bug reports and generative language models},
  author = {Ahmed Khanfir},
  booktitle = {FSE},
  year = {2022},
  doi = {10.1145/3540250.3558907}
}