Code Prover の実行
Polyspace® Platform ユーザー インターフェイス内、スクリプトを使用して、またはその他の環境から、C/C++ コードのランタイム エラーをチェックする
Polyspace Code Prover™ を実行して、C/C++ コードのランタイム エラーを網羅的にチェックします。
ソース コードを Polyspace Platform プロジェクトに追加した後で Code Prover を実行するか、またはスクリプトを使用して自動的に実行できます。MATLAB® コードまたは Simulink® モデルから C/C++ コードを生成する場合は、これらの環境から直接 Code Prover を実行できます。
カテゴリ
- Polyspace Platform ユーザー インターフェイスでの Code Prover 解析
Polyspace Platform ユーザー インターフェイスでの C/C++ コードの欠陥のチェック
- Windows または Linux スクリプトを使用した Code Prover 解析
バッチ ファイル (.bat) またはシェル スクリプト (.sh) を使用した C/C++ コードのランタイム エラーのチェック
- MATLAB スクリプトを使用した Code Prover 解析
MATLAB M ファイルを使用した C/C++ コードの欠陥のチェック
- Simulink での Code Prover 解析
Simulink モデルにインポートされたコード、およびモデルから生成されたコードを検証します。
- クラスターでの Code Prover 解析
リモート クラスターでの C/C++ コードのランタイム エラーのチェック
- MATLAB Coder での Code Prover 解析
MATLAB コードから生成されたコードを検証する
- AUTOSAR コードの Code Prover 解析
AUTOSAR ソフトウェア コンポーネントのコード実装を検証する
