Main Content

sldvhighlight

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

説明

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

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

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 結果インスペクターが開きます。モデルが強調表示され、解析の結果が示されます。

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

入力引数

すべて折りたたむ

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

例: 'sldvdemo_cruise_control'

例: 'sldvdemo_flipflop'

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

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

例: 'results.mat'

例: 'sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat'

例: 'sldv_output\my_model\my_model_sldvdata.mat'

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

例: '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 で導入