sldvreport

Simulink Design Verifier レポートを生成する

ページ内をすべて折りたたむ

構文

[status, reportFilePath] = sldvreport(sldvData)
[status, reportFilePath] = sldvreport(sldvData, options)
[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath)
[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath, showUI)
[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath, showUI, FORMAT)
[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath, showUI, FORMAT, filterFiles)

説明

[status, reportFilePath] = sldvreport(sldvData) は、sldvData に含まれるデータから完全な HTML レポートを生成します。sldvData は、sldvrun によって生成されたもの、または sldvData へのファイル パスのいずれかです。sldvreport がレポートを作成する場合、status は true を返します。reportFilePath には HTML レポートの実際の名前が含まれます。

[status, reportFilePath] = sldvreport(sldvData, options) は、指定されたオプションに基づいて sldvData に含まれるデータ、または sldvData へのファイル パスから完全な HTML レポートを生成します。options は cell 配列です。

[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath) は、指定されたオプションに基づいて sldvData に含まれるデータ、または sldvData へのファイル パスから完全な HTML レポートを生成し、reportFilePath の場所に保存します。

[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath, showUI) は、指定されたオプションに基づいて sldvData、または sldvData へのファイル パスから完全な HTML レポートを生成し、reportFilePath の場所に保存します。showUI が true の場合、ソフトウェアのユーザー インターフェイスにはレポート生成のステータスが表示されます。

[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath, showUI, FORMAT) は、指定されたオプションに基づいて sldvData、または sldvData へのファイル パスから、指定の FORMAT で完全なレポートを生成し、reportFilePath の場所に保存します。showUI が true の場合、ソフトウェアの UI にはレポート生成のステータスが表示されます。

例

[status, reportFilePath] = sldvreport(sldvData, options, reportFilePath, showUI, FORMAT, filterFiles) は、解析フィルター ファイル filterFiles で指定された正当化規則と、sldvData または sldvData へのファイル パスを適用することにより、指定された FORMAT で完全なレポートを生成します。

例

すべて折りたたむ

モデルを解析し、sldvreport を使用して Simulink® Design Verifier™ 解析レポートの PDF を作成します。

sldvdemo_cruise_control モデル例を開きます。

openExample('sldv/CruiseControlTestGenerationExample',...
'supportingFile', 'sldvdemo_cruise_control');

sldvoptions を設定し、解析結果の PDF バージョンを作成します。

opts = sldvoptions;                      
opts.Mode = 'TestGeneration';           
opts.SaveReport = 'off';                                        
[status, files ] = sldvrun('sldvdemo_cruise_control', opts); 
[status, reportFilePath] = sldvreport(files.DataFile, ...
 {'summary','objectives'}, 'C:\work\sldvdemo_cruise_control_report', false, 'PDF');

入力引数

すべて折りたたむ

sldvrun によって生成されたデータ、または解析結果を含むデータ ファイルのパス。

レポートの次のオプションを指定する cell 配列。

フィールド説明

summary

レポートの概要を含めます。

既定の設定: false

objectives

テスト オブジェクティブ データを含めます。

既定の設定: true

objects

すべてのモデル オブジェクトに関するデータを含めます。

既定の設定: true

testcases

生成されたすべてのテスト ケースに関するデータを含めます。

既定の設定: true

properties

証明または反証されたすべてのプロパティに関するデータを含めます。

既定の設定: true

生成されたレポートのパスおよびファイル名。

解析時にメッセージを表示する場所を示す logical 値。

true の場合、ログ ウィンドウにメッセージを表示します。
false の場合 ("既定")、MATLAB® コマンド ウィンドウにメッセージを表示します。

レポートを HTML、PDF のいずれか、またはその両方で生成するかを示すエントリ。

'HTML' (既定) は HTML 形式のレポートを生成します。
'PDF' は PDF バージョンのレポートを生成します。
{'HTML', 'PDF'} は HTML および PDF の形式のレポートを生成します。

このパラメーターは大文字と小文字を区別します。このパラメーターには大文字のみを使用してください。

正当化規則を含む解析フィルター ファイルの名前。

例: 'sldvdemo_design_error_detection_sldv_filter.cvf', 'sldvdemo_design_error_detection_sldv_filter.cvf; sldvdemo_design_error_detection_sldv_filter1.cvf', {'sldvdemo_design_error_detection_sldv_filter.cvf', 'sldvdemo_design_error_detection_sldv_filter1.cvf'}

出力引数

すべて折りたたむ

操作によって解析レポートを作成する場合、sldvreport は status に true を返します。それ以外の場合は、false を返します。

生成された HTML レポートのパスおよびファイル名。

代替方法

Simulink Design Verifier ソフトウェアは、モデルを解析した後に HTML レポートを作成します。[コンフィギュレーション パラメーター] ダイアログ ボックスの [Design Verifier] 、 [レポート] ペインで、[結果のレポートを生成] を選択します。PDF のレポートを保存する場合、[追加レポートを PDF 形式で生成] を選択します。

バージョン履歴

R2009b で導入

参考

|

トピック