MATLAB や Simulink との Polyspace の統合

Polyspace^® Bug Finder™ と Polyspace Code Prover™ はスタンドアロン製品です。これらの Polyspace 製品は、MathWorks^® インストーラーを使用してインストールします。Polyspace と他の MathWorks 製品のインストールを参照してください。

Polyspace 製品は、他の MathWorks 製品とは異なるルートフォルダーにインストールされます。たとえば、Windows^® では次のようになります。

既定の MATLAB^® ルートフォルダー: C:\Program Files\MATLAB\R2025a。
既定の Polyspace ルートフォルダー: C:\Program Files\Polyspace\R2025a。

MATLAB、Simulink^®、または MATLAB Coder™ から Polyspace を実行するには、インストール後の手順を実行して Polyspace と MATLAB および Simulink とを統合します。

統合プロセスおよびサポートされる MATLAB リリースは、以前の Polyspace リリースでは異なる場合があります。古いリリースの Polyspace を使用している場合は、そのリリースのドキュメントを確認してください。

同じリリースの Polyspace と MATLAB

Polyspace と MATLAB がどちらも同じリリースの場合、Polyspace と MATLAB の統合後に以下を行います。

Simulink エディターから、モデルから生成された C/C++ コード、またはカスタムコードとしてモデルに組み込まれている C/C++ コードに、Polyspace 解析を実行。MATLAB スクリプトを使用して、これらの解析を実行することもできます。Simulink での Bug Finder 解析を参照してください。
Embedded Coder^® がある場合は、MATLAB Coder アプリを使用して MATLAB コードから生成された C/C++ コードに、Polyspace 解析を実行。MATLAB Coder での Bug Finder 解析を参照してください。
MATLAB スクリプトを使用して手書きの C/C++ コードに Polyspace 解析を実行。MATLAB スクリプトを使用した Bug Finder 解析を参照してください。

前提条件

Polyspace を同じリリースの MATLAB または Simulink と統合する前に、MATLAB または Simulink が既に Polyspace と統合されているかどうかを判断します。MATLAB と Polyspace の間の統合のチェックを参照してください。

Polyspace と MATLAB または Simulink の統合

MATLAB を管理者権限またはルート権限で開きます。たとえば、Windows で MATLAB を管理者権限で開くには、MATLAB 実行可能ファイルを右クリックし、[管理者として実行] を選択します。
MATLAB コマンドプロンプトで、次のように入力します。
```
polyspacesetup('install');
```
Polyspace を既定のフォルダー C:\Program Files\Polyspace\R2025a にインストールした場合、このコマンドで Polyspace と MATLAB が統合されます。Polyspace インストールが既定の場所に見つからない場合、インストール場所を指定するよう求められます。あるいは、以下を使用します。
```
polyspacesetup('install','polyspaceFolder',Folder)
```
ここでの Folder は Polyspace インストールフォルダーです。ワークスペースがクリアされて、開いているすべてのモデルが閉じられることを示すプロンプトが表示されたら、[はい] をクリックします。このプロセスは、完了するのに数分かかることがあります。対話型プロンプトを回避するには、以下のように入力します。
```
polyspacesetup('install', 'polyspaceFolder', Folder, 'silent', true);
```
MATLAB を再起動します。

スクリプトを使用して統合を実行することもできます。コマンドラインで -batch を使用して非対話形式で Polyspace と MATLAB を統合するを参照してください。

MATLAB と Polyspace のリンク解除と再リンク

MATLAB と統合できる Polyspace のインスタンスは 1 つのみです。Polyspace の別のインスタンスと統合するには、現在の統合をアンインストールします。MATLAB コマンドプロンプトで、次のように入力します。

polyspacesetup('uninstall')

このステップでは、MATLAB と Polyspace 間の統合のみがアンインストールされます。Polyspace のインスタンスをアンインストールするには、MathWorks インストーラーを使用します。

Polyspace より前のリリースの MATLAB

Polyspace と以前のリリースの MATLAB または Simulink とを統合することもできます。このようなリリース間統合では、同じリリースの統合と比べて、提供される機能が限定されています。リリース間ワークフローは次のようになります。

生成された C/C++ コードの Polyspace 解析を MATLAB コマンドウィンドウで実行できます。
モデルに組み込まれたカスタムコードや手書きのコードは解析できません。
Simulink エディターまたは MATLAB Coder アプリから Polyspace 解析を開始することはできません。

MATLAB および Simulink のさまざまなリリースについての Polyspace でのサポートを参照してください。

前提条件

リリース間統合を実行するには、次の条件を満たさなければなりません。

MATLAB または Simulink リリースが Polyspace リリースとのリリース間統合をサポートしていること。MATLAB および Simulink のさまざまなリリースについての Polyspace でのサポートを参照してください。
MATLAB または Simulink がまだ Polyspace と統合されていないこと。Polyspace が既に統合されているかどうかを判断するには、MATLAB と Polyspace の間の統合のチェックを参照してください。

Polyspace とリリース間 MATLAB または Simulink との統合

MATLAB を開きます。
MATLAB コマンドプロンプトで、次のように入力します。
```
polyspacesetup('install', 'polyspaceFolder', Folder)
```
ここでの FOLDER は Polyspace インストールフォルダーです。ワークスペースがクリアされて、開いているすべてのモデルが閉じられることを示すプロンプトが表示されたら、[はい] をクリックします。このプロセスは、完了するのに数分かかることがあります。対話型プロンプトを回避するには、以下のように入力します。
```
polyspacesetup('install', 'polyspaceFolder', Folder, 'silent', true);
```
MATLAB を再起動します。

コマンドラインプロンプトを使用することに加えて、スクリプトを使用して統合を実行することもできます。コマンドラインで -batch を使用して非対話形式で Polyspace と MATLAB を統合するを参照してください。

polyspacesetup('uninstall')

MATLAB と Polyspace の間の統合のチェック

MATLAB が Polyspace に既にリンクされているかどうかを判断するには、MATLAB を開いて次のように入力します。

ver

Polyspace が MATLAB と統合されている場合、インストールされている製品のリストに Polyspace 製品が表示されます。

MATLAB と Polyspace の統合では、Polyspace インストールサブフォルダーが MATLAB 検索パスに追加されます。追加されたパスを確認するには、次のように入力します。

polyspacesetup('showpolyspacefolders')

参考

polyspacesetup