Main Content

sldvhighlight

Highlight model using data from Simulink Design Verifier analysis

Description

example

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.

example

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.

example

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

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

Examples

collapse all

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

Open the sldvdemo_debounce_modelcov example model.

open_system('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 a specified model that has active Simulink Design Verifier analysis results.

Open the sldvdemo_debounce_modelcov example model.

open_system('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 a specified model that has Simulink Design Verifier analysis results, loaded from a data file.

Open the sldvdemo_debounce_modelcov example model.

open_system('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

collapse all

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

Example: 'sldvdemo_cruise_control'

Example: 'sldvdemo_flipflop'

Name of Simulink Design Verifier analysis data file.

For more information about analysis data files, see 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'

Name of the analysis filter file that contains the justification rules.

Example: 'sldvdemo_design_error_detection_sldv_filter.cvf'

Introduced in R2013b