Questa pagina si riferisce alla release precedente. La corrispondente pagina in inglese è stata rimossa nella release attuale.
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
- 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.
Configurazione dei parametri
- 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.
Risoluzione delle incompatibilità del modello
- 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. (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
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.
