Contenuto principale

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.

configure_test_generation_analysis_options.png

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.

analyze_model_for_generate_tests.png

After the analysis, Simulink Design Verifier generates Results window that shows the status of the analysis and the results.