arXiv:2608.20341cs.AIcs.SE2026-08

用AI代理实现以规格书驱动的高效开发,提升交付质量与可审计性。

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

  • 通过大模型处理海量上下文,将需求文档直接作为开发燃料。
  • 引入多智能体验证与修复机制,关键指标如规格一致率达92%。
  • 适合追求高并发交付与工程规范化的研发团队参考。

基于具备数十万至百万级上下文窗口的大语言模型的前沿编程代理正在重塑软件开发生命周期(SDLC)。丰富的上下文处理能力与多步推理使完整的功能需求文档(FRD)和代码库上下文可在单一流程中摄入,规格质量成为自主交付的核心驱动力。本文正式提出以规格书驱动的智能体开发(SDAD),融合严谨的前期定义与高速实现:意图捕获、机器可读规格、智能体合成及独立多智能体验证,并需人工确认。我们重审瀑布与敏捷的历史演变,提出AI编码作为第四种生产范式,并对比2020年人类敏捷与2026年智能体SDAD在产出物、节奏、责任归属与安全态势上的差异。除流程描述外,还扩展至团队角色重构(工程师、QA、平台、产品)、量化治理(模糊性税、规格保真度、SER、TCI_agentic及修复乘数phi),以及通过混合估算与分阶段迁移蓝图实现的实用落地。工业与研究证据支持AI增强测试验证,推动合成与发布权限分离。总体而言,智能体速度并未消除工程纪律,而是将纪律前置至规格精确性、明确门禁与可审计溯源。

原文摘要 · Abstract (English)

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.

AI开发智能体软件工程

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。