Vorbereiten des Modells für die Testgenerierungsanalyse

Live Script öffnen

Bereiten Sie das Modell sldvexCruiseControl für die Testgenerierungsanalyse vor, indem Sie die Modelleinstellungen mit Simulink® Design Verifier™ konfigurieren.

Konfigurieren der Modelleinstellungen

1. Öffnen Sie das Modell.

open_system("sldvexCruiseControl");

example_model_description.png

2. Wählen Sie auf der Registerkarte Apps in der Galerie Apps die Option Design Verifier aus.

3. Klicken Sie auf der Registerkarte Design Verifier im Abschnitt Prepare im Dropdown-Menü für die Moduseinstellungen auf Settings.

4. Wählen Sie im Dialogfeld „Configuration Parameters“ den Fensterbereich Solver aus. Im Abschnitt Solver selection :

  • Setzen Sie die Option Type auf Fixed-step.

  • Setzen Sie die Option Solver auf discrete (no continuous states).

solver_settings.png

Simulink Design Verifier analysiert nur Modelle, die einen Solver mit festem Schritt verwenden. Weitere Informationen finden Sie unter Fixed Step Solvers in Simulink.

Überprüfen der Kompatibilität des Modells

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.

Wenn die Kompatibilitätsprüfung ergibt, dass Ihr Modell teilweise kompatibel ist, enthält Ihr Modell mindestens ein Objekt, das von Simulink Design Verifier nicht unterstützt wird. Sie können ein teilweise kompatibles Modell analysieren, jedoch werden die nicht unterstützten Objekte standardmäßig ausgeblendet, und die Ergebnisse der Analyse können unvollständig sein. Ausführliche Informationen zum automatischen Stubbing finden Sie unter Handle Incompatibilities with Automatic Stubbing.

Wenn das Modell nicht mit Simulink Design Verifier kompatibel ist, können Sie die Inkompatibilitäten anhand der Meldungen im Diagnostic Viewer identifizieren und beheben. Weitere Informationen finden Sie unter Systematic Diagnosis of Errors and Warnings.