Die Übersetzung dieser Seite ist veraltet. Klicken Sie hier, um die neueste Version auf Englisch zu sehen.

Erkennen von Designfehlern in einem Modell

Die Analyse zur Detektion von Designfehlern ermittelt die Bedingungen, die zu Fehlern führen, die Sie mit Simulink^® Design Verifier™ finden. Die Analyse zur Detektion von Designfehlern berechnet auch einen Bereich von Signalwerten, die für Blockausgaben und lokale Stateflow^®-Daten in Ihrem Modell auftreten können.

So analysieren Sie Ihr Modell auf Designfehler:

1. Überprüfen Sie, ob Ihr Modell mit der Software Simulink Design Verifier kompatibel ist. Legen Sie Modelleinstellungen fest, die steuern, wie Simulink Design Verifier Designfehler in Ihrem Modell erkennt.

2. Verwenden Sie den Defect Checker, um häufige Designfehler in Ihrem Modell zu erkennen.

3. Führen Sie eine Analyse zur Detektion von Designfehlern für ausgewählte Fehler durch.

4. Überprüfen Sie nach der Analyse die Ergebnisse.

   • Klicken Sie auf einzelne Blöcke, um die Analyseergebnisse für diesen Block anzuzeigen.

   • Erstellen Sie ein Rahmenmodell mit Testfällen, die die Fehler demonstrieren.

   • Erstellen Sie einen Analysebericht, der detaillierte Ergebnisse für das gesamte Modell enthält.

5. Beheben Sie die während der Analyse festgestellten Designfehler.

Beispielmodell

In diesem Tutorial wird ein Controller-Modell sldvexDetectDesignErrorsExample mit drei Sensoreingaben verwendet: SensorA, SensorB und SensorC. In diesem Tutorial führen Sie eine Analyse zur Detektion von Designfehlern für Ganzzahl-Überlauf- und Division-durch-Null-Fehler im Modell durch.

Simulink Design Verifier identifiziert die Modellkonstrukte, die zu Ganzzahl-Überläufen führen können, und weist dann entweder nach, dass der Ganzzahl-Überlauf während der Simulation nicht auftreten kann, oder generiert Testfälle, die den Ganzzahl-Überlauf-Fehler demonstrieren. Der Controller-Algorithmus generiert die Ausgabe auf Grundlage der Werte von SensorA und SensorB:

Das Modell sldvexDetectDesignErrorsExample integriert diesen Algorithmus unter Verwendung von Simulink-Blöcken.

In diesem Tutorial lernen Sie Folgendes:

1. Bereiten Sie das Modell für die Analyse zur Detektion von Designfehlern vor und überprüfen Sie die Modellkompatibilität.

2. Verwenden Sie den Defect Checker, um Fehler in Ihrem Modell zu erkennen.

3. Führen Sie eine Analyse zur Detektion von Designfehlern am Modell durch.

4. Zeigen Sie die Ergebnisse an, indem Sie auf die hervorgehobenen Modellkomponenten klicken oder einen Rahmen oder einen Analysebericht erstellen.

5. Beheben Sie die festgestellten Designfehler.

Um mit diesem Tutorial zu beginnen, siehe Vorbereiten des Modells für die Analyse zur Detektion von Designfehlern.