Durchführen einer Analyse zur Detektion von Designfehlern
Führen Sie eine Analyse zur Detektion von Designfehlern für die ausgewählten Fehler durch, nachdem Sie mit dem Defect Checker Fehler erkannt haben. Bei diesem Modell werden Laufzeitfehler einschließlich Division-durch-Null-Fehler und Überlauffehler bei Ganzzahl- und Fixed-Point-Daten erkannt.
Analysieren des Modells auf Designfehler
Öffnen Sie das Modell sldvexDetectDesignErrorsExample..
Deaktivieren Sie auf der Registerkarte „Design Verifier“ die Option Defect checker.
Öffnen Sie das Dialogfeld „Configuration Parameters“. Überprüfen Sie im Fensterbereich Design Verifier > Design Error Detection, ob Integer overflow und Division by zero ausgewählt sind.
Klicken Sie auf Apply und OK , um die Änderungen zu speichern.
Klicken Sie auf der Registerkarte „Design Verifier“ auf Detect Design Errors.
Die Software analysiert das Modell auf Designfehler und zeigt die Ergebnisse im Fenster „Results Summary“ an. Die Ergebnisse zeigen, dass drei von sechs Zielen fehlgeschlagen sind.
Überprüfen Sie anschließend die Ergebnisse der Analyse zur Detektion von Designdefekten.
