Éliminer les incompatibilités de modèles ou les délais d’expiration d’analyse
Ajuster votre modèle, les paramètres du modèle ou les options d’analyse pour mieux analyser votre modèle
Avant de débuter une analyse, vous pouvez vérifier la compatibilité de votre modèle. Le modèle est compatible pour l’analyse dans les cas suivants :
Le modèle est compilé sous une forme exécutable.
Le modèle est compatible pour la génération de code.
Le modèle procède à une simulation à zéro seconde exempte d’erreur. Autrement dit, l’heure de début et de fin de la simulation est
0.
Si le modèle est incompatible, vous pouvez identifier et corriger les incompatibilités grâce aux messages du Diagnostic Viewer. Vous pouvez utiliser les résultats du Test Generation Advisor afin de mieux comprendre votre modèle, en particulier les modèles volumineux, complexes ou dont vous n’êtes pas sûr de la compatibilité avec Simulink® Design Verifier™.
Rubriques
Commencer ici
- 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.
Configuration des paramètres
- 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.
Éliminer les incompatibilités d’un modèle
- 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. (depuis 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.
Éliminer les délais d’expiration d’analyse
- 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.
