中文

Agentic 程序修复中动态生成 Bug 复现测试

软件工程 2026-04-01 v2 人工智能

摘要

Bug 复现测试(BRT)在众多自动化程序修复(APR)系统中用于验证可行的修复方案并辅助修复生成。实际情况下,开发人员提交补丁时通常会随修复一起实现 BRT。我们的经验表明,部署 Agentic APR 时,开发人员同样希望在 AI 生成的补丁中获得 BRT 以增加信心。然而,标准 APR 系统倾向于独立生成 BRT 与修复,最终仅关注生成修复。本文我们在 cogeneration 语境下研究 Agentic APR,即指示 APR 代理同时生成修复与 BRT。我们在谷歌 120 例人类报告的 bug 上评估不同 cogeneration 策略的有效性,并通过其对 APR 代理行为的影响对不同策略进行特征化。我们开发并评估考虑测试变更信息的 patch 选择器,以选择具有合理修复(及合理 BRT)的补丁。最后,我们分析 cogeneration 轨迹失败的根本原因。重要的是,我们表明 cogeneration 允许 APR 代理为至少同等数量的 bug 生成 BRT,而不损害可行修复生成率,从而在规模化维护和协调修复与 BRT 生成管道方面降低工程 effort。

关键词

引用

@article{arxiv.2601.19066,
  title  = {Dynamic Cogeneration of Bug Reproduction Test in Agentic Program Repair},
  author = {Runxiang Cheng and Michele Tufano and José Cambronero and Renyao Wei and Sherry Shi and Grant Uy and Pat Rondon and Franjo Ivančić},
  journal= {arXiv preprint arXiv:2601.19066},
  year   = {2026}
}