Cette page s'applique à la version précédente. La page correspondante en anglais a été supprimée de la version actuelle.
Éliminer les incompatibilités de modèles ou les délais d’expiration d’analyse
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
- 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.
Configuration des paramètres
- 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.
Éliminer les incompatibilités d’un modèle
- 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. (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
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.
