Preparazione del modello per l'analisi di rilevamento degli errori di progettazione
Preparare il modello per l'analisi di rilevamento degli errori di progettazione verificandone la compatibilità e configurando le impostazioni di analisi di rilevamento degli errori di progettazione.
Configurazione delle impostazioni del modello
Configurare le impostazioni del modello per preparare il modello al rilevamento degli errori di progettazione.
 1. Aprire il modello sldvexDetectDesignErrorsExample.
open_system("sldvexDetectDesignErrorsExample");
2. Nella scheda Apps (App), are clic sulla freccia a destra della sezione Apps (App). In Model Verification, Validation, and Test (Verifica del modello, validazione e test), fare clic su Design Verifier.
3. Nella scheda Design Verifier, nella sezione Prepare (Preparazione), fare clic su Error Detection Settings (Impostazioni di rilevamento degli errori).
4. Nella finestra di dialogo Configuration Parameters (Parametri di configurazione), nel riquadro Diagnostics (Diagnostiche) > Data Validity (Validità dei dati), impostare Wrap on overflow (Avvolgi in caso di overflow), Saturate on overflow (Satura in caso di overflow) e Detect overflow (Rileva overflow) su error.
5. Fare clic su Apply (Applica) e OK per salvare le modifiche.
Verifica della compatibilità del modello
Quando si analizza un modello, Simulink Design Verifier esegue innanzitutto un controllo di compatibilità. Il modello è compatibile con l'analisi quando viene compilato senza errori. Se il modello non è compatibile, il software non può analizzarlo.
È possibile verificare la compatibilità del modello prima dell'analisi. Nell'Editor di Simulink, nella scheda Design Verifier, fare clic su Check Compatibility (Verifica compatbilità). La finestra Results Summary (Riepilogo dei risultati) di Simulink Design Verifier mostra che il modello è compatibile per l'analisi.
Se il modello non è compatibile con Simulink Design Verifier, il Diagnostic Viewer (Visualizzatore diagnostico) visualizza messaggi relativi alle incompatibilità e alle modalità di risoluzione. Per maggiori informazioni, vedere Handle Incompatibilities with Automatic Stubbing e Systematic Diagnosis of Errors and Warnings.