メインコンテンツ

MATLAB スクリプトを使用した Code Prover 解析

MATLAB® M ファイルを使用した C/C++ コードの欠陥のチェック

MATLAB をスクリプト言語として使用する場合、MATLAB から Polyspace® を実行できます。最初に Polyspace と MATLAB をリンクする 1 回だけの設定を実行します。MATLAB や Simulink との Polyspace の統合を参照してください。

設定が完了したら、すべての Polyspace 関数を MATLAB から実行できます。特に、Polyspace 解析を実行し、結果を MATLAB table に読み取るように polyspace.Project オブジェクトを設定できます。

クラス

polyspace.Project C および C++ に対する Polyspace 解析の実行と結果の読み取り
polyspace.GenericTargetOptions汎用ターゲット構成の作成
polyspace.CodingRulesOptionsチェックするコーディング ルールのカスタム リストの作成
polyspace.CodeProverResultsPolyspace Code Prover の結果を MATLAB から読み取る

プロパティ

polyspace.Project.Configuration のプロパティオプション オブジェクト プロパティによる手書きコードの Polyspace 解析のカスタマイズ

関数

polyspacesetupPolyspace インストールと Simulink の統合
polyspacerootPolyspace インストール フォルダーの取得
polyspaceCodeProverPolyspace Code Prover 検証を MATLAB から実行
polyspaceConfigureMATLAB コマンド ラインでビルド システムから Polyspace プロジェクトを作成
polyspace_reportPolyspace 解析結果のレポートを生成

トピック