엔터프라이즈 소프트웨어 엔지니어링이 LLM을 인지 오케스트레이터로 활용하는 AI 네이티브 시스템으로 전환되면서 검증, 접근 제어, 형식 테스트의 기존 방식이 약화되고 있습니다.
연구진은 모델 컨텍스트 프로토콜(MCP)에 의해 관리되는 의미론적 게이트웨이를 설계하고, 형식적으로 검증하고, 경험적으로 평가하여 엔터프라이즈 API를 의미론적 표면으로 재구성했습니다.
새로운 방법론은 84.2%의 우발적 코드 감소를 보여주었으며, 500,000개의 다중 턴 퍼징 시퀀스에서 숨겨진 무단 상태 전환을 100% 발견하여 동적 형식 검증의 필요성을 입증했습니다.