MATLAB Coder での Code Prover 解析
MATLAB® コードから生成されたコードを検証する
MATLAB Coder™ アプリまたは codegen
を使用して C/C++ コードを MATLAB コードから生成した後、生成されたコードでランタイム エラーをチェックするように Polyspace® Code Prover™ を構成できます。
関数
pslinkoptions | オプション オブジェクトを作成して、Simulink モデルの生成コードまたはカスタム コードの Polyspace 解析をカスタマイズする |
pslinkrun | モデル、システムまたは S-Function での Polyspace 解析の実行 |
トピック
- MATLAB コードから生成された C/C++ コードに対する Polyspace の実行
生成されたコードに対して Polyspace を実行してランタイム エラーをチェックする。
- MATLAB Coder を使用して生成されたコードに対する Polyspace 詳細オプションの構成
コード メトリクスの計算やコンパイラのオプションなどの詳細な Polyspace 解析オプションを設定する。