paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Automated Repair of Multi-fault Programs: Obstacles, Approaches, and Prospects

多故障程序的自动修复:障碍、方法与前景
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 3/10 · 该论文研究多故障程序的自动修复策略,属于软件测试、调试与修复方向,与用户关注的形式化/静态分析、LLM/Agent 改进程序分析、浮点程序分析及贝叶斯程序分析等核心方向仅有间接关联。虽然涉及故障定位,但未聚焦静态分析、LLM/Agent 或相关交叉问题。引用 3 inbox
Omar I. Al-Bataineh
crossref: 2026-09-12

AI 速览

一句话:系统研究多故障程序自动修复的障碍,并提出迭代、并行、同时三种修复策略。

现代自动程序修复工具擅长修复单故障程序,但真实软件常同时包含多个相互影响、彼此掩盖的缺陷,使修复问题更加复杂。本文专门研究多故障程序的修复问题,识别现有修复方法在处理此类程序时面临的主要障碍,并描述三种修复方法:迭代式、并行式与同时式。其中同时式依赖先进故障定位技术一次性定位多个缺陷,迭代式和并行式则通过改造现有单故障修复技术来处理多故障程序。文章还讨论各方法的优缺点及可成功应用的条件,并声称这是首篇专门研究并处理多故障程序修复问题的论文。

问题
现有自动程序修复主要面向单故障程序,难以应对真实项目中多个故障相互交互、彼此掩盖的情形。
方法
作者分析多故障修复的主要障碍,并提出迭代式、并行式与同时式三种策略;同时式基于可一次定位多个故障的先进故障定位技术,另两种则改造复用单故障修复技术。
评估
通过概念分析讨论三种方法的优缺点及可成功应用的条件;摘要未报告实证基准结果。
原文摘要(Abstract)

Modern automated program repair (APR) tools are well-tuned at repairing single fault programs (i.e., programs in which only one fault can occur at time). However, real-world software projects typically contain multiple bugs at the same time, which can interact with and mask each other in a variety of ways. The complex interaction of faults in multi-fault programs makes the automated repair problem more challenging than the traditional practice of presuming that a program contains a single fault. This paper studies the repair problem of multi-fault programs and identifies the main obstacles that arise when handling such programs using current repair approaches. The paper also describes three repair approaches for multi-fault programs, namely iterative, parallel, and simultaneous. While the simultaneous repair strategy depends on using cutting-edge fault localization techniques that enable the APR approaches to locate many faults at once, the iterative and parallel repair approaches rely on adapting the existing repair techniques for single-fault programs to handle multi-fault programs. Finally, the paper discusses each approach's advantages and drawbacks as well as the conditions in which the approach can be used successfully. To our knowledge, this is the first paper to specifically study and address the repair problem of multi-fault programs.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot8439,
  title = {Automated Repair of Multi-fault Programs: Obstacles, Approaches, and Prospects},
  author = {Omar I. Al-Bataineh},
  booktitle = {ASE},
  year = {2024},
  doi = {10.1145/3691620.3695287}
}