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
verifyStatements 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
verify statement 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
verify statement using a signal condition.
verifyStatements 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.
When decomposition sequence in the Test
The Test Assessment block is configured by default with a
When decomposition sequence. To change
between a standard sequence and a
decomposition sequence, right-click the parent step and select
When decomposition 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
verify statements to each assessment
verifyStatements 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: