メインコンテンツ

MATLAB Coder での Code Prover 解析

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

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

関数

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

トピック