AI 生成软件的瓶颈是验证，而不是写代码
来源：dev.to — 2026-09-08
📋 概述
作者让一个编码智能体五分钟内做出完整的密码重置流程，路由、令牌、邮件、UI 全齐，但重置链接可以反复使用——因为需求里从没人写过「链接应一次性」这样不言自明的要求。他由此指出：当「写代码」变得便宜，「验证」就相对变得更贵也更难——五分钟生成加四十五分钟审查，其实是一个五十分钟的开发流程。他用一个小应用加 Claude Code 和行为化测试工具 testRigor，验证「先写规格、再让智能体实现、再用独立端到端验证」是否可行，并明确反对让「学生给自己的考卷打分」。
🔑 核心要点
- 让编码智能体给自己刚写的功能生成测试是个陷阱：它会写出与自己误解一致、恰好验证同一误解的测试——一切全绿，也一切全错。
- 解法是把职责分开：实现归编码智能体，行为契约归行为化测试，测试只问「不管你怎么实现，软件到底有没有表现出我们约定的行为」。
- 把确定性的验证结果喂回智能体以形成闭环：失败文本不是栈溢出，而是一句用平白语言描述「哪一步预期行为没发生」，人和智能体都读得懂。
- 核心架构原则是「AI 提议，确定性系统裁决」——别再拿模型的自信当作实现正确的证据，真正该优化的指标是单位时间内交付的正确功能，而非生成的行数。
💡 金句
Not generating code faster. Shipping working software faster.
👍 0
👎 0
← 返回 dev.to 首页