Jas: N-버전 프로그래밍 (N-Version Programming)의 부활로서의 AI 협업 엔지니어링

본 논문에서는 AI 협업 소프트웨어 엔지니어링 (AI-paired software engineering)에 대한 사례 연구를 보고합니다. 한 명의 개발자가 약 120시간의 저녁 시간을 투입하여 Rust, Swift, OCaml, Python, 그리고 브라우저 기반 플랫폼에 걸쳐 벡터 일러스트레이션 애플리케이션을 다섯 가지 버전으로 구현해낸 사례를 다룹니다. 이 방법론은 AI 보조 구현 (AI-assisted implementation)을 두 가지 안전장치와 결합합니다. 첫 번째는 단일 진실 공급원 (Single source of truth) 역할을 하는 정밀한 실행 가능한 YAML 명세 (YAML specification)이며, 두 번째는 내장된 차등 테스트 (Differential-testing) 계층으로 기능하는 병렬 구현 (Parallel implementations)입니다. 다섯 가지 포트(Port)는 23,000줄의 명세를 공유하며, 각 포트별 네이티브 코드의 양은 명세의 탈출구 (Escape hatch)를 반영하여 0줄에서 약 95,000줄 사이의 범위를 가집니다. 본인은 이러한 두 가지 안전장치가 전제된다면, AI 협업 엔지니어링이 전통적으로 여러 명의 개발자가 수년간 매달려야 하는 작업 범위를 실현 가능하게 만든다고 주장합니다. 또한 이 방법론을, 비용 문제로 인해 1980년대에 버려졌으나 AI가 그 상황을 변화시킨 N-버전 프로그래밍 (N-version programming)의 부활로 정의합니다. 본 논문은 단일 개발자 사례 연구의 구체적인 결과물과 솔직한 한계점을 보고합니다.