Tool Usage and Result Processing
Tool usage and result processing involve the steps and methodologies used to apply the tool for model analysis, verification, and validation, as well as how to interpret and utilize the results generated by the tool. By effectively using Simulink® Design Verifier™ and processing its results, you can enhance the reliability and robustness of the models, leading to more reliable systems and products.
Topics
- Simulink Design Verifier Analysis Fundamentals
Explore Simulink Design Verifier analysis.
- Set Simulink Design Verifier Analysis Options
Overview of the 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.
