sldvhighlight

Simulink Design Verifier 解析のデータを使用してモデルを強調表示する

構文

sldvhighlight

sldvhighlight(model)

sldvhighlight(model, dataFile)

sldvhighlight(model, dataFile, filterFiles)

説明

sldvhighlight は、アクティブな Simulink^® Design Verifier™ 解析結果によって、現在のモデルを強調表示します。アクティブな結果がない場合は、sldvhighlight は現在のモデルに関する最新の解析結果を読み込み、これらの結果を使用してモデルを強調表示します。

sldvhighlight(model) は、アクティブな Simulink Design Verifier 解析結果を使用して model を強調表示します。アクティブな結果がない場合は、sldvhighlight は model に関する最新の解析結果を読み込み、これらの結果を使用してモデルを強調表示します。

sldvhighlight(model, dataFile) は、dataFile から Simulink Design Verifier の解析結果を読み込みます。この関数は、これらの結果を使用して model を強調表示します。

sldvhighlight(model, dataFile, filterFiles) は、dataFile および解析フィルター ファイル filterFiles から Simulink Design Verifier の解析結果を読み込みます。この関数は、これらの結果を使用して model を強調表示します。

例

現在のモデルでアクティブな解析結果を強調表示する

アクティブな Simulink Design Verifier 解析結果をもつ現在のモデルを強調表示します。

sldvdemo_debounce_modelcov モデル例を開きます。

openExample('sldv/ModelCoverageTestGenerationExample',...
'supportingFile', 'sldvdemo_debounce_modelcov');

既定の設定を使用して、モデル例でテスト生成解析を実行します。

status = sldvrun('sldvdemo_debounce_modelcov')

Checking compatibility for test generation: model 'sldvdemo_debounce_modelcov'
Compiling model...done
Building model representation...done

'sldvdemo_debounce_modelcov' is compatible for test generation with Simulink Design Verifier.

Generating tests using model representation from 15-Mar-2019 13:12:06...
...................

Completed normally.

Generating output files:

    Harness model:
    pwd\sldv_output\sldvdemo_debounce_modelcov\sldvdemo_debounce_modelcov_harness.slx

Results generation completed.

    Data file:
    pwd\sldv_output\sldvdemo_debounce_modelcov\sldvdemo_debounce_modelcov_sldvdata.mat

status =

     1

現在のモデル sldvdemo_debounce_modelcov において解析結果を強調表示します。

sldvhighlight

解析結果に基づいてモデル例が強調表示されます。

モデル内の強調表示されているオブジェクトをクリックして、結果インスペクターでそのオブジェクトの詳細な解析結果を表示します。

指定されたモデルでアクティブな解析結果を強調表示する

アクティブな Simulink Design Verifier 解析結果をもつ、指定されたモデルを強調表示します。

sldvdemo_debounce_modelcov モデル例を開きます。

openExample('sldv/ModelCoverageTestGenerationExample',...
'supportingFile', 'sldvdemo_debounce_modelcov');

モデルに対して、既定の設定を使用してテスト生成解析を実行します。

status = sldvrun('sldvdemo_debounce_modelcov')

Checking compatibility for test generation: model 'sldvdemo_debounce_modelcov'
Compiling model...done
Building model representation...done

'sldvdemo_debounce_modelcov' is compatible for test generation with Simulink Design Verifier.

Generating tests using model representation from 15-Mar-2019 13:12:06...
...................

Completed normally.

Generating output files:

    Harness model:
    pwd\sldv_output\sldvdemo_debounce_modelcov\sldvdemo_debounce_modelcov_harness.slx

Results generation completed.

    Data file:
    pwd\sldv_output\sldvdemo_debounce_modelcov\sldvdemo_debounce_modelcov_sldvdata.mat

status =

     1

sldvdemo_debounce_modelcov モデルで解析結果を強調表示します。

sldvhighlight('sldvdemo_debounce_modelcov')

解析結果に基づいてモデル例が強調表示されます。

モデル内の強調表示されているオブジェクトをクリックして、結果インスペクターでそのオブジェクトの詳細な解析結果を表示します。

データ ファイルの解析結果をモデルで強調表示する

データ ファイルから読み込まれた Simulink Design Verifier 解析結果をもつ、指定されたモデルを強調表示します。

sldvdemo_debounce_modelcov モデル例を開きます。

openExample('sldv/ModelCoverageTestGenerationExample',...
'supportingFile', 'sldvdemo_debounce_modelcov');

モデル例に対し、既定の設定を使用してテスト生成解析を実行します。

status = sldvrun('sldvdemo_debounce_modelcov')

Checking compatibility for test generation: model 'sldvdemo_debounce_modelcov'
Compiling model...done
Building model representation...done

'sldvdemo_debounce_modelcov' is compatible for test generation with Simulink Design Verifier.

Generating tests using model representation from 15-Mar-2019 13:12:06...
...................

Completed normally.

Generating output files:

    Harness model:
    pwd\sldv_output\sldvdemo_debounce_modelcov\sldvdemo_debounce_modelcov_harness.slx

Results generation completed.

    Data file:
    pwd\sldv_output\sldvdemo_debounce_modelcov\sldvdemo_debounce_modelcov_sldvdata.mat

status =

     1

モデル例と解析で作成されたハーネス モデルを閉じます。

bdclose('sldvdemo_debounce_modelcov')
bdclose('sldvdemo_debounce_modelcov_harness')

モデル例を再度開きます。

open_system('sldvdemo_debounce_modelcov')

解析結果をもつモデル例を強調表示します。解析結果は解析で作成されたデータ ファイルに格納されています。

sldvhighlight('sldvdemo_debounce_modelcov',[pwd ...
'\sldv_output\sldvdemo_debounce_modelcov\' ...
'sldvdemo_debounce_modelcov_sldvdata.mat'])

Simulink Design Verifier 結果インスペクターが開きます。モデルが強調表示され、解析の結果が示されます。

モデルの強調表示されているオブジェクトをクリックして、結果インスペクターでそのオブジェクトの詳細な解析結果を表示します。

入力引数

model — 強調表示するモデルの名前またはハンドル

文字ベクトル | string スカラー

強調表示するモデルの名前またはモデルのハンドル。

例: 'sldvdemo_cruise_control'

例: 'sldvdemo_flipflop'

dataFile — 解析データのファイル名

文字ベクトル | string スカラー

Simulink Design Verifier 解析データ ファイルの名前。

解析データ ファイルの詳細は、Simulink Design Verifier データ ファイルの管理を参照してください。

例: 'results.mat'

例: 'sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat'

例: 'sldv_output\my_model\my_model_sldvdata.mat'

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

文字ベクトル | string スカラー | 文字ベクトルの cell 配列 | string 配列

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

例: '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'}

バージョン履歴

R2013b で導入

参考

sldvloadresults | sldvreport

トピック

• モデルにおける結果の強調表示
• Simulink Design Verifier データ ファイルの管理