用结构化流程让AI代码生成真正可靠,从试错到可验证工程。
Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development
- 提出SCOPE-V循环,将对话转化为有约束的工程流程。
- 实测显示AI在成熟项目中会变慢,需控制风险与依赖。
- 适合需要高可靠性、需人工审核的软硬件开发团队。
自主性AI编程系统能检查仓库、规划步骤、编辑文件、调用工具、运行测试并提交合并请求。尽管某些场景下可加速开发,现有证据并不支持自动代码生成必然提升工程成果。受控研究显示,企业任务中生产力有所提升,但在成熟开源项目中出现延迟,元分析效应中等且异质,且在仓库配置、依赖管理、权限控制和硬件验证方面持续失败。本文认为核心问题已不再是提示工程,而是工程过程控制。综合了代理式软件工程、GitHub规模采用研究、仓库级代理配置、生产力试验、问题修复基准及硬件/RTL验证研究,提出Agentic Agile-V框架,以Agile-V为生命周期主干,任务级SCOPE-V循环(指定、约束、编排、证明、演化、验证)将对话意图转化为结构化工程产物与验收证据。贡献包括:(i) 面向软件、固件和硬件工作的最小输入构件分类;(ii) 对话与实现间的‘对话转合同’门控机制;(iii) 风险自适应的功能、修复、测试与硬件工作流;(iv) 针对代理生成产物的证据包验收模型。结论指出,代理型AI并未消除工程纪律,反而提升了需求、约束、可追溯性、独立验证与人工审批的价值。
原文摘要 · Abstract (English)
Agentic AI coding systems can inspect repositories, plan implementation steps, edit files, call tools, run tests, and submit pull requests. These capabilities make software and hardware development faster in some settings, but current evidence does not support the simple claim that autonomous code generation automatically improves engineering outcomes. Controlled studies report productivity gains in some enterprise tasks, slowdowns in mature open-source work, moderate but heterogeneous meta-analytic effects, and persistent failures in repository setup, dependency handling, permission gating, and hardware verification. This paper argues that the central problem is no longer prompt engineering; it is engineering process control. It synthesizes evidence from agentic software engineering, GitHub-scale adoption studies, repository-level agent configuration, productivity trials, issue-resolution benchmarks, and hardware/RTL verification research. It proposes Agentic Agile-V, a process framework that uses Agile-V as the lifecycle backbone and a task-level SCOPE-V loop - Specify, Constrain, Orchestrate, Prove, Evolve, and Verify - to convert conversational intent into structured engineering artifacts and acceptance evidence. The paper contributes: (i) a taxonomy of minimum input artifacts for agentic software, firmware, and hardware work; (ii) a conversation-to-contract gate that separates exploratory dialogue from implementation; (iii) risk-adaptive feature, bug-fix, testing, and hardware workflows; and (iv) an evidence-bundle acceptance model for agent-generated artifacts. The paper concludes that agentic AI does not eliminate engineering discipline; it increases the value of requirements, constraints, traceability, independent verification, and human approval.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。