软件工程与 AI 编程

让 Agent 多写测试为什么仍会漏错，问题出在谁定义正确

据 Dan Luu 最新公开实验，给编程 Agent 补一句“使用 TDD”“使用属性测试”或指定形式化工具，并没有稳定带来更好的实现正确性。他以 Rust 实现 Zstd 为主要任务，比较多组提示条件，并用隐藏测试验收；结论针对这套模型、任务与运行设置，不是给所有测试方法排终身座次。