## 引子：一个"新词"的旧灵魂

2025 年下半年，SDD（规格驱动开发）随着 GitHub Spec Kit、Amazon Kiro 等工具的走红而成为热词，并在 2026 年被普遍视为 AI 原生开发的主流范式。它的主张听上去很新："先写规格，再让 AI 生成代码；规格是单一事实来源，代码只是从规格派生的、可随时再生成的一次性工件。"

但如果只把它当作 AI 时代的产物，就严重低估了它。把时间轴拉长，**"先立契约、再实现"这条思想血脉，至少已经流淌了半个多世纪**——从 1969 年一个逻辑学公式，到 1986 年一门编程语言的内置语法，到 2007 年一个 Web 服务框架的强硬立场，再到 2026 年一整套人机协作方法论。每一次技术范式的更迭，都让这个老思想获得一次新的肉身。

本文沿着这条血脉走一遍，顺便回答三个问题：契约思想从哪里来？TDD 在其中扮演了什么角色？SDD 凭什么被称为这条血脉在 AI 时代的正统继承人？

---

## 一、1969：Hoare 三元组——"契约"的逻辑学起点

故事要从一个符号讲起。1969 年，英国计算机科学家 Tony Hoare 提出了著名的 Hoare 三元组：

```
{P} C {Q}
```

含义是：程序 C 执行之前，若前置条件 P 成立，则执行之后，后置条件 Q 必然成立。

这个公式看似只是形式化验证的学术工具，但它埋下了一个深远的观念：**程序的正确性不是"跑起来没报错"，而是"履约"——执行者兑现了前置条件所承诺的后置结果。** 用商业语言说，P 是调用者的义务，Q 是实现者的承诺。这就是后来所有"契约式"思想共用的通用语法。

注：Tony Hoare 1959-1960年间开发了快速排序算法。从1977年起，他先后在牛津大学和剑桥的微软研究院任职。1980年，他赢得了ACM图灵奖。

<div style="text-align: center;">
<img src="https://developer.qcloudimg.com/http-save/yehe-11563618/38013053998cf0e53254de22f016405c.jpg" width="50%" />
</div>

## 二、1986：Meyer 把契约写进语言——DbC 的诞生

理论沉寂了十七年，直到法国计算机科学家 Bertrand Meyer 出手。1986 年，他在 Eiffel 语言的技术报告中正式提出**契约式设计（Design by Contract, DbC）**，并在 1988 年的经典著作《Object-Oriented Software Construction》中将其系统化。这一次，契约从纸上的逻辑公式变成了**编译器会检查的语法**：

- `require`——前置条件：调用者必须满足的义务；
- `ensure`——后置条件：实现者必须兑现的承诺；
- `invariant`——类不变式：任何时刻都必须成立的性质。

Meyer 的隐喻非常直白：甲方乙方签合同，权利义务分明，**谁违反了契约，责任就在谁**。这个思想的生命力远超 Eiffel 语言本身——近四十年后，C++26 已把 `[[pre:]]`/`[[post:]]` 契约检查纳入标准，距 Meyer 提出 DbC 已近四十年，DbC 以标准化条款的形式回到主流语言。

值得一提的是，这一思想很早就传入了中文世界。Richard Mitchell 与 Jim McKim 所著的 *Design by Contract by Example*（Addison-Wesley，2002）是讲解契约式设计的方法与陷阱的实践指南，其中译本《Design by Contract 原则与实践》让"前置条件、后置条件、不变式"这些概念在国内开发者中传播。

<div style="text-align: center;">
<img src="https://developer.qcloudimg.com/http-save/yehe-11563618/0b4d562c70678cb55577cb43a7ed793d.jpg" width="50%" />
</div>

但 DbC 有一个时代局限：契约约束的是**单个函数、单个类**——它是"函数级契约"。谁来守护"整个系统的行为是否符合业务预期"？这个问题的答案，将引出血脉上的另一条支流——测试。

## 三、支流汇入：TDD 用测试写下"可执行的契约"

### 1. "测试即规格"的真正含义

Kent Beck 在 1990 年代的极限编程运动中确立的 TDD，表面看是先写测试，实质是用另一种语法写契约。经典 TDD 循环中先写的那个**白盒单元测试**，本质上是用代码写下的**局部契约**——前置条件（什么输入合法）与后置条件（什么输出算正确）。写测试的过程就是精确化契约的过程，"红—绿—重构"就是契约谈判、履约、修缮的循环。

### 2. 契约放大到系统级：ATDD / BDD

实践很快发现，函数级契约覆盖不了"系统行为是否符合业务预期"这一层。于是 TDD 演化出以**黑盒验收测试**为核心的两个分支——契约的粒度从函数放大到了系统：

- **ATDD（验收测试驱动开发）**：开发者、测试人员、业务方共同先写黑盒验收测试，只通过系统对外暴露的接口验证端到端行为；
- **BDD（行为驱动开发，Dan North 于 2003 年前后提出）**：用 Given-When-Then 句式书写验收标准（如 `Given 账户余额100元 When 取款30元 Then 余额应为70元`），让业务人员也能参与契约定义。

| 维度 | 经典 TDD（单元级） | ATDD / BDD（进化分支） |
|---|---|---|
| 测试视角 | 白盒（知道内部结构） | 黑盒（只看对外行为） |
| 测试粒度 | 类/函数级 | 系统/端到端级 |
| 编写者 | 开发者本人 | 开发者 + 测试 + 业务方协作 |
| 覆盖阶段 | 编码与单元验证 | 需求澄清 + 集成验收 |
| 契约层级 | 函数级契约 | 系统级契约 |

至此，两条支流汇入同一河道：**DbC 用断言写函数级契约，ATDD/BDD 用验收测试写系统级契约。** 它们共享同一个信念——先定义"什么叫正确"，再谈实现。

## 四、2007：从Code First 到 Contract First / API-First

**契约从语言特性升为工程纪律。**

进入 SOA 时代，"先写契约还是先写代码"第一次成为公开的、旗帜鲜明的方法论之争。Web 服务有两种开发风格：Code First（从 Java 代码生成 WSDL 契约）与 Contract First（先手写 WSDL/XSD 契约，再实现）。

Spring Web Services 的创建者 **Arjen Poutsma** 在 2007 年接受 InfoQ 采访时立场鲜明：Spring-WS **只支持契约优先**——开发者必须自己编写 XSD Schema 定义消息格式，框架只负责让实现去满足契约，二者保持松耦合。这是契约思想的一次关键跃迁：**它不再只是语言里的可选特性，而成为团队级的工程纪律——契约可以约束跨团队、跨组织的协作。** 此后 2010 年代的 API-First / OpenAPI-First 设计（先写接口定义，再生成服务端代码与客户端 SDK）延续的正是这条路线，而这条路线今天已近乎行业标准。

## 五、2025：Vibe Coding——血脉被短暂弃置的一年

然后出现了一次戏剧性的断裂。2025 年 2 月，Andrej Karpathy 提出 Vibe Coding：完全凭感觉与 AI 对话，让 AI 写码、调错、迭代，人类"甚至忘掉代码本身的存在"。柯林斯词典将其选为 2025 年度词汇——它把代码生产的成本压到接近零，非程序员也能构建完整应用。

但代价是：**契约被弃置了。** 没有规格、没有验收标准、没有文档，人类与 AI 之间的"合同"退化成一段即兴对话。其典型病灶迅速暴露：长对话中 AI 遗忘早期决策的上下文丢失、模糊意图下 AI 自由发挥的需求漂移、无人维护的知识孤岛、风格不一的质量不可控。多项调查还显示，全盘接受不理解内部逻辑的 AI 代码，带来显著的安全与可维护性风险；一项针对资深开发者的随机对照试验甚至发现，使用早期 AI 工具让任务耗时增加了 19%。

血脉被掐断的一年，恰恰证明了血脉的价值：**当实现变得廉价，"精确表达意图"的稀缺性反而被凸显出来。**

## 六、2026：SDD——契约从"约束实现"升级为"生成实现"

于是 SDD 登场。它的登场姿态并非复古，而是一次本质升级：**契约不再只是事后约束实现的静态文档，而是事前生成实现的机器可读输入。** 规格从"给人看的合同"变成"人与 AI 共同签署、AI 据此履约的执行契约"。代表工具包括 GitHub Spec Kit、Amazon Kiro、OpenSpec；2026 年 1 月，arXiv 上的系统性论文《Spec-Driven Development: From Code to Contract in the Age of AI Coding Assistants》提出 spec-first、spec-anchored、spec-as-source 三个成熟度层级。

SDD 的完整流程，本质是把几十年的契约实践排成一条流水线：先提案（业务背景、成功标准），再写规格（输入输出、数据模型、API、用 EARS 等句式写明的验收标准——即系统级契约），经评审确认后拆任务，AI 依规格生成实现，最后用验收测试与一致性校验核对履约情况。有从业者据此称 SDD 为"第五代编程范式"。

需要澄清的是，SDD 并没有让测试消失。验收测试依然存在，跑的仍是黑盒测试；变化的是测试设计的依据——从"人脑回忆需求"变成"spec 中已评审过的验收标准"，甚至可由 spec 自动派生。真正前移的是正确性标准的定义与评审，而非测试本身。

## 七、血脉全景

| 维度 | 经典 TDD（单元级） | ATDD / BDD | 契约优先 Web 服务 | SDD |
|---|---|---|---|---|
| 提出者 | Kent Beck | Dan North 等 | Arjen Poutsma | 社区共识（2025–2026） |
| 年代 | 1990s–2002 | 2003 前后 | 2007 | 2025–2026 |
| 契约形态 | 白盒单元测试 | 黑盒验收测试 | WSDL/XSD、OpenAPI | 机器可读规格 |
| 契约层级 | 函数级 | 系统级 | 组织间接口级 | 系统级（全链路） |
| 契约的作用 | 约束+验证 | 约束+验证 | 约束+生成（代码骨架） | 生成（完整实现）+ 校验 |
| 时代瓶颈 | 缺陷修复成本高 | 业务与技术脱节 | 跨团队协作混乱 | AI 猜不准意图 |

Vibe Coding 是这张表中唯一"无契约"的一栏——它因此被排除在血脉之外，而这恰恰是它只能用于原型与个人小工具的根本原因。

![20260924223021_h1_7xQy_4976e7609d716f283102de206ed5048b.png](https://developer.qcloudimg.com/http-save/yehe-11563618/09c513021c18447a38c9831ae49c2ffc.png)

## 结语

回头看，这条血脉的每一次"转世"都遵循同一个逻辑：**每当实现成本下降一个数量级，精确的契约就上升一个抽象层级。** 1969 年 Hoare 用三元组写下第一个逻辑契约时，它是论文里的公式；1986 年 Meyer 把它装进 Eiffel 时，它是小众语言的理想主义；2007 年 Poutsma 只支持契约优先时，它还被视为 Web 服务领域的一种"洁癖"。它们在当时都显得学院派。

直到 AI 把实现变得近乎免费，人们才猛然发现：几十年间被反复打磨的契约思想，正是人机协作时代最稀缺的资产。SDD 不是什么新发明，而是 Hoare 的三元组、Meyer 的 `ensure`、Poutsma 的 XSD，在 AI 时代换上的新身体——**先立契约，再写代码。人类负责把意图写到无歧义，机器负责把契约兑现成系统。**

这条血脉流了半个多世纪，终于等来了它的时代。


2025 年下半年，SDD（规格驱动开发）随着 GitHub Spec Kit、Amazon Kiro 等工具的走红而成为热词，并在 2026 年被普遍视为 AI 原生开发的主流范式。它的主张听上去很新："先写规格，再让 AI 生成代码；规格是单一事实来源，代码只是从规格派生的、可随时再生成的一次性工件。"

【SDD01】契约优先：从 Hoare 到 SDD 的 57 年

悟透SDD系列。无论规格驱动开发（SDD）是否普及、是否已是事实标准，都不影响我鼓吹它的合理性。

开发工具

架构设计

编程语言

规格驱动开发（SDD）是AI时代人机协作的核心范式，源于1969年Hoare三元组、1986年DbC及2007年契约优先实践。它通过“先写规格、再生成代码”的流程，将契约从约束升级为生成实现的机器可读输入，解决VibeCoding的上下文丢失与需求漂移问题。本文梳理契约思想五十年演进，解析SDD如何成为AI原生开发正统方法论。

人机协作

单元测试

验收测试

黑盒测试

代码解释

Vibe Coding

编译器

GitHub

Java

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

EdgeOne AI 安全实战专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

规格驱动开发（SDD）是AI时代人机协作的核心范式，源于1969年Hoare三元组、1986年DbC及2007年契约优先实践。它通过“先写规格、再生成代码”的流程，将契约从约束升级为生成实现的机器可读输入，解决VibeCoding的上下文丢失与需求漂移问题。本文梳理契约思想五十年演进，解析SDD如何成为AI原生开发正统...

【SDD01】契约优先：从 Hoare 到 SDD 的 57 年-腾讯云开发者社区-腾讯云

【SDD01】契约优先：从 Hoare 到 SDD 的 57 年

【SDD01】契约优先：从 Hoare 到 SDD 的 57 年

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐