Esta página es para la versión anterior. La página correspondiente en inglés ha sido eliminada en la versión actual.
Reducir la complejidad de un modelo
El software Simulink® Design Verifier™ trabaja de forma más efectiva analizando modelos de gran tamaño utilizando un enfoque ascendente. En este enfoque, el software analiza en primer lugar los componentes más pequeños del modelo, lo que puede ser más rápido que utilizar la configuración predeterminada. Un enfoque ascendente ofrece varias ventajas:
Permite resolver los problemas que ralentizan la detección de errores, la generación de pruebas o la demostración de propiedades en un entorno controlado.
Resolver problemas con componentes pequeños de modelo antes de analizar todo el modelo es más eficiente, especialmente si tiene componentes inaccesibles en el modelo que solo puede descubrir en cuanto al modelo.
Puede depurar más rápidamente, encontrando y solucionando problemas de manera iterativa.
Si un componente de modelo singular tiene un problema, por ejemplo, un componente no está accesible en una simulación, puede evitar que el software genere pruebas para todos los objetivos de un modelo grande.
Si desea solucionar las limitaciones de compatibilidad del modelo o personalizar elementos del modelo para el análisis, puede usar las reglas de sustitución de bloques de Simulink Design Verifier. Si desea generar valores adicionales para parámetros del modelo durante el análisis, utilice las configuraciones de parámetros de Simulink Design Verifier.
Funciones
sldvblockreplacement | Replace blocks for analysis |
sldvexporttoversion | Exports a data file for use in a previous version of Simulink Design Verifier (Desde R2024a) |
Temas
Reducir la complejidad de un modelo
- Bottom-Up Approach to Model Analysis
Explains the benefits of analyzing a model starting with low-level elements. - Approximations During Model Analysis
Manage approximations that Simulink Design Verifier performs before beginning its analysis. - Logical Operations Short-circuiting
Explains how Simulink Design Verifier short-circuits logic blocks. - Extract Subsystems for Analysis
Explains how subsystems and atomic subcharts are extracted for individual analysis. - Manage Model Data to Simplify the Analysis
Simplify your model to simplify the Simulink Design Verifier analysis. - Partition Model Inputs for Incremental Test Generation
Partition model inputs into constrained to sets of constants using the Test Condition block and perform test generation analysis.
Realizar una sustitución de bloques
- Perform Analysis Using Block Replacement
Block replacements allows you to define your own libraries of replacement blocks and custom block replacement rules. - Built-In Block Replacements
- Template for Block Replacement Rules
