sldvhighlight
Simulink Design Verifier 解析のデータを使用してモデルを強調表示する
構文
説明
sldvhighlight
は、アクティブな Simulink® Design Verifier™ 解析結果によって、現在のモデルを強調表示します。アクティブな結果がない場合は、sldvhighlight
は現在のモデルに関する最新の解析結果を読み込み、これらの結果を使用してモデルを強調表示します。
sldvhighlight(
は、アクティブな Simulink Design Verifier 解析結果を使用して model
)model
を強調表示します。アクティブな結果がない場合は、sldvhighlight
は 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 で導入
MATLAB コマンド
次の MATLAB コマンドに対応するリンクがクリックされました。
コマンドを MATLAB コマンド ウィンドウに入力して実行してください。Web ブラウザーは MATLAB コマンドをサポートしていません。
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list:
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)