SDAD：面向AI原生软件开发生命周期的规范驱动智能体开发
SDAD: Spec-Driven Agentic Development for the AI-Native SDLC
浏览论文内容
中文总结 AI 辅助
该研究提出规范驱动智能体开发（SDAD）模型，对比传统敏捷开发，扩展团队角色、量化治理等，论证智能体开发需将工程规范转移至上游规范环节。
中文摘要 AI 辅助
拥有数十万至数百万token上下文窗口的大型语言模型支撑的前沿编码智能体正在重构软件开发生命周期（SDLC）。丰富的上下文处理能力和多步骤推理如今允许在单一工作流中纳入大量功能需求文档（FRD）和代码仓库上下文，使得规范质量成为自主交付的执行动力。本报告将规范驱动智能体开发（SDAD）正式定义为严谨的前期形式化与高速实现的结合，涵盖意图捕获、机器可读规范、智能体合成以及经人工确认的独立多智能体验证。我们回顾了瀑布模型与敏捷开发之间的历史摇摆，将AI代码引入作为第四种生产范式，并在工件、节奏、问责制和安全态势方面对人类敏捷开发（约2020年）与智能体SDAD（约2026年）进行了比较。除了流程描述，我们还将模型扩展至团队角色转变（工程师、QA、平台和产品职能）、量化治理（歧义税、规范保真度、SER及带修复乘数phi的TCI_agentic），以及通过混合评估和分阶段迁移蓝图实现的实用采用。我们整合了AI增强测试与验证的产业和研究证据，以推动合成与发布权限的分离。总体而言，本文认为智能体速度并未消除工程规范，而是将规范转移至上游，体现在规范精度、明确的关卡和可审计的溯源上。
英文摘要
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. 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. 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. Overall, the paper argues that agentic speed does not eliminate engineering discipline; it relocates discipline upstream into specification precision, explicit gates, and auditable provenance.
