polyspace.CodeProverResults
Polyspace Code Prover の結果を MATLAB から読み取る
説明
Polyspace®Code Prover™ の解析結果を、このオブジェクトを使用して MATLAB® table に読み取ります。結果の大まかな概要を入手することも、実行時チェックの各インスタンスなどの詳細を入手することもできます。
メモ
MATLAB から Polyspace を実行する前に、Polyspace インストールと MATLAB インストールをリンクしなければなりません。MATLAB や Simulink との Polyspace の統合を参照してください。
作成
構文
説明
resObj = polyspace.CodeProverResults(
では、Code Prover の結果の特定のセットを MATLAB table に読み取るためのオブジェクトが作成されます。このオブジェクトのメソッドを使用して結果を読み取ります。resultsFolder
)
proj = polyspace.Project; resObj = proj.Results;
は、Results
プロパティを使用して polyspace.Project
オブジェクトを作成します。Code Prover 解析を実行する場合、このプロパティは polyspace.CodeProverResults
オブジェクトです。
入力引数
オブジェクト関数
getSummary | 結果タイプ (Bug Finder) または色とファイル (Code Prover) で整理された Polyspace の結果の数を表示する |
getResults | Bug Finder または Code Prover の結果のすべてのインスタンスを表示する |
variableAccess | 読み取り/書き込み操作と C/C++ グローバル変数の表示 |
例
バージョン履歴
R2017a で導入