2026 · 预印本
从失效代码与静态需求到可运行引擎：利用编程智能体恢复软件
From Dead Code and Static Requirements to Working Engines: Software Revival with Coding Agents
ReviveBench 利用隐藏的参考检查，评估无法运行的软件修复，以及依据公开规范、在无法访问目标源码时实现限定范围的计算与事务引擎；同时审计可能误收或误拒重建结果的评分缺陷。
研究范围与局限
研究十个软件恢复任务及十三个限定范围的引擎任务；重建时提供公开规范与三个示例。大多数模型／任务组合只有一两个随机种子；重建结果矩阵报告符合条件的最佳运行。排除基础设施失败及使用不同 API 适配器会限制比较。任务通过阈值不要求每项检查全部通过，CFD 通过结果也不能证明数值求解器能力。验证器审计与污染控制不构成一般等价证明，也无法排除先前接触相关内容。
与本合集的关联
将软件重建与用于判断其正确性的测试审计联系起来。
发表与复核详情
- 发表载体
- arXiv
- 发表状态
- 预印本
- 出版／提交日期
- 2026 年 9 月 28 日
- 日期依据
- 采用 arXiv v1 首次提交日期；未核实正式会议或期刊出版。
- arXiv 首次提交
- 2026 年 9 月 28 日
- arXiv
- 2609.36161
- 已复核的 arXiv 版本
- v1
- DOI
- 10.48550/arxiv.2609.36161
四位作者的 v1 身份与 arXiv、DataCite 一致；后者于 2026-09-30 登记 arXiv DOI。文章采用 arXiv 非独占许可。所审阅全文及定向检索未核实作者链接的公开基准／验证器包或其代码／数据许可。本次未下载或运行软件包、模型权重、基准任务或实验。
来源复核于
本合集仅做来源复核，未重新运行论文实验。请通过原始论文或 BibTeX 引用原作者。