Test objective function for Stateflow charts and MATLAB Function blocks
This function has no output
and no impact on its parenting
function, other than any indirect
side effects of evaluating expr
. If you issue
this function from the MATLAB® command line, the function has
no effect.
Intersperse sldv.test
test objectives within
code or separate the objectives into a verification script.
The Test objectives option in the Test generation
pane applies to test objectives represented by the sldv.test
function
and by the Test Objective block.
Instead of using the sldv.test
function, you can insert a Test Objective block in your model. Using sldv.test
instead of a Test Objective block offers several benefits, described in
What is Test Case Generation?.
Proof Assumption | Proof Objective | sldv.assume
| sldv.condition
| sldv.prove
| Test Condition | Test Objective