Utilizzo degli strumenti ed elaborazione dei risultati
L'utilizzo degli strumenti e l'elaborazione dei risultati comprendono le fasi e le metodologie utilizzate per applicare lo strumento all'analisi, alla verifica e alla validazione del modello, nonché le modalità di interpretazione e di utilizzo dei risultati generati dallo strumento. Utilizzando efficacemente Simulink® Design Verifier™ ed elaborando i risultati prodotti, è possibile migliorare l'affidabilità e la robustezza dei modelli, ottenendo sistemi e prodotti più affidabili.
Argomenti
- 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.
