Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.
Solucionar incompatibilidades de modelos o tiempos de espera en el análisis
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
- Configure Model Representation and Continue Analysis
Configure model representation options. - 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
Parameter configuration for Simulink Design Verifier analysis. - Specify Parameter Configuration for Full Coverage
Specify parameter constraint values to achieve full model coverage. - Specify Parameter Configuration for Structure or Bus Parameters
Generate tests that constrain the values for the structures and bus signals in a model.
Solucionar incompatibilidades de modelos
- Handle Model Complexities with Automatic Stubbing
How Simulink Design Verifier uses automatic stubbing to handle model complexities. - Analyze Test Harness with Schedule for Initialize, Reset, Reinitialize, and Terminate Functions
Analyze a 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
Reduce the instances of rational approximations during the analysis. - Prove Properties in Large Models
Use Simulink Design Verifier workflows and best practices for proving properties in large models. - Increase Allocated Memory for Analysis Report Generation
- Manage Model Data to Simplify the Analysis
Simplify your model to simplify the Simulink Design Verifier analysis. - Perform Analysis on Large and Complex Models
Use techniques for analyzing a large model.
