ODD 2.0 中文版:产出物驱动开发
Abstract
ODD(Output-Driven Development,产出物驱动开发)是面向 AI 代码生成时代的软件工程方法论。其核心主张是:代码是负债,产出物才是资产。传统开发的逻辑是"过程可信 → 结果可信",ODD 反转了这个方向:"结果可验证 → 过程无需可信"——从可读性治理转向可验证性治理。 本文档集包含 ODD 2.0 方法论的完整规范,覆盖以下层级: • 核心全览与入门指南(00, A01, A03) • 团队实战与闭环工程(B05, B07) • 契约、产出物、证据与状态机规范(C09, C11, C13) • 深度工程:验证环境、管道、赛马机制与预警(D15, D17) • 哲学基础:数学对齐、AI 协作指令、边界与演化(E19, E21, E23, E25) ODD 的核心执行循环为:契约(Contract)→ 执行(Execute)→ 验证(Verify)→ 封存(Seal),采用三值门禁(PASS / FAIL / FREEZE)处理不确定性,并通过契约对抗协议(CAP)防止验证退化。方法论建立在 ASTO(属性集过渡本体论)理论框架之上。 本文档集配套有开源参考实现(odd-core CLI)和 172 任务对照实验的实证数据(缺陷率降低 59.5%,p=0.029)。
Fields of Study & Subjects
Software Engineering Techniques and Practices
Software Engineering Research
Advanced Software Engineering Methodologies
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 24 February 2026
- Language
- CMN
- Document type
- Preprint