规格驱动开发
规格驱动开发（Specification-Driven Development）是一种以形式化规格说明为核心驱动力的软件开发方法论。其核心理念是在开发前先制定清晰、结构化的需求规格文档，将功能需求、约束条件和验收标准明确化，再以此指导设计、编码与测试过程。该方法有助于减少需求歧义、降低开发偏离风险，并为团队协作提供统一的参考基准。
核心事实
时间轴 (近 90 天)
ThinkRail 采用规格驱动开发（Spec-driven Development），用户先编写规格 Markdown 文件（如 goal-and-requirements.md、architecture.md、spec.md），智能体依据规格逐条实现并验证。
创作者建立了一条铁律：计划变化时，必须先更新真相源文件，再改代码。
规格驱动开发与测试驱动开发的差别在于：TDD 用可执行测试作为契约，规格驱动用自然语言规格加元数据作为契约。
规格驱动开发要求先用 Markdown 文件明确定义软件目标、能力边界、架构决策和前端规格，再让智能体依据这些文件实施。
Pocock受OpenAI研究员Sean Grove“规格说明是新的代码”观点影响，尝试规格驱动开发数月，但代码质量持续恶化，最终放弃该方法。
Pocock认为方法论的有效性依赖于底层环境的质量，规格再详细，如果代码库本身混乱，Agent仍会产出更混乱的结果。
行为驱动开发（BDD）和契约式设计与「代码即行为」的立场一脉相承。
Matt 认为规格文档不是万能药，可维护的代码环境才是根基；规格驱动开发更适合作为辅助手段而非替代可维护代码库的根基。
规格驱动开发（SDD）使用 Spec Kit 将工作拆分为明确的阶段，每个阶段产出一个文件，流程为：spec → clarify → plan → tasks → analyze → implement → verify。
在规格驱动开发中，规则一是状态通过文件传递而非聊天，每个阶段之间清空上下文。
还有 1 条时间轴事件
全部知识事实 (12)
SDD（规范驱动开发）强调在生成代码前先用自然语言或结构化文档写清楚功能规范，以约束AI输出并降低幻觉导致的错误代码比例
65%待验证ThinkRail 采用规格驱动开发（Spec-driven Development），用户先编写规格 Markdown 文件（如 goal-and-requirements.md、architecture.md、spec.md），智能体依据规格逐条实现并验证。
50%待验证创作者建立了一条铁律：计划变化时，必须先更新真相源文件，再改代码。
50%待验证规格驱动开发与测试驱动开发的差别在于：TDD 用可执行测试作为契约，规格驱动用自然语言规格加元数据作为契约。
50%待验证规格驱动开发要求先用 Markdown 文件明确定义软件目标、能力边界、架构决策和前端规格，再让智能体依据这些文件实施。
50%待验证Pocock认为方法论的有效性依赖于底层环境的质量，规格再详细，如果代码库本身混乱，Agent仍会产出更混乱的结果。
50%待验证行为驱动开发（BDD）和契约式设计与「代码即行为」的立场一脉相承。
50%待验证Matt 认为规格文档不是万能药，可维护的代码环境才是根基；规格驱动开发更适合作为辅助手段而非替代可维护代码库的根基。
50%待验证规格驱动开发（SDD）使用 Spec Kit 将工作拆分为明确的阶段，每个阶段产出一个文件，流程为：spec → clarify → plan → tasks → analyze → implement → verify。
50%待验证在规格驱动开发中，规则一是状态通过文件传递而非聊天，每个阶段之间清空上下文。
50%待验证生成代码后必须运行测试和审查，不能直接视为生产可用
50%待验证Pocock受OpenAI研究员Sean Grove“规格说明是新的代码”观点影响，尝试规格驱动开发数月，但代码质量持续恶化，最终放弃该方法。
50%