趋势

编码研究正在围绕测试、运行时可见性和精确定位收紧

日 · 2026-04-09 · Software Intelligence

这一天最清楚的模式,是对编码系统的控制更紧了。论文更多依赖测试、运行时仪表和更窄的定位方式,让输出更容易打分和检查。ZeroCoder 给出了最强的量化结果,而安全和代理论文一直在追问同一个实际问题:模型应该看到哪些证据,人又该怎样验证它实际用了什么?

测试正在成为代码生成的控制面

针对编码系统的工作开始把可执行检查放到训练信号的核心。ZeroCoder 不用参考答案或人工测试来改进代码模型,而是让代码生成和测试生成共同演化,再通过执行结果给两者打分。在 Qwen2.5-Coder-7B-Instruct 上,完全无标签的设置让代码生成提升 14.5%,DyB4 把增益提高到 21.6%;在三个模型家族和六个基准上,代码生成的平均提升达到 18.8%,测试生成达到 62.7%。一篇关于 Test-Oriented Programming 的较小论文把同样的想法推进到工作流设计中:开发者先审查生成的测试,再让模型写生产代码。它的 Onion 原型在 10 次运行里都完成了一个小型 BibTeX CLI 任务,且没有直接修改生产代码,但证据范围仍然很窄,因为评估只覆盖了一个小应用。

代理基础设施正在运行时层面被度量

这一天的几篇文章都在说同一件事:代理质量取决于运行时记录了什么、暴露了什么、限制了什么。关于外部化的综述给出总论点:记忆、可复用技能、协议,以及围绕它们的 harness,已经是可靠代理的核心,即使这篇论文是概念性的,不是实证研究。Tokalator 把这个论点落到编码助手上,展示 IDE 内的 token 预算、按相关性排序打开的标签页,并给出一个示例结果:当标签页达到 30 个或更多时,tab scorer 在 5 毫秒内运行,context 减少 21.2%。另一篇安全工具文章把同样的可见性思路用在事后分析代理行为上。它的 coverage viewer 还原了代理实际读过哪些文件和代码行,并显示不同模型和推理预算之间差异很大,比如在 OpenSSH 审计任务上,GPT-5.4 设置的中位唯一覆盖行数大约是 8.3k 到 17.7k,而 Opus 4.6 大约是 30k 到 32k。

更好的定位胜过堆叠更多代码上下文

面向安全的代码分析论文正在给一个常见假设施压:更多上下文会更有帮助。在一项覆盖 C、C++ 和 Python 的 509 个 ReposVul 案例研究中,只有代码的提示在所有测试模型上都优于加入 caller 上下文和 callee 上下文的提示。Gemini 3 Flash 在只有代码的设置下达到 0.9853 accuracy 和 0.9926 F1,而额外的跨过程上下文常常降低 accuracy,并让 token 成本几乎翻倍。这个语料中的实际应对方式,是在生成前先提高定位精度。GALA 通过把截图结构与仓库文件对齐,再与函数对齐,来处理多模态 bug 修复,从而让模型修改的代码与视觉证据一致。摘录支持的是定位这一点,也列出了之前的 SWE-bench Multimodal 基线,但没有给出 GALA 自己最终的解决率,所以最稳妥的结论是它把 bug 定位做得更好,而不是一个已验证的修复百分比。

较新具身研究正在更明确地描述身体、未来状态和物体结构较早具身控制工作集中在有约束的决策机制上