Esecuzione dell'analisi di rilevamento degli errori di progettazione
Eseguire l'analisi del rilevamento degli errori di progettazione per gli errori selezionati dopo aver rilevato i difetti utilizzando Defect Checker. Per questo modello, è possibile rilevare errori di runtime, inclusi errori di divisione per zero ed errori di overflow di dati interi e in virgola fissa.
Analisi del modello per l'identificazione di eventuali errori di progettazione
Aprire il modello sldvexDetectDesignErrorsExample.
Nella scheda Design Verifier, deselezionare Defect checker.
Aprire la finestra di dialogo Configuration Parameters (Parametri di configurazione) Nel riquadro Design Verifier > Design Error Detection (Rilevamento degli errori di progettazione), verificare che Integer Overflow (Overflow di interi) e Division by zero (Divisione per zero) siano selezionati .
Fare clic su Apply (Applica) e OK per salvare le modifiche.
Nella scheda Design Verifier, fare clic su Detect Design Errors (Rileva errori di progettazione).
Il software analizza il modello per individuare eventuali errori di progettazione e visualizza i risultati nella finestra Results Summary (Riepilogo risultati). I risultati indicano che tre dei sei obiettivi sono stati falsificati.
Successivamente, rivedere i risultati dell'analisi di rilevamento degli errori di progettazione.
