Polyspace Agentic Toolkit은 신뢰할 수 있는 Polyspace 검증 기능을 AI 기반 개발 워크플로에 직접 통합하여 AI 코딩 에이전트가 C/C++ 코드를 자동으로 분석할 수 있도록 합니다. AI 코딩 에이전트는 Polyspace 분석 결과를 해석하고, 문제를 설명하며, 수정 방안을 제안함으로써 분석 결과를 실행 가능한 개선 사항으로 전환할 수 있습니다. 또한 Polyspace Test xUnit API를 사용해 검증된 코드 시나리오로부터 C/C++ 테스트를 생성함으로써 코드 커버리지를 확장하고 테스트 실행 기능을 활용할 수 있습니다. 모든 에이전트 동작은 신뢰할 수 있는 Polyspace 기능에 기반하므로 AI 생성 코드의 안정성과 통제력을 확보할 수 있으며, 최신 AI 코딩 에이전트와의 통합을 통해 이러한 기능을 기존 툴체인에 적용할 수 있습니다.
AI 코딩 에이전트를 통한 Polyspace 분석 실행
AI 코딩 에이전트를 통해 C/C++ 파일에 대한 Polyspace as You Code 분석을 실행하여 코드를 검사하고 분석 결과를 검토할 수 있습니다. 스킬을 통해 AI 코딩 에이전트가 프로젝트별 설정을 반영해 검사기 구성과 빌드 옵션으로 관리하도록 안내할 수 있습니다.
Polyspace Test를 활용한 단위 테스트 생성
AI 코딩 에이전트가 Polyspace Test xUnit API를 사용해 C/C++ 단위 테스트를 생성할 수 있도록 지원하여 테스트 실행, 코드 계측 및 코드 커버리지 수집을 간소화할 수 있습니다.
MCP 툴 및 스킬을 통한 에이전트 연결
AI 코딩 에이전트가 Polyspace MCP Server를 사용해 Polyspace 명령을 실행하고 Polyspace 결과를 해석할 수 있습니다. Polyspace 특정 스킬을 통해 AI 코딩 에이전트가 Polyspace 구성을 지원하고, 문서에 접근하며, Polyspace 결과를 관리할 수 있습니다. Claude® Code, GitHub Copilot®, OpenAI® Codex, Gemini CLI®, Sourcegraph Amp와 같은 AI 코딩 어시스턴트에 대한 지원이 기본적으로 제공됩니다.
