To generate test cases for your model, use the following workflow.
|Task||Description||For an example, see|
Verify that your model is compatible for use with Simulink® Design Verifier™.
Optionally, use the Test Generation Advisor to select model components (atomic subsystems and model blocks) for test generation. Before test generation, you can use the results to better understand your model, particularly large models, complex models, or models for which you are uncertain of the test generation compatibility.
If you have Stateflow® objects in your
model, in the Configuration Parameters dialog box, on the Diagnostics > Stateflow pane, set Unreachable execution path to
Optionally, instrument your model with blocks or MATLAB® functions that specify test objectives and test conditions.
Specify options that control how Simulink Design Verifier generates test cases for your model.
Execute the Simulink Design Verifier analysis.
Review the analysis results.