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 解析オプションを設定する。