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 ツールとスキルを通じたエージェント連携
Polyspace MCP Server を使用して、AI コーディング エージェントが Polyspace のコマンドを実行し、解析結果を解釈できるようにします。Polyspace 専用のスキルにより、AI コーディング エージェントは Polyspace の設定のサポート、ドキュメントへのアクセス、および解析結果の管理をガイドされます。また、Claude® Code、GitHub Copilot®、OpenAI® Codex、Gemini CLI®、Sourcegraph Amp といった AI コーディング アシスタントに対する組み込みサポートも提供されます。
