W.AI工作标准面向个人与企业给我的 Agent
公开证据与条件建议;未测结果保留未知。方法与局限 →

能力变化

软件改造:部分测试通过与完整迁移的差距

ProgramBench和长程工程评测把任务扩展到黑盒重建、多小时项目与迁移;严格验收揭示局部通过和完整交付之间仍有明显差距。

整理 2026-10-14 · 原研究范围 2026-10-12

先理解研究对象

从写出代码到完成软件修改

软件工作不只要求代码能够运行,还要求它实现变更目标、保持必须保留的行为,并能在真实项目里接收和维护。短缺陷修复和整仓迁移的难度与验收方式不同。

要求把旧接口迁移到新接口时,只保留旧实现也可能通过旧测试。必须增加针对迁移目标的独立检查,否则测试通过并不能证明任务完成。

回归测试
检查改动没有破坏原有必须保留的行为。
独立反例
专门寻找现有测试未覆盖的错误情况。
测试框架harness
组织环境、工具、预算与评分的执行配置,不是模型本身。
黑盒重建
拿到可运行程序和说明、却没有源码,通过探查输入输出重新实现其行为。

具体发生了哪些进展

ProgramBench把评测扩到黑盒重建

ProgramBench给Agent一个可运行程序及说明,不提供源码和隐藏测试,也不允许联网;Agent需要探查输入输出,交付重新实现的源码与构建脚本。例如只知道一个工具处理哪些输入、生成哪些结果,要写出行为一致的替代品。[1]

固定论文使用mini-SWE-agent,单次最多1000步、6小时;5月快照中的九个系统,没有完整解决200个任务中的任何一个。9月28日榜单更新的Claude Opus 5(xhigh)+mini-SWE-agent配置报告4.5%全通过、37%至少通过95%测试。两者系统配置不同,不能据此计算控制条件下的能力增长率;少量隐藏错误也可能使实际替代失败。[1] [2]

既有研究报告的事实摘要与条件说明;具体引用在正文标注

长程与迁移评测检查完整交付

整仓迁移例如把Vue项目改为React,或把Flask服务改成Starlette:不只是代码能运行,还需确实迁移并保留必要行为。SWE Refactor Bench包含20项任务、8模型/26配置,每配置每任务运行一次,按任务给6–30小时预算,总计520次。[4]

520次中,340次通过迁移审查,118次通过全部固定行为检查,88次同时满足前两项,28次再通过六个独立验证器;13/20任务没有任何配置全过。118和340是不同检查的计数,不是依次下降的漏斗。全关通过也只证明通过这套检查,不能证明所有可能输入都行为等价。[4]

SWE-Marathon另研究多小时工程的失败诊断,但其标签只覆盖清洗后部分失败与任务家族,不能外推到全部运行。本轮未直接重核该论文的具体失败比例,故不以筛选分母代替能力结果。[3]

既有研究报告的事实摘要与条件说明;具体引用在正文标注

工作分析:为什么迁移要另设验收

这一差距来自任务定义本身:有限测试只能检查被覆盖的输入,保留旧实现甚至可能通过旧测试却没有完成迁移;多小时运行也会消耗大量上下文,重试数量、缓存和人工代码审阅都会改变交付总成本。因此榜单首试分、best-of-k、部分测试率和完整迁移通过率应分别报告。

编辑分析与工作验收建议;不是论文测得的业务成本结果

进度与时间线

论文发布、修订、业务进度和资料截止分别标识。未披露的事件日不补成精确日期。

  1. 2026-05原报告记载的进度/观察

    ProgramBench固定论文快照

    2026-10-13研究报告第8模块;本次未把未披露日期补成精确日期 · 月份

  2. 2026-05-05预印本首稿

    ProgramBench固定论文首次提交。

    arXiv v1日期 · 日期

  3. 2026-08-24预印本首稿

    SWE Refactor Bench首次提交。

    arXiv v1日期 · 日期

  4. 2026-09-28原报告记载的进度/观察

    动态榜的指定配置快照

    2026-10-13研究报告第8模块;本次未把未披露日期补成精确日期 · 日期

  5. 2026-10-12研究材料范围

    这份研究摘要的资料范围,不是上述事件统一发生的日期。

    原研究报告事实范围 · 资料截止

这对实际工作意味着什么

适合先委派范围明确、可独立核对的修改,并记录返工与接管。不能用部分测试通过率替代真实发布质量。

还有什么需要观察

基准情景是局部编码与可自动测试变更继续改善,整仓迁移仍需工程师负责需求解释、架构取舍、回归和维护。若私有、冻结且有独立验收的迁移任务连续多轮提高全关通过率,并同时报告成本、返工和人工接管,才支持把转化速度上调;重点看 520 类多门槛评测的跨版本复测与真实团队的前瞻性发布质量。

引用的证明材料

正文中的编号指向下列材料。材料类别、具体支持与限制一起阅读,不能按链接数量累计独立验证。

[1] 研究预印本

ProgramBench: Can Language Models Rebuild Programs From Scratch? ↗

5 月固定论文

支持的内容:黑盒任务约束、mini-SWE-agent配置及固定论文200任务的全解结果。

阅读定位:论文v1 §2.1(任务)、§3(配置)、§4/表2(固定结果)。

先看Agent可访问什么,再区分完全通过与部分测试通过。

文档原始发布
2026-05-05
日期依据
arXiv v1提交记录;稿内其他日期不冒作修订日

2026-10-14(北京时间)检查了书目/获取信息;不等于重新验证结果。

证据适用范围与核对状态

指定程序重建评测;系统配置不同,不是统一增长率或真实发布质量。

结果依据继承原研究 2026-10-12,具体配置和局限需沿原文核对。

[2] 原始研究或机构项目说明

ProgramBench ↗

9 月动态榜及指标定义

支持的内容:9月28日榜单更新中指定Claude Opus 5(xhigh)+mini-SWE-agent结果与指标定义。

阅读定位:榜单指定配置行;run/claude-opus-5-xhigh/ 详情与指标定义。

检查配置、更新日和完全/部分通过口径;更新日不是实验发生日。

文档原始发布
未提取到可靠日期
日期依据
原页面未提取到可靠发布日期,保持未知

2026-10-14(北京时间)检查了书目/获取信息;不等于重新验证结果。

证据适用范围与核对状态

动态榜单的指定快照,可能变化;非同条件年度增长或本站任务成绩。

结果依据继承原研究 2026-10-12,具体配置和局限需沿原文核对。

[3] 原始研究或机构项目说明

SWE-Marathon 原论文 ↗

SWE-Marathon 原论文

支持的内容:多小时工程诊断的研究范围与清洗后失败分母;不据此给出全运行失败标签比例。

阅读定位:SWE-Marathon论文的诊断范围、失败筛选与任务家族说明;本轮未直接重核正文。

沿原文核对清洗条件与诊断覆盖,再使用任何标签比例。

文档原始发布
未提取到可靠日期
日期依据
未从二进制资料猜测发布日期

2026-10-14(北京时间)检查了书目/获取信息;不等于重新验证结果。

证据适用范围与核对状态

继承原报告,未把本轮未读论文说成直接原文核验。

结果依据继承原研究 2026-10-12,具体配置和局限需沿原文核对。

[4] 研究预印本

SWE Refactor Bench ↗

SWE Refactor Bench

支持的内容:20任务/26配置/520运行;迁移、固定行为与独立验证分别检查的结果计数。

阅读定位:论文v1 §2.2/表1(任务预算);§3.1(指标定义);§3.2/表2(计数)。

Migrated与Meets Specification不是递减漏斗;88是二者交集,28是全部检查。

文档原始发布
2026-08-24
日期依据
arXiv v1提交记录;稿内其他日期不冒作修订日

此入口的书目探测失败不代表历次或其他入口的读取都失败。实际原文阅读范围见本材料说明。

证据适用范围与核对状态

指定任务与混合配置,不是某一模型通用成绩;全部检查通过不保证所有行为等价。

结果依据继承原研究 2026-10-12,具体配置和局限需沿原文核对。

本页整理:2026-10-14 · 研究事实范围:2026-10-12。概念解释与既有研究展开;元数据访问不是原始实验复验。

可以怎样连接到你的工作

生成满足变更契约的局部实现 →

旧测试可能掩盖迁移未完成;完整交付需要独立反例与行为保持。

相邻研究参考:相邻机制参考,不证明本原子通过;需实际输入、权限、独立验收和恢复。

运行回归用例 →

旧测试可能掩盖迁移未完成;完整交付需要独立反例与行为保持。

相邻研究参考:相邻机制参考,不证明本原子通过;需实际输入、权限、独立验收和恢复。

设计测试用例 →

旧测试可能掩盖迁移未完成;完整交付需要独立反例与行为保持。

相邻研究参考:相邻机制参考,不证明本原子通过;需实际输入、权限、独立验收和恢复。

相关的一年与三年场景

小范围软件维护 →

系统日志诊断与验收 →

完整进展说明 Markdown →