Uso de herramientas y procesamiento de resultados
El uso de herramientas y el procesamiento de resultados comprenden los pasos y las metodologías utilizadas para aplicar la herramienta al análisis, verificación y validación de modelos, así cómo interpretar y utilizar los resultados generados por la herramienta. El uso eficaz de Simulink® Design Verifier™ y el procesamiento de sus resultados permite mejorar la fiabilidad y solidez de los modelos, lo que resulta en sistemas y productos más fiables.
Temas
- 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.
