La traduction de cette page n'est pas à jour. Cliquez ici pour voir la dernière version en anglais.
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
- 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.
