Assess Model Simulation Using
You can verify model simulation by including a Test Assessment block in
your model or test harness, and authoring
verify statements in the
Test Assessment block.
verify statements return
for both the overall simulation and individual time steps. Results appear in the Test
verify Statements in the Test Assessment Block
The Test Assessment contains a
When decomposition sequence helps you clearly define
the simulation condition that activates each
If your model uses a Test Sequence block source, consider activating each
verifystatement using the active Test Sequence block step.
If your model does not use a Test Sequence block source, or your test sequence steps do not correspond with conditions to verify, activate each
verifystatement using a signal condition.
verify Statements with Test Sequence Steps
Connect the Test Sequence and Test Assessment block
with the active step signal from the Test Sequence block. Activate
verify statement with the active step.
For example, this test harness contains a Test Sequence and
Test Assessment block. The blocks are connected by the
The Test Assessment block contains a
decomposition sequence with four substeps. Each contains a
statement and is activated with a different Test Sequence block step.
Else step has no actions
and handles simulation conditions outside of the preceding
conditions. The accepted syntax for such a step is
verify statements in a Test
Assessment with active steps in a Test Sequence
Create active step data output for the Test Sequence block.
Select the Test Sequence block.
Create a new enumerated data output. In the Property Inspector, select Create data to monitor the active step and set the Data Type to
Enter a name in Enum name.
Create a data input for the Test Assessment block:
Open the Test Assessment block.
In the Symbols pane, hover next to Input, then click Add data .
Name the input.
In the block diagram, connect the Test Sequence block output to the Test Assessment block input.
Whendecomposition sequence in the Test Assessment block.
The Test Assessment block is configured by default with a
Whendecomposition sequence. To change between a standard sequence and a
Whendecomposition sequence, right-click the parent step and select When decomposition.
Whendecomposition step, define when the step is active by using the active step enumeration data. For example:
VerifyBoth when TSActiveStepIN == ... Test_Sequence_Active_Step_Enum.PressBothButtons
verifystatements to each assessment step.
verify Statements with Signal Conditions
If your model does not use a Test Sequence block source, or if Test
Sequence steps do not correspond with conditions to verify, use unique signal
conditions to activate
verify statements. Place
verify statements in a
sequence, and use conditional statements in the
For example, this test harness uses a Signal Editor block input.
The Test Assessment block contains a
decomposition sequence. Each substep contains a
A unique signal condition activates each substep.
verify statements evaluate logical expressions. You can label
results in the Test Manager with optional arguments.
verify statement returns a
untested result for each time step
and for the overall simulation. A
fail at any
time step results in an overall
there are no failing
pass at any time step results in an
pass. Otherwise, the overall result is
untested. Results appear in the Verify
Statements section of the test results. For details on
verify syntax and considerations for using it, see the verify
In this comparison of two values, the parent step uses
statements to assess two local variables
y during the simulation.
verify(x >= y)passes overall because it is true for the entire test sequence.
verify(x == y)and
verify(x ~= y)fail because they fail in
The Test Manager displays the results: