# 从失效代码与静态需求到可运行引擎：利用编程智能体恢复软件

> ReviveBench 利用隐藏的参考检查，评估无法运行的软件修复，以及依据公开规范、在无法访问目标源码时实现限定范围的计算与事务引擎；同时审计可能误收或误拒重建结果的评分缺陷。

- 作者：Tianyu Liu; Dingyuan Dai; Yufan Du; Zhen Yang
- 原标题：From Dead Code and Static Requirements to Working Engines: Software Revival with Coding Agents
- 发表载体：arXiv
- 发表状态：预印本
- 出版／提交日期：2026 年 9 月 28 日
- 日期依据：采用 arXiv v1 首次提交日期；未核实正式会议或期刊出版。
- arXiv 首次提交：2026 年 9 月 28 日
- arXiv：2609.36161
- 已复核的 arXiv 版本：v1
- DOI：10.48550/arxiv.2609.36161
- 来源复核于：2026-10-20
- 收录于：2026-10-20
- 原始论文：<https://arxiv.org/abs/2609.36161>
- PDF：<https://arxiv.org/pdf/2609.36161v1>
- BibTeX：<https://awesomerea.org/papers/citations/paper-revivebench.bib>
- 目录页面：<https://awesomerea.org/zh/papers/paper-revivebench/>
- 记录 JSON：<https://awesomerea.org/papers/paper-revivebench/record.json>
- 英文版：[English](https://awesomerea.org/papers/paper-revivebench/index.md)

## 研究范围与局限

研究十个软件恢复任务及十三个限定范围的引擎任务；重建时提供公开规范与三个示例。大多数模型／任务组合只有一两个随机种子；重建结果矩阵报告符合条件的最佳运行。排除基础设施失败及使用不同 API 适配器会限制比较。任务通过阈值不要求每项检查全部通过，CFD 通过结果也不能证明数值求解器能力。验证器审计与污染控制不构成一般等价证明，也无法排除先前接触相关内容。

## 与本合集的关联

将软件重建与用于判断其正确性的测试审计联系起来。

## 发表与复核说明

四位作者的 v1 身份与 arXiv、DataCite 一致；后者于 2026-09-30 登记 arXiv DOI。文章采用 arXiv 非独占许可。所审阅全文及定向检索未核实作者链接的公开基准／验证器包或其代码／数据许可。

## 一手来源

1. <https://arxiv.org/abs/2609.36161>
2. <https://arxiv.org/html/2609.36161v1>
3. <https://api.datacite.org/dois/10.48550/arxiv.2609.36161>

## 关于此条目

已依据论文及一手来源复核。请通过原始论文或 BibTeX 引用原作者。
原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。