Documentation

View Graphical Results From Model Verification Library

Simulink® Test™ outputs graphical results of the Model Verification block library so you can use the Test Manager or Simulation Data Inspector to see when your test assessments pass and fail.

In addition to warnings or stop-simulation behavior, the graphical results show the block evaluation results during simulation. Viewing Model Verification block results graphically helps you to:

  • Determine the time step when a failure occurs.

  • Debug the model by comparing the verification result with relevant signals.

  • Trace failures from the results to the model.

This example shows how to view outputs from Model Verification blocks in the Test Manager or Simulation Data Inspector.

Open the Model

The model contains a verification subsystem Safety Properties that uses an Assertion block to check whether the system disengages if the brake has been applied for three time steps. The verification subsystem also uses Simulink® Design Verifier™ blocks.

open_system(fullfile(matlabroot,'examples','simulinktest',...
    'sltestCruiseControlDefective'))

Simulate the Model and View Results in SDI

sim('sltestCruiseControlDefective')

After the simulation completes, open SDI. The results show that the assertion failed at 0.23 seconds.

Simulink.sdi.view

Highlight Assertion Block in the Model

To find the assertion block in the model, right-click BrakeAssertion in SDI and select Highlight in Model. The block is highlighted in the verification subsystem.

Was this topic helpful?