Simulink Test
Entwicklung, Verwaltung und Ausführung simulationsbasierter Tests
Simulink Test™ bietet Tools für die Erstellung, Verwaltung und Ausführung systematischer, simulationsbasierter Tests für Modelle, generierten Code und simulierte oder physische Hardware. Die Lösung umfasst Simulations-, Baseline- und Äquivalenztestvorlagen, mit denen Sie Funktions-, Unit-, Regressions- und Back-to-Back-Tests in den Modi SIL (Software-in-the-Loop), PIL (Processor-in-the-Loop) und Echtzeit-HIL (Hardware-in-the-Loop) ausführen können.
Mit Simulink Test können Sie nicht-invasive Test-Harnesses erstellen, um die jeweils zu testende Komponente zu isolieren. Sie können anforderungsbasierte Bewertungen mithilfe einer textbasierten Sprache definieren sowie Testeingaben, erwartete Ausgaben und Toleranzen in unterschiedlichen Formaten angeben, einschließlich Microsoft® Excel®. Simulink Test beinhaltet einen Test Sequence-Block, mit dem Sie komplexe Testsequenzen und Bewertungen konstruieren können, sowie einen Testmanager für die Verwaltung und Ausführung von Tests. Mit Observer-Blöcken (Beobachterblöcken) können Sie auf jedes Signal im Design zugreifen, ohne das Modell oder seine Schnittstellen zu ändern. Große Sätze von Tests können parallel oder auf Systemen für die kontinuierliche Integration verwaltet und ausgeführt werden.
Sie können Tests bis zu den Anforderungen zurückverfolgen (mit Simulink Requirements™) und Berichte generieren, die Testabdeckungsinformationen von Simulink Coverage™ enthalten.
Die Unterstützung von Branchenstandards ist erhältlich über das IEC Certification Kit (for ISO 26262 and IEC 61508) und das DO Qualification Kit (for DO-178 and DO-254).
Jetzt beginnen:
Vorlagen für Regressions-, Back-to-Back- und anforderungsbasierte Tests
Mit Simulationstests wird verifiziert, ob eine Simulation fehlerfrei ausgeführt wird, einschließlich der im Modell definierten Bewertungen. Mit Baseline-Tests werden Simulationsergebnisse mit einem definierten Datensatz verglichen. Mit Äquivalenztests werden die Simulationsergebnisse von zwei Simulationen verglichen.
Definieren von Testdaten mithilfe mehrerer Quellen
Sie können Eingabedaten, erwartete Ausgaben und Toleranzen für Testszenarien mithilfe von MAT-Dateien oder Excel-Arbeitsblättern angeben. Folgendes ist möglich:
- Erstellung von Eingabedaten an einer grafischen Benutzeroberfläche mithilfe von Signal Editor-Blöcken.
- Definieren programmatischer Eingabesequenzen mit dem Test Sequence-Block.
- Automatische Generierung von Testeingaben mit Simulink Design Verifier™.
Isolieren zu testender Komponenten mit Test-Harnesses
Test-Harnesses bieten eine integrierte Simulationsumgebung, in der das Modell oder die Modellkomponenten von Simulink® isoliert werden. Damit wird die Testumgebung vom Design getrennt. Sie können testspezifische Simulationen für Modelle oder Modellkomponenten ausführen und zugleich Designänderungen zwischen dem Modell und dem Test-Harness synchronisieren.
Zeitliche Bewertungen für die Anforderungsverifikation
Die Anforderungen für ein Design können zeitabhängige Logik umfassen, die nur schwer in einem Test formalisiert werden kann. Sie können Tests mit zeitlichen Bewertungen mit präziser Semantik in einem natürlichsprachlichen Format erstellen, das komplexes zeitabhängiges Verhalten mit Bedingungen, Ereignissen, Signalwerten und Verzögerungen genau modelliert.
Erstellen von Testsequenzen und Bewertungen
Sie können schritt- und zeitbasierte Testsequenzen nutzen, um Tests zu erstellen und Simulationsergebnisse zu bewerten. Hierzu verwenden Sie eine Teilmenge der Funktionen der MATLAB® -Sprache, zu der zeitbezogene Operatoren, Signalgeneratoren und Bedingungskonstrukte gehören.
Beobachten von Signalen ohne Änderungen des Modells
Mit Beobachtern können Sie Simulink-Signale debuggen und testen, ohne zusätzliche Ports, Blöcke, Verbindungen oder Schnittstellen hinzuzufügen, die nur für die Tests bestimmt sind. Sie können ein separates Verifikationsmodell erstellen, um Ihr Systemdesign zu verifizieren.
Verwalten von Testplänen und der Testausführung
Der Testmanager erleichtert die Erstellung, Ausführung, Überprüfung und Verwaltung von Testfällen und Test-Suites. Sie können Ihr Modell in früheren Versionen von MATLAB testen, indem Sie im Testfall frühere Releases auswählen. Um den Umfang Ihrer Tests bewerten zu können, erfassen Sie Abdeckungsmetriken.
Unterstützung aller Simulationsmodi
Führen Sie Tests im normalen Simulationsmodus, Accelerator-Modus, Rapid Accelerator-Modus, SIL-Modus (Software-in-the-Loop), PIL-Modus (Processor-in-the-Loop) oder mit Simulink Real-Time™ im Echtzeitmodus aus.
Unterstützung mehrerer Releases
Sie können Testfälle mit mehreren MATLAB-Releases ausführen, beginnend mit R2011b. So können Sie Ihr Modell in seiner Produktionsversion ausführen, aber die aktuellen Verifikationsmöglichkeiten von Simulink Test verwenden.
Messung der Modell- und Codeabdeckung
Abdeckungsmetriken wie Entscheidungs-, Bedingungs-, modifizierte Bedingungs-/Entscheidungsabdeckung (MC/DC) und relationale Grenzwerte-Abdeckung können mit Simulink Coverage™ erfasst werden. Aus den Abdeckungsergebnissen im Testmanager können Sie mit Simulink Design Verifier Testfälle für fehlende Abdeckung generieren.
Visualisieren von Testergebnissen, Debuggen bei Fehlern und Aktualisieren von Tests
Simulink Test macht Signale optisch kenntlich, die den Toleranzspezifikationen nicht entsprechen, und ermittelt ein Ergebnis (bestanden/nicht bestanden). Sie können die Simulationsausgaben und die protokollierten Signale zusammen mit den definierten erwarteten Ausgaben untersuchen und Baseline-Daten aktualisieren, wenn Abweichungen akzeptabel sind.
Verwalten und Archivieren von Testergebnissen
Simulink Test zeigt eine Zusammenfassung und Details der durchgeführten Tests an. Eine Zusammenfassungsseite für jedes Testergebnis zeigt die Simulationsausgabe, Baseline- oder Äquivalenzvergleiche und das Ergebnis des Tests: bestanden, nicht bestanden oder nicht getestet. Um Testergebnisse an andere Personen weiterzugeben, können Sie sie in eine Datei exportieren, die später im Testmanager überprüft werden kann.
Generieren von Berichten
Um die Ergebnisse in einem Dokument zu archivieren, generieren Sie einen Bericht. Dieser kann das Testergebnis, die Testzusammenfassung und alle für Testvergleiche verwendeten Kriterien enthalten. Standardberichte können in den Formaten HTML, PDF und DOCX oder benutzerdefiniert mit Simulink Report Generator™ individuell angepasst werden.
Testskripts und Batch-Workflows
Tests können einzeln oder im Batch ausgeführt werden, um das Testen zu automatisieren und eine standardisierte Testumgebung einzurichten. Sie können programmatisch einen Testfall erstellen, Testfallkriterien angeben, Tests ausführen und Ergebnisse generieren.
Kontinuierliche Integration
Sie können Modelltests mit MATLAB Unit Test ausführen. Dies ermöglicht eine Nutzung mit Systemen für die kontinuierliche Integration (CI), wie Jenkins™. Sie können Modelltests zusammen mit Skripts, Funktionen und Klassen von MATLAB Unit Test ausführen.
Skalieren mit paralleler Ausführung
Sie können die Tests umfangreicher oder komplexer Simulink-Modelle beschleunigen und die Zeitdauer bis zum Erzielen von Ergebnissen verringern, indem Sie die Tests parallel durchführen. Mit der Parallel Computing Toolbox™ können Sie Tests auf Ihrem lokalen Rechner parallel ausführen. Mit MATLAB Parallel Server™ können Sie Tests auf einem Remote Cluster wie in der Cloud ausführen..
Mehrere Szenarien im Testsequenzblock
Erstellen und Verwalten mehrerer Testszenarien in einem einzigen Testsequenzblock
Parallele Testausführung auf einem Remote-Cluster
Skalierung der Testausführung durch parallele Ausführung von Tests auf einem Cluster oder in der Cloud (erfordert MATLAB Parallel Server)
Testfehler-Debugging mit dem Model Slice
Hervorheben von Modellkomponenten, die sich auf fehlgeschlagene Signale in einem Basistest auswirken, um Testfehler zu debuggen
Äquivalenztests für mehrere Versionen
Vergleichen Sie die Ergebnisse von Simulationen auf verschiedenen MATLAB-Versionen
MATLAB-basierte Simulink-Testerstellung
Schreiben von Basislinien- und Äquivalenztests für Simulink-Modelle in MATLAB-Testdateien
SIL-Prüfung des wiederverwendbaren Bibliotheken-Teilsystems
Verifizieren des generierten Codes für ein Bibliotheken-Teilsystem
Abdeckungs-Workflows nach der Simulation
Filtern Sie die Ergebnisse der Abdeckungsanalyse aus dem Test Manager ohne erneute Durchführung der Simulationen
Details zu diesen Merkmalen und den zugehörigen Funktionen finden Sie in den Versionshinweisen.