Simulink Design Verifier
Identifizieren von Design-Fehlern, Nachweisen der Einhaltung von Anforderungen und Generieren von Tests
Simulink Design Verifier™ verwendet formale Methoden, um versteckte Design-Fehler in Modellen zu identifizieren. Er erkennt Blöcke im Modell, die zu Integerüberlauf, toter Logik, Array-Zugriffsverletzungen und Division durch Null führen. Er kann formal verifizieren, dass das Design funktionale Anforderungen erfüllt. Für jeden Design-Fehler und jeden Verstoß gegen Anforderungen generiert er einen Simulationstestfall für das Debugging.
Simulink Design Verifier generiert Testfälle für die Modellabdeckung und benutzerdefinierte Ziele zur Erweiterung vorhandener, auf Anforderungen basierender Testfälle. Diese Testfälle treiben Ihr Modell an, um die Abdeckungsziele Bedingung, Entscheidung, geänderte Bedingung/Entscheidung (modified condition/decision, MCDC) und benutzerdefinierte Abdeckungsziele zu erreichen. Zusätzlich zu den Abdeckungszielen können Sie benutzerdefinierte Testziele angeben, um automatisch anforderungsbasierte Testfälle zu generieren.
Die Unterstützung von Branchenstandards ist erhältlich über IEC Certification Kit (for ISO 26262 and IEC 61508) und DO Qualification Kit (for DO-178 and DO-254).
Jetzt beginnen:
Laufzeit- und Diagnosefehler
Vor der Ausführung von Simulationen können Sie Laufzeitfehler und Modellierungsfehler erkennen, einschließlich Integer-Überlauf, Division durch null, Arrays außerhalb des gültigen Bereichs, subnormale Werte und Gleitkommafehler sowie Datengültigkeitsfehler.
Tote Logik
Finden Sie Objekte in Ihrem Modell, die während der Simulation und Ausführung des generierten Codes nicht aktiviert werden können. |
Anzeigen toter Logik in Ihren Modellen.
Testfälle zur Erhöhung der Abdeckung
Ergänzen und erweitern Sie vorhandene manuell erstellte Testfälle als Abhilfe gegen eine unvollständige Modellabdeckung. |
Anforderungsbasierte Testfälle
Generieren Sie Testfälle aus Systemanforderungsmodellen.
Testfälle für C/C++-Code
Generieren Sie Testfälle, um die Abdeckung des generierten Codes und des C/C++-Codes zu erhöhen, der von Simulink®-Blöcken und in Stateflow®-Diagrammen aufgerufen wird.
Generieren von Tests für Modelle, die C-Code aufrufen.
Sicherheitsanforderungen
Verifizieren Sie, dass Ihr Design sich gemäß formal definierten Sicherheitsanforderungen verhält, die Sie mit MATLAB®, Simulink und Stateflow ausdrücken.
Vereinfachen von Modellen für die Bereitstellung
Nachdem Sie Ihr Master-Variantenmodell vollständig validiert haben, verwenden Sie den Variant Reducer, um ein reduziertes Modell für eine Teilmenge gültiger Konfigurationen zu generieren. Alle zugehörigen Dateien und Variablenabhängigkeiten werden ebenfalls reduziert. Die reduzierten Artefakte werden in einem separaten Ordner paketiert, um leicht bereitgestellt und an Kunden und Partner weitergegeben werden zu können.
Erstellen eines reduzierten Modells.
Erkennen von Fehlern für Systemobjekte
Fehler erkennen, Tests generieren oder Eigenschaften von MATLAB Code mit Systemobjekten in Simulink nachweisen
Erkennen von Verstößen gegen die High-Integrity System Modeling (HISM)-Anleitung
Prüfung auf spezifische HISM-Verstöße, wie z.B. der Math-Function als Quadratwurzelblöcke
Schnelle Dead-Logic-Prüfung aktivieren
Führen Sie zunächst eine partielle Dead-Logic-Prüfung durch, um Fehler zu debuggen, die näher an der Entwurfszeit gefunden wurden, bevor Sie die Rechenzeit für die Durchführung einer umfassenden Analyse investieren
Bus Element-Support
Analyse von Top-Level-Modellen mit den Blöcken In Bus Element oder Out Bus Element
Verbesserte Dead Logic-Berichterstattung
Ansicht möglicher Ursachen für Dead Logic im Results Inspector Fenster, einschließlich von Umgehungen und bedingter Ausführung
Parallele Validierung von Testfällen
Nutzung von Parallelisierung zum Validieren von Testfällen oder Gegenbeispielen
Details zu diesen Merkmalen und den zugehörigen Funktionen finden Sie in den Versionshinweisen.
