Verwendung des Tools und Verarbeitung der Ergebnisse
Die Verwendung des Tools und die Verarbeitung der Ergebnisse umfassen die Schritte und Methoden, die zur Anwendung des Tools für die Modellanalyse, Verifikation und Validierung verwendet werden, sowie die Interpretation und Nutzung der vom Tool generierten Ergebnisse. Durch den effektiven Einsatz von Simulink® Design Verifier™ und die Verarbeitung der Ergebnisse können Sie die Zuverlässigkeit und Robustheit der Modelle verbessern, was zu zuverlässigeren Systemen und Produkten führt.
Themen
- 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.