Assessments and Criteria

Logical and temporal verification, data comparison, specialized results processing

Functional testing includes assessing simulation behavior and comparing simulation data to expected results. You can assess simulation behavior by:

Using temporal and logical assessments in a test case.
Including verify statements and other operators in a Test Assessment or Test Sequence block.
Using blocks from the Model Verification library.

You can assess simulation data by:

Using value or time tolerances when comparing simulation data to baseline data.
Using a custom criteria script to process simulation data.

For an overview of the different verification methods, see Assess Simulation and Compare Output Data.

Blocks

Observer Reference	Create and contain an Observer model
Observer Port	Wirelessly link signals to use with verification
Test Assessment	Assess simulation testing scenarios, function calls, and assessments
Sequence Viewer	Display messages, events, states, transitions, and functions between blocks during simulation
Assertion	Check whether signal is zero

Tools

Test Manager

Model and code testing in different execution environments, manage test suites, and analyze and report results

Test Sequence Syntax Operators

verify	Assess logical expression
assert	Evaluate logical expression
et	Elapsed time of test step
t	Elapsed time of simulation
after	Elapsed time since beginning of test step
before	Elapsed time until specified time in test step
duration	Elapsed time since beginning of test step
hasChanged	Detect data change in test step
hasChangedFrom	Detect data change from specified value in test step
hasChangedTo	Detect data change to specified value in test step
square	Square wave test signal
sawtooth	Sawtooth wave test signal
triangle	Triangle wave test signal
ramp	Ramp signal for test signal generation
heaviside	Heaviside step test signal
latch	Save value of an expression

Topics

Assess Simulation and Compare Output Data

An overview of use cases and methods for assessing simulation behavior and comparing simulation output to expected output, including signal comparison, custom criteria, verify statements, and run-time assessments in the model.

Assess Temporal Logic by Using Temporal Assessments

Use temporal assessments to assess model timing and verify temporal signal logic in the System Under Test.

Logical and Temporal Assessment Syntax

Learn about the types of logical and temporal assessments and their syntax.

Assess Model Simulation Using verify Statements

Connect Test Assessment blocks to your model, author verify statements, and verify multiple conditions in the same time step.

Verify Multiple Conditions at a Time

Including multiple verify statements in a single test step using if statements.

Test Sequence and Assessment Syntax

Operators and expressions used in Test Sequence and Test Assessment blocks and Stateflow^® charts.

Access Model Data Wirelessly by Using Observers

Wirelessly access signal and data information.