Polyspace Copilot

新製品

Polyspace Copilot は、Visual Studio® Code IDE 向け Polyspace as You Code プラグインに生成 AI 機能を提供します。コード上の欠陥や MISRA C™:2023、MISRA C++™:2023、CERT® C/C++ などのコーディング規約違反の分析や解決を支援します。

Polyspace Copilot は、ローカルのコードベースに関連する Polyspace as You Code の検出結果に対して、状況に応じた説明を提供します。Copilot チャットは、こうした検出結果の解決に役立つコード修正案を提示します。Polyspace as You Code に関する質問をすると、関連する MathWorks ドキュメンテーションに基づく情報を得ることができます。

Polyspace Copilot のスクリーンショット。MISRA や AUTOSAR などのコーディング規約の選択、オプション指定、設定の保存を含む認証規格向けチェッカーの設定手順が説明されています。

Polyspace の機能を確認

自然言語によるチャットを通じて、現在のコード検証の目的に応じた Polyspace の機能を確認できます。Polyspace Copilot は、最新の MathWorks ドキュメンテーションやコード例に基づいて回答します。

Visual Studio Code のスクリーンショット。MISRA ルール違反に関する Polyspace Copilot の説明と、準拠のために else 節が必要な条件文を含む C コードが表示されています。

Polyspace の検出結果を理解

Polyspace as You Code の検出結果について、コードの状況に応じた説明を確認できます。MISRA C:2023、MISRA C++:2023、CERT C/C++ の違反に関する解説や関連情報も提供します。

Visual Studio Code のスクリーンショット。C コードの問題に対して Polyspace Copilot が修正案を提示し、変更箇所を強調表示したコードと、提案内容や理由を説明するパネルが表示されています。

Polyspace の検出結果に対する修正案を確認

Polyspace の検出結果への対処方法についてガイダンスを得ることができ、C/C++ コードの修正方法を示すコードスニペットを含む提案も確認できます。例外として認められた検出結果については、正当化理由の候補を提案します。

Visual Studio Code のスクリーンショット。左側に日本語の Polyspace Copilot チャットが表示されており、右側には拡張機能の設定が表示されています。設定画面には AI の応答言語を選択するドロップダウンリストが開いており、多くの言語の中から日本語が選択されています。

使い慣れた言語で対話

Polyspace Copilot の多言語対応により、さまざまな言語で質問して、ガイダンスや回答を得ることができます。

製品リソース:

ドキュメンテーション 要件 リリースノート