このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

MATLAB Coder での Code Prover 解析

MATLAB® コードから生成されたコードを検証する

MATLAB Coder™ アプリまたは codegen を使用して C/C++ コードを MATLAB コードから生成した後、生成されたコードでランタイム エラーをチェックするように Polyspace® Code Prover™ を構成できます。

関数

pslinkoptionsオプション オブジェクトを作成して、Simulink モデルの生成コードまたはカスタム コードの Polyspace 解析をカスタマイズする
pslinkrunモデル、システムまたは S-Function での Polyspace 解析の実行

トピック

関連情報