Utilisation des outils et traitement des résultats
L’utilisation d’outils et le traitement des résultats impliquent de recourir aux étapes et méthodologies utilisées pour appliquer l’outil à l’analyse, à la vérification et à la validation du modèle, ainsi que la manière d’interpréter et d’utiliser les résultats générés par l’outil. En utilisant efficacement Simulink® Design Verifier™ et en traitant ses résultats, vous pouvez améliorer la fiabilité et la robustesse des modèles, ce qui se traduit par des systèmes et des produits plus fiables.
Rubriques
- 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.