sldvhighlight

Highlight model using data from Simulink Design Verifier analysis

Syntax

sldvhighlight

sldvhighlight(model)

sldvhighlight(model, dataFile)

sldvhighlight(model, dataFile, filterFiles)

Description

sldvhighlight highlights the current model by using its active Simulink^® Design Verifier™ analysis results. If there are no active results, sldvhighlight loads the latest analysis results for the current model, and then highlights the model by using these results.

sldvhighlight(model) highlights model by using its active Simulink Design Verifier analysis results. If there are no active results, sldvhighlight loads the latest analysis results for the model, and then highlights the model by using these results.

sldvhighlight(model, dataFile) loads the Simulink Design Verifier analysis results from dataFile. The function highlights model by using these results.

sldvhighlight(model, dataFile, filterFiles) loads the Simulink Design Verifier analysis results from dataFile and the analysis filter files from filterFiles. The function highlights model by using these results.

Examples

Highlight Active Analysis Results on Current Model

Highlight the current model that has active Simulink Design Verifier analysis results.

Open the sldvdemo_debounce_modelcov example model.

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

Using the default settings, run test generation analysis on the example model.

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

Highlight the results of the analysis on the current model, sldvdemo_debounce_modelcov.

sldvhighlight

The example model is highlighted with the analysis results.

To view the detailed analysis results for the object in the Results Inspector, click a highlighted object in the model.

Highlight Active Analysis Results on Specified Model

Highlight a specified model that has active Simulink Design Verifier analysis results.

Open the sldvdemo_debounce_modelcov example model.

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

Using the default settings, run the test generation analysis on the model.

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

Highlight the results of the analysis on sldvdemo_debounce_modelcov model.

sldvhighlight('sldvdemo_debounce_modelcov')

The example model is highlighted with the analysis results.

To view the detailed analysis results for the object in the Results Inspector, click a highlighted object in the model.

Highlight Analysis Results from Data File on a Model

Highlight a specified model that has Simulink Design Verifier analysis results, loaded from a data file.

Open the sldvdemo_debounce_modelcov example model.

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

Using the default settings, run the test generation analysis on the example model.

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

Close the example model and the harness model that the analysis produced.

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

Reopen the example model.

open_system('sldvdemo_debounce_modelcov')

Highlight the example model that has analysis results, stored in the data file that the analysis created.

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

The Simulink Design Verifier Results Inspector opens. The model is highlighted to show the results of the analysis.

To view the detailed analysis results for the object in the Results Inspector, click highlighted object in the model.

Input Arguments

model — Name or handle of model to highlight

character vector | string scalar

Name of the model or handle of the model to highlight.

Example: 'sldvdemo_cruise_control'

Example: 'sldvdemo_flipflop'

dataFile — Name of analysis data file

character vector | string scalar

Name of Simulink Design Verifier analysis data file.

For more information about analysis data files, see Manage Simulink Design Verifier Data Files.

Example: 'results.mat'

Example: 'sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat'

Example: 'sldv_output\my_model\my_model_sldvdata.mat'

filterFiles — Names of analysis filter files with justification rules

character vector | string scalar | cell array of character vector | string array

Names of analysis filter files that contain the justification rules.

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

Version History

Introduced in R2013b