paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Automatic software repair

自动软件修复
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 2/10 · 论文主题是自动软件修复与调试自动化,属于软件工程/程序分析相邻方向,但未涉及用户核心关注的 Agentic/LLM 程序静态分析、LLM 改进静态分析、浮点程序分析或贝叶斯程序分析。摘要更像方向性论述,缺少与用户研究画像直接相关的方法或交叉点。引用 172 inbox
Luca Gazzola, Daniela Micucci, Leonardo Mariani
crossref: 2026-09-12

AI 速览

一句话:该文论述自动软件修复的必要性,指出调试自动化需从故障定位推进到自动合成修复。

软件故障调试仍然痛苦、耗时且昂贵,研究显示调试活动可占软件开发总成本约50%。导致调试成本的因素很多,但最主要的是识别与移除故障仍需大量人工。现有调试自动化主要提供故障可能位置、导致失败的输入与状态、失败期间异常操作等线索,但开发者仍需分析失败执行并精确识别故障,且这些技术不能帮助合成合适的修复。该文因此讨论自动软件修复的目标与挑战,强调需要将自动化从故障定位推进到自动生成修复,以减少人工修复负担。

问题
调试和修复软件故障成本高,现有自动化主要提供故障线索,而非自动识别故障并合成修复。
方法
摘要为论述或综述性质,围绕调试自动化现状与自动软件修复需求展开,未给出具体算法。
评估
摘要未报告具体实验评估,仅引用调试成本研究和现有自动化调试能力进行论述。
原文摘要(Abstract)

Debugging software failures is still a painful, time consuming, and expensive process. For instance, recent studies showed that debugging activities often account for about 50% of the overall development cost of software products [3]. There are many factors contributing to the cost of debugging, but the most impacting one is the extensive manual effort that is still required to identify and remove faults. So far, the automation of debugging activities essentially resulted in the development of techniques that provide useful insights about the possible locations of faults, the inputs and states of the application responsible for the failures, as well as the anomalous operations executed during failures. However, developers must still put a relevant effort on the analysis of the failed executions to exactly identify the faults that must be fixed. In addition, these techniques do not help the developers with the synthesis of an appropriate fix.

链接与引用

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

BibTeX
@inproceedings{paperbot4512,
  title = {Automatic software repair},
  author = {Luca Gazzola and Daniela Micucci and Leonardo Mariani},
  booktitle = {ICSE},
  year = {2018},
  doi = {10.1145/3180155.3182526}
}