返回顶部
返回首页 会员充值 我的足迹 返回上一页
具身智能
情绪经济
商业航天
十五五
银发经济

规范驱动编程工具对比

基于提示词的AI编程在团队协作中面临上下文无法跨会话持久化、规范以隐性知识散落、经验无法传承五大痛点。规范驱动编程(SDD)应运而生——以结构化规范文档作为开发起点和验收依据。GitHub官方Spec-Kit与开源OpenSpec谁更适合你的团队?厦门大学教材给出了清晰的选型指南与实操路径。

为什么需要规范驱动编程

基于提示词的AI编程在个人场景中效率显著,但团队协作时会暴露出五大系统性问题。上下文无法跨会话持久化——AI每次对话都是独立的,新成员接手时所有上下文全部消失。规范以隐性知识散落——每个人对“什么需要明确说明”的理解不一致,AI输出质量高度依赖个人技巧。需求理解偏差在代码审查阶段才被发现——语义漂移在个人场景代价可控,但团队中不同成员对同一模糊需求的理解是否一致难以判断。质量保障依赖个人自觉而非流程机制——团队中没有机制确保每个人都按高质量提示词框架写作。经验无法转化为可传承的工程资产——最佳实践以对话历史形式存在,人员变动时随之流失。

规范驱动编程(Spec-Driven Development, SDD) 正是为解决这些问题而提出的方法论。其核心理念是用一句话概括:在让AI编写代码之前,先用结构化文档明确阐述“做什么、怎么做、有何约束”,然后AI围绕这份文档工作,输出结果必须与文档严格对齐。Sean Grove在2013年系统阐述了这一理念,指出“代码是意图的有损投影”——当我们把想法转化为代码时,大量上下文信息(为什么这样做、权衡了哪些方案)会丢失。

SDD有三条铁律:无规范不写代码(没有规范文档不得开始编码)、规范即真理(代码与规范不一致时,错的永远是代码)、逆向同步(发现Bug时先审视规范是否描述不清,完善规范后再修复代码)。

三大SDD方法论与工具对比

教材系统对比了三种主流规范驱动方法论。

结构化规范(Structured Specification) 是最灵活的方式,不强制固定文档格式,通过结构化字段组织规范内容。代表工具是OpenSpec(由Fission-AI推出),采用单一spec.md文档管理所有规范,通过changes目录记录活跃变更、archive目录归档知识库。四步工作流(Explore→Propose→Apply→Archive)简洁直观,学习成本低,与TRAE等AI编辑器原生集成。

分阶段规范(Phased Specification) 是更正式的方式,将规范过程分解为多个阶段,每个阶段有明确的产出物和门控检查。代表工具是Spec-Kit(GitHub官方推出),定义五层规范链路:Constitution(工程宪章,顶层约束)→ Specification(系统级规范,定义功能需求和数据模型)→ Plan(实现计划)→ Tasks(任务级拆分)→ Implementation(实现)。适合金融、医疗等合规性要求高的行业和大型团队协作。

嵌入式规范(Embedded Specification) 将规范直接嵌入代码中,通过注释和类型注解表达规范内容,优势是无需维护单独规范文档,劣势是复杂项目的整体规划能力较弱。
规范驱动编程工具对比
对比维度Spec-KitOpenSpecAmazon Bedrock Agent
维护方GitHub官方Fission-AI(开源社区)AWS
GitHub星标69.1k23.7kN/A(云服务)
规范组织分散式(多文件、多阶段)统一式(单文档为主)API内置(云端管理)
规范严格度高(五阶段门控)中(四步循环)低(内置框架)
适用规模大型团队、企业级小团队、敏捷项目云原生企业应用

OpenSpec四步工作流实战

OpenSpec是教材推荐的首选入门工具,其四步工作流清晰可操作。

探索阶段(/openspec-explore) 让AI深入了解代码库现状,在不写任何代码的情况下理清现有功能、技术约束和已有规范。全新项目可跳过此步,存量项目迭代必须进行。提案阶段(/openspec-propose) 是核心环节。执行后AI生成完整的规范文档集合:proposal.md(为什么做、做什么)、design.md(怎么做、技术方案)、specs/<能力名>/spec.md(数据模型、场景、验收标准,使用Gherkin格式)、tasks.md(可执行任务列表)。这些文档共同构成“规范即真理”的事实来源。

实施阶段(/openspec-apply-change) 按照tasks.md逐步实现代码,严格对照规范验证。AI自动加载变更目录下的所有规范文档,逐项生成代码并标记任务状态。

归档阶段(/openspec-archive-change) 将已完成的变更从changes/移动到archive/,纳入版本管理。归档赋予规范文档可追溯性(每个功能的完整需求、设计和实现决策有据可查)、可复用性(类似功能直接参考已归档规范)和可审计性(完整历史记录)。

教材通过猜数字游戏完整案例演示了全流程,并展示了功能迭代(增加暗黑模式)时“探索→提案→实施→归档”的复用过程。

混合策略——先验证后规范

SDD与提示词编程并非二选一的关系,教材推荐“先验证、后规范”的混合策略。先用提示词编程快速生成原型代码验证技术方案的可行性(解决“能不能做”的问题),再将验证通过的关键决策提炼为规范文档(数据模型、接口契约、边界条件),最后基于规范文档让AI重新生成生产级代码(解决“做得好不好”的问题)。混合策略的关键转折点是“验证可行”——一旦确认技术方案可行,就应立即切换到SDD模式,避免在提示词编程中过度迭代。
点击阅读报告原文: 厦门大学:2026年AI编程与智能体开发讲义PPT(882页)
相关报告