Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.
Analizar modelos o subsistemas
Prepare modelos o subsistemas para su análisis y ejecútelo
Utilice Simulink® Design Verifier™ para guiar el proceso de diseño mientras crea el modelo. Compruebe la compatibilidad de un modelo existente. Solucione limitaciones de compatibilidad del modelo o personalice elementos del modelo para el análisis. Detecte errores de diseño, y genere casos de prueba o demuestre propiedades del modelo.
Funciones
sldvcompat | Check model for compatibility with analysis |
sldvextract | Extract subsystem or subchart contents into new model for analysis |
sldvisactive | Verify updating of a block diagram |
sldvoptions | Create Simulink Design Verifier options object |
sldvtimer | Identify, change, and display timer optimizations |
sldvrun | Analyze model |
sldvexporttoversion | Exports a data file for use in a previous version of Simulink Design Verifier (Desde R2024a) |
Temas
Analizar un modelo o subsistema
- Understanding Analysis Modes for Model Verification
Analyze a simple model that demonstrates Simulink Design Verifier capabilities. - Perform Analysis on a Model
Analyze a simple example model with Simulink Design Verifier. - Use Parameter Configuration in Analysis
Parameter configuration for Simulink Design Verifier analysis. - Model Advisor Checks for Analysis
Describes Model Advisor checks for Simulink Design Verifier analysis. - Analyze Coverage for Lookup Table Boundary Values
Describes how to generate tests for lookup table boundary value coverage. - Analyze Export-Function Models
Analyze an export-function models by using Simulink Design Verifier. - Analyze Export-Function Model with Global Simulink Function
Analyze an export-function model with global Simulink function by using Simulink Design Verifier. - Analyze Export-Function Model with Function-Call Subsystems
Analyze an export-function model with function-call subsystems by using Simulink Design Verifier. - Analyze AUTOSAR Component Models
Analyze AUTOSAR component models for the Classic Platform. - Inspect Test Generation Objectives by Using Model Slicer
Inspect Test Generation Objectives using Model Slicer.