规格驱动开发：人类与AI的合约
规格驱动开发（SDD）是一种通过明确定义的规格来指导AI编码助手的软件开发方法，强调规格是代码的真理来源。SDD的根源可追溯到测试驱动开发（TDD）、行为驱动开发（BDD）、契约式设计和形式化方法等传统实践，但在AI时代被催化为必需范式。随着AI编码工具如Claude Code、Copilot的普及，2025年“Vibe Coding”虽降低编程门槛，却导致代码质量失控，生成大量不可测试的代码浆糊。SDD通过将规格作为人与AI间的通信协议，显著降低LLM生成代码的错误率。文章分析了OpenSpec、GitHub Spec-Kit和AWS Kiro三个工具，重点介绍OpenSpec的设计哲学：流动而非僵化、迭代而非瀑布、简单而非复杂、适用于存量项目而非仅新项目、以及可伸缩性。OpenSpec采用增量规格（Delta Specs）支持渐进式引入，其核心工作流为propose → apply → archive三阶段，简化开发流程。此外，文章提供了OpenSpec的安装指南、目录结构示例和CLI命令，展示了如何在实际项目中应用SDD。SDD从独立工程线索被AI催化成完整范式，为AI辅助开发提供了结构化框架，提升代码质量和可维护性。