Main Content

Simulink での Code Prover 解析

Simulink® モデルにインポートされたコード、およびモデルから生成されたコードを検証します。

cp

Polyspace® は、Simulink モデル内の潜在的なバグ、ランタイム エラー、およびコーディング規約違反を特定するために使用します。Polyspace は検証と妥当性確認処理の 2 つのステップで使用します。

コード生成前に、モデルのカスタム コードによって生じる可能性がある問題を検出して対処する。カスタム コードは、C function ブロック、C caller ブロック、および S function ブロックに含まれます。Simulink モデル内のカスタム コードに対する Polyspace 解析の実行を参照してください。

コード生成後に、モデルで見つかるコード特有の問題に関して生成されたコードを分析する。これには、モデルでテストされていない部分や誤ったコード生成オプションによるエラーなどがあります。Embedded Coder によって生成されたコードに対する Polyspace 解析の実行を参照してください。

Polyspace と MATLAB® を統合した後、Polyspace 解析を Simulink ツールストリップから直接実行するか、または MATLAB スクリプトを使用して Polyspace 解析を自動化することができます。MATLAB や Simulink との Polyspace の統合およびMATLAB スクリプトを使用した Polyspace 解析の実行を参照してください。あるいは、システム コマンド ラインで Simulink モデルからオプション ファイルを生成して、生成されたコードに対してそのオプション ファイルを使用して Polyspace 解析を実行します。パッケージ化オプション ファイルを使用した、生成コードに対する Polyspace 解析の実行を参照してください。

関数

polyspacesetupPolyspace インストールと Simulink の統合
pslinkrunCrossReleaseR2020b 以降のバージョンの Embedded Coder で生成された C/C++ コードを、Simulink バージョンよりも新しい、異なるバージョンの Polyspace を使用して解析する (R2021a 以降)
pslinkoptionsSimulink モデル、生成されたコード、または S-Function ブロックのコンフィギュレーションをカスタマイズするためのオプション オブジェクトを作成します。このオブジェクトを使用して、MATLAB コマンド ラインから実行する Polyspace でこれらの Simulink オブジェクトのコンフィギュレーション オプションを指定します。
pslinkrunモデル、システムまたは S-Function での Polyspace 解析の実行
pslinkfunコマンド ラインでのモデル解析の管理
polyspacePackNGoSimulink モデルから生成されたコードに対して Polyspace 解析を実行するためにオプション ファイルを生成してパッケージ化します。 (R2020b 以降)
polyspaceArtifactGenerate artifacts to run Polyspace analysis on code generated from Simulink model (R2024a 以降)

クラス

polyspace.ModelLinkOptions生成されたコードに対して Polyspace 解析を実行するためのプロジェクト構成オブジェクトの作成

プロパティ

pslinkoptions のプロパティpslinkoptions オブジェクトのプロパティ
polyspace.ModelLinkOptions のプロパティオプション オブジェクト プロパティによる生成されたコードの Polyspace 解析のカスタマイズ

モデル設定

すべて展開する

検証設定 (C)Settings to use for the Polyspace analysis of C code
検証設定 (C++)Settings to use for the Polyspace analysis
プロジェクト コンフィギュレーションSet advanced configuration options to customize analysis
入力Inport ブロックの変数を制約するかどうかを選択するオプション
調整可能なパラメーターOption to specify the assumed value of tunable parameter values during the analysis
出力出力変数が想定される範囲内に収まっているかどうかを確認するオプション
モデル参照の検証の深さDepth of model reference hierarchy for Polyspace analysis
モデルごとの検証Option to analyze each model or referenced model individually
モデル参照を無視Option to ignore specified model references (R2023b 以降)
モデル参照の入力/出力範囲の検証Option to verify that input and output of model references are within specified values (R2024a 以降)
出力フォルダーPath and folder name for your analysis results
接尾辞を追加して出力フォルダー名を固有にするOption to add a unique suffix to the results folder for every Polyspace run
検証後に結果を自動的に開くOption to open analysis results in Polyspace user interface after analysis completes
結果を現在の Simulink プロジェクトに追加Option to add your Polyspace results to current Simulink project
製品モードChoice between Polyspace Bug Finder and Polyspace Code Prover (R2021b 以降)
カスタム プロジェクト ファイルの使用Option to use custom configuration from a Polyspace project (.psprj) file
追加ファイル リストの有効化Option to add additional supporting code files to analysis
ルックアップ テーブルのスタブ化Option to stub autogenerated functions that use lookup tables with linear interpolation
S-Function のすべての出現箇所を検証するOption to analyze all instances of selected S-Function block
検証前にコンフィギュレーションをチェックOption to check model and code configurations for errors before code analysis

トピック

設定

生成されたコードの解析

カスタム コードの解析

詳細構成

生成されたコードの解析方法

関連情報