Configure Model Settings and Run Analysis
After you prepare the model for analysis, configure test case generation settings in the Configuration Parameters dialog box. Simulink® Design Verifier™ provides a set of model settings to control and customize the analysis of your model. You can use Design Verifier Pane or the sldvoptions
function to specify Simulink Design Verifier analysis settings.
By default, model settings for Simulink Design Verifier do not appear in the Configuration Parameters dialog box. When you open the Design Verifier app, Simulink Design Verifier associates its default settings with the model. After you save the model, you can access options for Simulink Design Verifier directly from the Configuration Parameters dialog box.
Configure Model Settings
Configure model settings for test generation analysis.
1. Open the model sldvexCruiseControl
. On the Design Verifier tab, in the Prepare section, click Test Generation Settings.
2. In the Configuration Parameters dialog box, on the Test Generation pane, set the Model coverage objectives parameter to Decision
. For this example, the analysis generates test cases that record only decision coverage.
3. The Test suite optimization parameter is set by default to Auto
. If you want to generate fewer but longer test cases, select LongTestcases
for the Test suite optimization parameter.
4. Click Apply and OK to save your changes.
Analyze Model to Generate Tests
On the Design Verifier tab, click Generate Tests. Simulink Design Verifier analyzes your model to generate test cases.
During the analysis, Results Summary window shows the progress of the analysis. It displays information such as the number of test objectives processed, objectives satisfied, and the elapsed time for the analysis.
After the analysis, Simulink Design Verifier generates Results window that shows the status of the analysis and the results.