MATLAB および Simulink のさまざまなリリースについての Polyspace でのサポート
MATLAB® または Simulink® についての Polyspace® でのサポートは、リリースに応じて異なります。Polyspace は同じリリースの MATLAB と Simulink を完全にサポートし、これらのソフトウェアで完全統合を実現します。使用する Polyspace のリリースより前にリリースされた MATLAB と Simulink については、リリース間統合によってサポートされます。次の表を参照してください。
完全統合
MATLAB と Polyspace が同じリリースの場合、インストール後に polyspacesetup を呼び出して統合することができます。同じリリースの Polyspace と MATLABを参照してください。
次が可能です。
Simulink エディターまたはMATLAB コマンド ウィンドウから、モデルから生成された C/C++ コードまたはカスタム コードとしてモデルに組み込まれている C/C++ コードに Polyspace 解析を実行。Simulink ブロックへの注釈付けと、Polyspace ユーザー インターフェイスからモデルへ戻る操作。
Simulink での Code Prover 解析を参照してください。
MATLAB Coder™ アプリを使用して MATLAB コードから生成された C/C++ コードに Polyspace 解析を実行 (Embedded Coder® がある場合)。
MATLAB Coder での Code Prover 解析を参照してください。
MATLAB スクリプトを使用して手書きの C/C++ コードに Polyspace 解析を実行。
MATLAB スクリプトを使用した Code Prover 解析を参照してください。
リリース間統合
Polyspace と、R2020b より後のリリースの MATLAB または Simulink を統合できます。Polyspace より前のリリースの MATLABを参照してください。
このようなリリース間統合では提供される機能が限定されています。
Embedded Coder を使用して生成された C/C++ コードに対して Polyspace 解析を実行するために、MATLAB コマンド ウィンドウで以下の関数を呼び出す。
Polyspace ユーザー インターフェイスから Simulink モデルに戻る。
以下は実行できません。
Simulink エディターまたは MATLAB Coder アプリから生成されたコードの Polyspace 解析を開始する。
モデルに組み込まれたカスタム コードまたは手書きの C/C++ コードの Polyspace 解析を MATLAB コマンド ウィンドウで開始する。
MATLAB コードから生成された C/C++ コードの Polyspace 解析を MATLAB コマンド ウィンドウで開始する。
部分的統合
Polyspace と、R2020b より前のリリースの MATLAB または Simulink を部分的に統合できます。Polyspace より前のリリースの MATLABを参照してください。
このような部分的統合では提供される機能が限定されています。
Embedded Coder を使用して生成された C/C++ コードに対して Polyspace 解析を実行するために、MATLAB コマンド ウィンドウで以下の関数を呼び出す。
Polyspace ユーザー インターフェイスから Simulink モデルに戻る。
以下は実行できません。
Simulink エディターまたは MATLAB Coder アプリから生成されたコードの Polyspace 解析を開始する。
モデルに組み込まれたカスタム コードまたは手書きの C/C++ コードの Polyspace 解析を MATLAB コマンド ウィンドウで開始する。
MATLAB コードから生成された C/C++ コードの Polyspace 解析を MATLAB コマンド ウィンドウで開始する。
モデルへ戻る
Polyspace と MATLAB または Simulink を統合せずに、Polyspace ユーザー インターフェイスから Simulink モデルに戻ることができます。以下の条件に該当する場合、Polyspace は MATLAB および Simulink と統合されません。
MATLAB または Simulink のリリースが、Polyspace のリリースよりも新しい。
MATLAB または Simulink のリリースが、Polyspace よりも 4 リリースを超えて古い。
特定のリリースの MATLAB または Simulink と Polyspace は統合されません。次の表を参照してください。
Polyspace と MATLAB または Simulink を統合せずに、Polyspace ユーザー インターフェイスからモデルに戻るには、次の手順に従います。
コードで、Simulink モデルへのリンクとして機能するコメントを特定します。[ツール] 、 [基本設定] 、 [その他] タブで、コンテキスト メニュー [コードからモデルへのリンクとして機能するコード コメント] からコード生成ツールを選択します。Polyspace は、Embedded Coder、MATLAB Coder、TargetLink を認識します。それ以外のコード生成ツールを使用する場合は、[User Defined] を選択します。[コメントを開始] フィールドに、リンクとして機能するコード コメントの接頭辞を指定します。
Polyspace ユーザー インターフェイスの [ソース] ペインで、ハイパーリンクとして表示されるコード コメントをクリックします。
参考
polyspacesetup | pslinkrunCrossRelease
