Prepare Model for Test Generation Analysis
Prepare the model sldvexCruiseControl for test generation analysis by configuring model settings with Simulink® Design Verifier™ analysis.
Configure Model Settings
1. Open the model.
open_system("sldvexCruiseControl");
2. On the Apps tab, in the Apps gallery, select Design Verifier.
3. On the Design Verifier tab, in the Prepare section, from the drop-down menu for the mode settings, click Settings.
4. In the Configuration Parameters dialog box, select Solver pane. In the Solver selection section:
Set the Type option to
Fixed-step.Set the Solver option to
discrete (no continuous states).
Simulink Design Verifier analyzes only models that use a fixed-step solver. For more information, see Fixed Step Solvers in Simulink.
Check Compatibility of Model
When you analyze a model, Simulink Design Verifier performs a compatibility check first. The model is compatible for the analysis when compiles with no errors. If your model is not compatible, the software cannot analyze it.
You can check the compatibility of model before the analysis. In the Simulink Editor, on the Design Verifier tab, click Check Compatibility.
If the compatibility check indicates that your model is partially compatible, your model contains at least one object that Simulink Design Verifier does not support. You can analyze a partially compatible model, but the unsupported objects are stubbed out by default and the results of the analysis can be incomplete. For detailed information about automatic stubbing, see Handle Incompatibilities with Automatic Stubbing.
If the model is incompatible with Simulink Design Verifier, you can identify and fix the incompatibilities through the Diagnostic Viewer messages. For more information, see Systematic Diagnosis of Errors and Warnings.
