Risoluzione delle incompatibilità del modello o i timeout dell'analisi
Prima di iniziare un'analisi, è possibile eseguire una verifica di compatibilità sul modello. Il modello è compatibile per l'analisi quando:
Il modello viene compilato in un formato eseguibile.
Il modello è compatibile con la generazione di codice.
Il modello esegue una simulazione a zero secondi senza errori; ossia, il tempo di inizio e fine della simulazione è
0.
Se il modello è non è compatibile, è possibile identificare e correggere le incompatibilità tramite i messaggi del Diagnostic Viewer (Visualizzatore diagnostico). È possibile utilizzare i risultati dell'Advisor di generazione dei test per comprendere meglio il modello, in particolare i modelli di grandi dimensioni, complessi o per i quali non si è certi della compatibilità con Simulink® Design Verifier™.
Argomenti
Iniziare qui
- 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.
Configurazione dei parametri
- 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.
Risoluzione delle incompatibilità del modello
- 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. (Da 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.
Risoluzione dei timeout di analisi
- 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.
