Solucionar incompatibilidades de modelos o tiempos de espera en el análisis
Ajuste el modelo, parámetros del modelo u opciones de análisis para optimizar el analizar del modelo
Antes de iniciar un análisis, puede ejecutar una comprobación de compatibilidad en el modelo. El modelo es compatible con el análisis cuando:
El modelo se compila en un formato ejecutable.
El modelo es compatible con la generación de código.
El modelo realiza una simulación de cero segundos sin errores; es decir, el tiempo de inicio y fin de la simulación es
0.
Si el modelo es incompatible, puede identificar y solucionar las incompatibilidades con los mensajes de Diagnostic Viewer. Puede utilizar los resultados de Test Generation Advisor para comprender mejor el modelo, especialmente modelos grandes, modelos complejos o cuando exista incertidumbre sobre la compatibilidad del modelo con Simulink® Design Verifier™.
Temas
Comenzar aquí
- Bottom-Up Approach to Model Analysis
Explains the benefits of analyzing a model starting with low-level elements. - Reuse Model Representation for Analysis
Describes model representation that Simulink Design Verifier uses for analysis. - Configure Model Representation Options
Describes how to configure model representation options. Simulink Design Verifier uses for analysis. - Use Test Generation Advisor to Identify Analyzable Components
Use the Test Generation Advisor to guide model and component analysis.
Configuración de parámetros
- Use Parameter Configuration in Analysis
Overview of parameter configuration for Simulink Design Verifier analysis. - Specify Parameter Configuration for Full Coverage
An example of how to specify parameter constraint values to achieve full model coverage. - Specify Parameter Configuration for Structure or Bus Parameters
This example describes how to generate tests that constrain the values for the structures and bus signals in a model.
Solucionar incompatibilidades de modelos
- Handle Incompatibilities with Automatic Stubbing
How to use automatic stubbing. - Analyze Test Harness with Schedule for Initialize, Reset, Reinitialize, and Terminate Functions
Analyze model that contains schedules for Initialize, Reinitialize, Reset, and Terminate ports. (Desde R2024b) - Configuring S-Function for Test Case Generation
This example shows how to compile an S-Function to be compatible with Simulink® Design Verifier™ for test case generation.
Solucionar tiempos de espera en el análisis
- Share Simulink Cache File for Faster Analysis
Use Simulink cache files to share and reuse the model representation for analysis. - Run Additional Analysis to Reduce Instances of Rational Approximation
This example shows how to reduce the instances of rational approximation by running additional analysis. - Prove Properties in Large Models
Describes workflows and best practices for proving properties in large models. - Increase Allocated Memory for Analysis Report Generation
Explains how to increase the amount of memory so the software can create reports for large models. - Manage Model Data to Simplify the Analysis
Simplify your model to simplify the Simulink Design Verifier analysis. - Perform Analysis on Large Models
Describes techniques for analyzing a large model.
