Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
AI 코딩 에이전트의 컨텍스트 폭발과 명세-코드 간의 불일치(drift) 문제를 해결하기 위한 'Spec Growth Engine' 프레임워크를 제안합니다. 기계 판독 가능한 명세 그래프와 드리프트 게이트를 통해 코드와 명세의 동기화를 강제하고 효율적인 개발을 지원합니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv Codex (cs.SE)의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기AI 코딩 에이전트(AI coding agents)는 구현 속도를 극적으로 가속화하지만, 기존의 명세 기반(spec-driven) 접근 방식이 완전히 해결하지 못하는 두 가지 구조적 실패 모드를 유발합니다: (1) 컨텍스트 폭발(context explosion) — 에이전트가 전체 저장소(repository)를 한꺼번에 추론해야 하며, 컨텍스트 창(context window)이 채워짐에 따라 출력 품질이 저하되는 현상; (2) 침묵하는 명세-코드 드리프트(silent spec-code drift) — 코드는 진화하지만 명세는 진화하지 않아, 수정 비용이 많이 들 때까지 그 차이가 보이지 않게 되는 현상입니다. 우리는 명세 성장 엔진(Spec Growth Engine)을 제시합니다. 이는 노드가 명시적인 계약/설계 분리(contract/design separation)를 수행하는 기계 판독 가능 명세 그래프(machine-readable spec graph), 에이전트 컨텍스트를 소유권 경로(ownership path)로 제한하는 Spine 컨텍스트 어셈블러(Spine context assembler), 가장 어려운 작업부터 순서를 강제하는 수직 슬라이스 성장 프로토콜(vertical-slice growth protocol), 그리고 명세-코드 간의 차이를 차단된 병합 조건(blocking merge condition)으로 만드는 드리프트 게이트(drift gate)를 통해 두 가지 실패 모드를 모두 해결하는 경량 프레임워크입니다. 이 설계는 확립된 소프트웨어 공학 원칙들(Parnas의 정보 은닉(information hiding), C4, ADRs, Walking Skeleton, Reflexion Models, Fitness Functions)을 RUP나 MDA와 같은 무거운 프레임워크의 오버헤드 없이, 코드와 결합되고 기계에 의해 강제되는 간결한 전체 시스템으로 합성합니다.