AIDB Daily Papers
AI支援ソフトウェア開発のための「Spec Growth Engine」:仕様とコードを連携させ、ドリフトを強制排除するアーキテクチャ
※ 日本語タイトル・ポイントはAIによる自動生成です。正確な内容は原論文をご確認ください。
ポイント
- AIコーディングエージェントの文脈爆発と仕様・コードの乖離という課題を解決する「Spec Growth Engine」を提案した。
- 仕様グラフ、コンテキストアセンブラ、成長プロトコル、ドリフトゲートにより、これらの問題を軽量かつコード連動型で解決する点が新しい。
- このフレームワークは、ソフトウェア工学の原則を統合し、AI支援開発の効率と信頼性を向上させる結果となった。
Abstract
AI coding agents dramatically accelerate implementation speed but introduce two structural failure modes that existing spec-driven approaches do not fully solve: (1) context explosion -- the agent must reason over an entire repository at once, degrading output quality as the context window fills; and (2) silent spec-code drift -- code evolves, the specification does not, and the divergence becomes invisible until it is costly to repair. We present the Spec Growth Engine, a lightweight framework that addresses both failure modes through a machine-readable spec graph whose nodes carry explicit contract/design separation, a Spine context assembler that scopes agent context to an ownership path, a vertical-slice growth protocol that enforces hardest-first ordering, and a drift gate that makes spec-code divergence a blocking merge condition. The design synthesises well-established software engineering principles (Parnas information hiding, C4, ADRs, Walking Skeleton, Reflexion Models, Fitness Functions) into a lean, code-coupled, machine-enforced whole -- without the overhead of heavy-weight frameworks such as RUP or MDA.
Paper AI Chat
この論文のPDF全文を対象にAIに質問できます。
質問の例: