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.
verify statements and other operators
in a Test Assessment or Test Sequence
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.
|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|
|Test Manager||Model and code testing in different execution environments, manage test suites, and analyze and report results|
|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|
An overview of use cases and methods for assessing simulation behavior and
comparing simulation output to expected output, including signal comparison, custom
verify statements, and run-time assessments in the
Use temporal assessments to assess model timing and verify temporal signal logic in the System Under Test.
Learn about the types of logical and temporal assessments and their syntax.
Connect Test Assessment blocks to your model, author verify statements, and verify multiple conditions in the same time step.
verify statements in a single test step using
Operators and expressions used in Test Sequence and Test Assessment blocks and Stateflow® charts.
Wirelessly access signal and data information.
Specify value and time tolerances for baseline and equivalence criteria.