Vorbereiten des Modells für die Analyse zur Detektion von Designfehlern
Bereiten Sie das Modell für die Analyse zur Detektion von Designfehlern vor, indem Sie die Modellkompatibilität überprüfen und die Einstellungen für die Analyse zur Detektion von Designfehlern konfigurieren.
Konfigurieren der Modelleinstellungen
Konfigurieren Sie die Modelleinstellungen, um das Modell für die Detektion von Designfehlern vorzubereiten.
1. Öffnen Sie das Modell sldvexDetectDesignErrorsExample..
open_system("sldvexDetectDesignErrorsExample");
2. Klicken Sie auf der Registerkarte Apps auf den Pfeil rechts neben dem Abschnitt Apps. Klicken Sie unter Model Verification, Validation, and Test auf Design Verifier.
3. Klicken Sie auf der Registerkarte Design Verifier im Abschnitt Prepare auf Error Detection Settings.
4. Setzen Sie im Dialogfeld „Configuration Parameters“ im Fensterbereich Diagnostics > Data Validity die Optionen Wrap on overflow, Saturate on overflow und Detect overflow auf error.
5. Klicken Sie auf Apply und OK , um die Änderungen zu speichern.
Überprüfen der Modellkompatibilität
Wenn Sie ein Modell analysieren, führt Simulink Design Verifier zunächst eine Kompatibilitätsprüfung durch. Das Modell ist für die Analyse geeignet, wenn es ohne Fehler kompiliert wurde. Wenn Ihr Modell nicht kompatibel ist, kann die Software es nicht analysieren.
Sie können die Kompatibilität des Modells vor der Analyse überprüfen. Klicken Sie im Simulink Editor auf der Registerkarte Design Verifier auf Check Compatibility. Das Fenster „Simulink Design Verifier Results Summary“ zeigt an, dass das Modell für die Analyse kompatibel ist.
Wenn das Modell nicht mit Simulink Design Verifier kompatibel ist, zeigt der Diagnostic Viewer Meldungen zu den Inkompatibilitäten und deren Behebung an. Weitere Informationen finden Sie unter Handle Incompatibilities with Automatic Stubbing und Systematic Diagnosis of Errors and Warnings.
