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
- 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.
