Konfigurieren von Modelleinstellungen und Ausführen der Analyse
Nachdem Sie das Modell für die Analyse vorbereitet haben, konfigurieren Sie die Einstellungen für die Testfallgenerierung im Dialogfeld „Configuration Parameters“. Simulink® Design Verifier™ bietet eine Reihe von Modelleinstellungen, mit denen Sie die Analyse Ihres Modells steuern und anpassen können. Sie können Design Verifier Pane oder die Funktionsldvoptions verwenden, um die Analyseeinstellungen für Simulink Design Verifier festzulegen.
Standardmäßig werden die Modelleinstellungen für Simulink Design Verifier nicht im Dialogfeld „Configuration Parameters“ angezeigt. Wenn Sie die Design Verifier-App öffnen, verknüpft Simulink Design Verifier seine Standardeinstellungen mit dem Modell. Nachdem Sie das Modell gespeichert haben, können Sie direkt über das Dialogfeld „Configuration Parameters“ auf die Optionen für Simulink Design Verifier zugreifen.
Konfigurieren der Modelleinstellungen
Konfigurieren Sie die Modelleinstellungen für die Testgenerierungsanalyse.
1. Öffnen Sie das Modell sldvexCruiseControl. Klicken Sie auf der Registerkarte Design Verifier im Abschnitt Prepare auf Test Generation Settings.
2. Setzen Sie im Dialogfeld „Configuration Parameters“ im Fensterbereich Test Generation den Parameter Model coverage objectives auf Decision. Für dieses Beispiel generiert die Analyse Testfälle, die nur die Entscheidungsabdeckung aufzeichnen.
3. Der Parameter Test suite optimization ist standardmäßig auf Auto eingestellt. Wenn Sie weniger, dafür aber längere Testfälle generieren möchten, wählen Sie für den Parameter Test suite optimization die Option LongTestcases.
4. Klicken Sie auf Apply und OK, um Ihre Änderungen zu speichern.
Analysieren des Modells zur Generierung von Tests
Klicken Sie auf der Registerkarte Design Verifier auf Generate Tests. Simulink Design Verifier analysiert Ihr Modell, um Testfälle zu generieren.
Während der Analyse wird im Fenster „Results Summary“ der Fortschritt der Analyse angezeigt. Es werden Informationen wie die Anzahl der verarbeiteten Testziele, die erfüllten Ziele und die für die Analyse benötigte Zeit angezeigt.
Nach der Analyse erstellt Simulink Design Verifier ein Ergebnisfenster, in dem der Status der Analyse und die Ergebnisse angezeigt werden.
