验证工具的覆盖范围决定代码质量提升效果
The reach of a verification tool decides its value: A controlled study of verification surface, artifact quality, and cost in AI coding agents
- 控制变量法测试不同验证工具组合对代码产出的影响
- 启动探测器可低成本解决90%以上无法运行的问题
- 只有当工具能覆盖实际失败场景时,验证才真正有效
现代人工智能编程代理可配备自检工具,如代码检查器、启动探测器、命令行环境、截图工具等,统称为代理的验证表面。本研究通过构建最小化编程代理,仅将工具列表作为可控变量,在六种模型和八种工具配置下实现了1,116个网页应用。所有应用由盲评人类依据固定评分标准打分,并通过自动探针压力测试其可观测行为。结果显示,验证的最低成本收益最先出现:确保应用能正常启动。无工具时约七分之一应用无法启动,而单用启动探测器即可消除近90%此类失败,成本仅为完整命令行环境的35%,后者使总成本增加2.35倍。截图工具在可见错误(如元素布局、交互)中效果明显,但相比命令行环境增益有限,且经多重统计检验后不显著。对于无法直观观察的失败(如10万行数据列表滚动流畅性),截图毫无帮助。验证工具仅在覆盖真实失败模式时才能提升输出质量。
原文摘要 · Abstract (English)
Modern artificial-intelligence coding agents can be equipped with tools for checking their own work e.g. a linter, a boot probe, a shell, a screenshot tool. We call this set the agent's verification surface. This study asks whether increasing only that surface, with everything else held fixed, produces a matching growth in the quality of the software the agent ships. We built a minimal coding agent whose tool list is the single controlled variable and used it to implement 1,116 web applications across six models and eight tool configurations. A condition-blind human graded every application against a frozen rubric, and automatic probes stress-tested the API-observable behaviors. Verification's cheapest benefit arrives first, which is to make sure that the application comes up. Without any tools, about one build in seven fails to launch at all and a single boot probe removes nearly all of these failures at roughly 35 percent of a full shell's token cost, while the full shell multiplies the no-tools cost by 2.35. Screenshots help most where mistakes are visible (e.g. element placement, interaction), though even there the gain over a shell is modest and does not survive correction for multiple statistical comparisons. In cases where failures can only be measured rather than seen, such as keeping scrolling smooth over a 100,000-row list, screenshots add nothing. A verification tool improves the output artifact only where its reach covers the way the application actually fails.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。