Simulink Design Verifier

Neue Eigenschaften

R2014b (Version 2.7)

Veröffentlicht: 2 Okt 2014

Version 2.7 aus Release 2014b enthält die folgenden Erweiterungen:

  • Testgenerierung für relationale Grenzwerte
  • Schnelle Erkennung von fehlerhafter Logik und Model Advisor-Prüfung
  • Analyse von Bus-Arrays, For-Each-Block und For-Each-Subsystem-Block
  • Testen des Generation-Advisors zur Durchführung der Komponentenanalyse
  • Verbesserte Leistung der Testgenerierung für Look-Up-Tabellen und Timer

Ausführliche Details hierzu finden Sie in den Release Notes.

Aktualisieren Sie Ihre Software jetzt!

Ältere Releases

R2014a (Version 2.6) - 6 Mrz 2014

Version 2.6 aus Release 2014a enthält die folgenden Erweiterungen:

  • Parameter Configuration Table zur Spezifikation und Verwaltung von Nebenbedingungen
  • Im Model Advisor integrierte Kompatibilitätsüberprüfung
  • Erzeugung von Bedingungsabdeckungstest für Vergleichsoperatorenblöcke
  • Analyse von For-Each-Subsystem-Blöcken
  • Parameterhandhabung für Simulink Data Dictionary
  • Japanische Sprachversion

Ausführliche Details hierzu finden Sie in den Release Notes.