CodeSpec: 에이전트 기반 장기 기능 개발을 위한 이중 실행 가능한 명세 (Dual Executable Specifications)

원문 발행 2026. 07. 29. 20:20원문 언어 영어AI 한국어 번역arXiv Codex (cs.SE) 원문 보기

요약

CodeSpec은 LLM 기반 코드 에이전트가 복잡한 기능 개발을 수행할 때 설계와 구현의 일관성을 유지할 수 있도록 돕는 이중 실행 가능한 명세 방법론입니다. 아키텍처와 동작 명세를 컴파일하여 신뢰할 수 있는 기능 체인을 구축함으로써 기존 에이전트의 한계를 극복합니다.

핵심 포인트

자유 형식 추론의 한계를 극복하는 이중 실행 가능한 명세 제안
아키텍처 및 동작 명세 컴파일을 통한 설계-구현 일관성 유지
FeatureBench에서 Claude Code 등 기존 베이스라인 모델 능가
DeepSeek-V4-Pro 환경에서 높은 기능 개발 통과율 달성

LLM 기반 코드 에이전트(code agents)는 코드베이스 및 도구와의 반복적인 상호작용을 통해 저장소 수준(repository-level)의 소프트웨어 개발을 발전시켜 왔습니다. 그러나 기능 개발(feature development)은 일관된 컴포넌트 간 기능 체인(cross-component functional chains)을 통해 기존 아키텍처에 새로운 동작을 통합하는 것을 요구합니다. 기존의 에이전트들은 일반적으로 자유 형식의 추론(free-form reasoning)을 통해 이러한 체인을 도출하며, 이로 인해 불완전한 기능 체인을 가진 신뢰할 수 없는 기능 설계를 생성하는 경우가 많습니다. 또한, 텍스트 기반 설계는 검증하고 강제하기가 어려워, 장기적인 개발 과정 전반에 걸쳐 설계-구현 일관성(design-implementation consistency)을 유지하는 데 어려움이 있습니다. 우리는 저장소 수준의 기능 개발을 위한 이중 실행 가능한 명세(dual executable specification) 방법론인 CodeSpec을 제안합니다. CodeSpec은 하위 요구사항의 의미론(sub-requirement semantics)과 저장소 아키텍처를 증거 기반으로 쌍을 맺어 신뢰할 수 있는 기능 체인을 구축한 다음, 이를 상호 보완적인 아키텍처 및 동작 명세(architecture and behavior specifications)로 컴파일합니다. 이를 통해 긴 상호작용 과정에서도 설계-구현 일관성을 유지하면서 체인의 완전성과 정확성을 검사합니다. 기존 저장소에서의 기능 개발을 목표로 하는 FeatureBench에서 CodeSpec은 DeepSeek-V4-Pro 환경 하에 70.7%, 55.0%, 49.9%의 통과율(pass rates)을 달성하며 Claude Code와 같은 대표적인 베이스라인(baselines) 모델들을 능가했습니다. 저장소 생성 벤치마크인 NL2Repo-Bench에서의 결과 또한 CodeSpec의 일반화 가능성을 입증합니다.

AI 자동 생성 콘텐츠

원문 바로가기

CodeSpec: 에이전트 기반 장기 기능 개발을 위한 이중 실행 가능한 명세 (Dual Executable Specifications)

요약

핵심 포인트

댓글