Project Prometheus：通过逆向工程可执行规范弥合代理程序修复中的意图鸿沟

本文针对自动程序修复中代理生成的补丁与开发者原始意图不一致的“意图鸿沟”问题，提出了 Prometheus 框架。该框架优先进行规范推断而非直接代码生成，利用行为驱动开发（BDD）作为可执行契约，通过多代理架构从运行时失败报告中逆向工程 Gherkin 规范。为解决“意图幻觉”，作者提出了需求质量保证（RQA）循环，利用真实代码作为代理预言机验证推断出的规范。在 Defects4J 基准测试中，该框架实现了 93.97% 的正确补丁率，并成功修复了大量复杂缺陷，证明了可执行规范在对齐代码意图方面的关键作用。