SDAD: Spec-Driven Agentic Development for the AI-Native SDLC

SDAD：面向 AI 原生软件开发生命周期（SDLC）的规范驱动代理开发

Frontier coding agents backed by large language models with context windows from hundreds of thousands to millions of tokens are restructuring the Software Development Life Cycle (SDLC). Rich context handling and multi-step reasoning now allow substantial Functional Requirement Documents (FRDs) and repository context to be ingested in a single workflow, making specification quality the execution fuel for autonomous delivery.

由大语言模型支持、具备数十万至数百万 Token 上下文窗口的前沿编程代理，正在重构软件开发生命周期（SDLC）。强大的上下文处理能力和多步推理能力，使得在单一工作流中摄入大量功能需求文档（FRD）和代码库上下文成为可能，从而使规范质量成为自主交付的执行燃料。

This report formalises Spec-Driven Agentic Development (SDAD) as a synthesis of disciplined up-front formalisation and high-velocity implementation: intent capture, machine-readable specification, agentic synthesis, and independent multi-agent verification under human sign-off. We revisit the historical pendulum between Waterfall and Agile, introduce AI-code as a fourth production paradigm, and compare Human-Agile (circa 2020) with Agentic-SDAD (circa 2026) across artefacts, cadence, accountability, and security posture.

本报告将“规范驱动代理开发”（SDAD）正式定义为严谨的前期形式化与高速实施的结合体：包括意图捕获、机器可读规范、代理合成，以及在人工签署下的独立多代理验证。我们回顾了瀑布模型与敏捷开发之间的历史摇摆，引入了“AI 代码”作为第四种生产范式，并从产出物、节奏、责任制和安全态势等方面，对比了人类敏捷开发（约 2020 年）与代理驱动的 SDAD（约 2026 年）。

Beyond process description, we extend the model to team role metamorphosis (engineer, QA, platform, and product functions), quantitative governance (Ambiguity Tax, Spec Fidelity, SER, and TCI_agentic with repair multiplier phi), and pragmatic adoption via hybrid estimation and a staged migration blueprint. Industrial and research evidence on AI-augmented testing and verification is integrated to motivate separation between synthesis and release authority.

除了流程描述外，我们还将该模型扩展至团队角色的蜕变（工程师、QA、平台和产品职能）、量化治理（歧义税、规范保真度、SER 以及带有修复乘数 phi 的 TCI_agentic），并通过混合估算和分阶段迁移蓝图实现务实落地。报告整合了关于 AI 增强测试与验证的工业界及学术界证据，旨在推动合成权与发布权的分离。

Overall, the paper argues that agentic speed does not eliminate engineering discipline; it relocates discipline upstream into specification precision, explicit gates, and auditable provenance.

总而言之，本文认为代理带来的速度提升并不会消除工程纪律；相反，它将纪律前置到了规范的精确性、明确的准入关卡以及可审计的溯源中。