论文

EviACT:代理程序修复的证据到行动框架

EviACT: An Evidence-to-Action Framework for Agentic Program Repair

摘要

基于 LLM 的代理已将自动程序修复 (APR) 从固定上下文补丁生成转移到交互式存储库级修复。然而,现有的代理 APR 系统仍然难以使用执行证据来指导本地化、补丁生成和验证。我们提出了 EviACT(证据到行动),这是一个代理 APR 框架,可协调整个修复阶段的三个证据驱动的护栏。检索脚手架基于修复上下文,编译门过滤无​​效编辑,测试驱动门在完全回归之前检查目标测试恢复。在四个基准中,EviACT 将解决率比报告的最强可比基准提高了 1.6-6.0 个百分点,并且在基准成本可用的情况下,报告的每个错误 API 成本降低了 70.1-88.6%。消融和诊断表明,这些收益与协调的证据到行动链相关,使代理 APR 更加有效和高效。