Tool Usage and Result Processing
Simulink® Design Verifier™ involves configuring the tool to analyze, verify, and validate models, and then interpreting the results it produces. Begin by configuring the tool to target specific verification or validation workflow.
After the analysis completes, Simulink Design Verifier provides detailed reports, coverage metrics, and diagnostic messages to help you understand how the model behaves under various conditions.
By addressing these results, you can iteratively improve model quality, enhance test completeness, and ensure compliance with safety and regulatory standards.
Topics
- Analyze Model and Interpret Results
Explore basics of Simulink Design Verifier analysis.
- Configure Analysis Options for Model
Specify Simulink Design Verifier options in the Configuration Parameters dialog box.
- Design Verifier Pane: Test Generation
Specify options that control how Simulink Design Verifier generates tests for the models it analyzes.
- Export Test Cases to Simulink Test
Describes how to generate test cases in Simulink Test™ using Simulink Design Verifier analysis results, which can be generated by property proving, design error detection, and test case generation.
- Inspect Test Generation Objectives by Using Model Slicer
Inspect Test Generation Objectives using Model Slicer.
