Überprüfen der Ergebnisse der Designfehlerdetektion
Nach Abschluss der Analyse zur Detektion von Designfehlern:
Markiert Simulink® Design Verifier™ das Modell mit den Analyseergebnissen.
Das Fenster „Simulink Design Verifier Results Summary“ wird geöffnet und zeigt eine Zusammenfassung der Analyse an.
Hervorhebung der Analyseergebnisse im Modell
Nach Abschluss der Analyse zur Detektion von Designfehlern werden die Ergebnisse automatisch im Modell sldvexDetectDesignErrorsExample hervorgehoben.
1. Wählen Sie den Sum-Block aus. Das Ergebnisfenster zeigt die Ganzzahl-Überlaufziele des Sum-Blocks an.
2. Um den Fehler beim Ganzzahl-Überlauf zu beheben, klicken Sie auf View counterexample. Der Rahmen des Modells sldvexDetectDesignErrorsExample_harness und das Dialogfeld „Block Parameters“ des Inputs-Blocks werden geöffnet.
3. Wählen Sie im Dialogfeld „Block Parameters“ aus der Liste Active scenario die Option Counterexample_3 aus. Klicken Sie auf Apply.
Der Input-Block im Rahmenmodell gibt Counterexample_3 als aktives Szenario an.
4. Doppelklicken Sie auf den Inputs-Block, um das Dialogfeld „Block Parameters“ zu öffnen.
5. Klicken Sie im Dialogfeld „Block Parameters“ auf die Schaltfläche „Open Signal Editor“ aus 
, um die Szenarien zu visualisieren.
Wenn der Eingabewert von CounterExample_3.SensorA 96 und der Eingabewert von CounterExample_3.SensorB 160 ist, kommt es zu einem Überlauf der Ausgabe des Sum-Blocks. Der Akkumulatortyp des Sum-Blocks ist auf einen falschen Typ uint8 eingestellt, was zu Überlauffehlern und Division-durch-Null-Fehlern im nachgelagerten Divide-Block führt.
Überprüfen des Berichts zur Detektion von Designfehlern
Um den Bericht zur Detektion von HTML-Designfehlern anzuzeigen, klicken Sie im Fenster „Results Summary“ auf HTML. Der HTML-Bericht wird im MATLAB® Editor geöffnet. Der Abschnitt „Design Error Detection Objectives“ des Berichts enthält die Ziele der einzelnen Modellelemente sowie deren Beschreibung.
Der Analysebericht zeigt, dass drei Ziele gültig sind und drei Ziele durch Gegenbeispiele widerlegt werden.
