Reactis for EML Plugin
Das Reactis for EML Plugin fügt sich nahtlos in Reactis for Simulink ein und ermöglicht White-Box-Tests und die Validierung der Embedded-MATLAB-Anteile von Modellen (z. B. MATLAB-Function-Blöcke). Gemeinsam automatisieren Reactis und das Reactis for EML Plugin die Erzeugung von Testdaten aus Modellen, die mit Simulink, Stateflow und Embedded-MATLAB-Code aufgebaut sind, sowie deren Validierung.
Wenn Sie in Ihren Simulink-Modellen bereits MATLAB-Function-Blöcke einsetzen, hilft Ihnen das Reactis for EML Plugin, Kosten und Zeit für das Testen und Debuggen des Embedded-MATLAB-Codes zu senken.
Weil Test und Validierung des Embedded-MATLAB-Codes in derselben Umgebung erfolgen, die auch Ihre Simulink- und Stateflow-Anteile testet, können Sie mit dem Reactis for EML Plugin Ihr gesamtes Modell gründlicher und deutlich schneller analysieren.
Tests aus Embedded-MATLAB-Code erzeugen
Reactis Tester, die Komponente von Reactis zur Testerzeugung, stützt sich beim Aufbau von Tests auf Modellüberdeckungsmetriken. Das Werkzeug erfasst bei der Auswahl der Testdaten mehrere Überdeckungsmetriken und nutzt die noch nicht überdeckten Elemente dieser Metriken, um die Erzeugung der nachfolgenden Tests zu steuern.
Mit dem Reactis for EML Plugin misst Tester die Überdeckung im Embedded-MATLAB-Code ebenso wie in den Simulink- und Stateflow-Anteilen eines Modells. Zu den neuen Überdeckungszielen gehören MATLAB-Anweisungen sowie Decisions, Conditions und MC/DC-Ziele im Code. Das Ergebnis sind umfassendere Tests, als wenn nur Überdeckungsziele in den Simulink- und Stateflow-Anteilen des Modells verfolgt würden.
Tester erzeugt Tests mit einer patentierten Technik, der guided simulation (geführte Simulation). Tests in Reactis entsprechen Simulationsläufen; die Eingaben in jedem Schritt eines Laufs bilden die Eingabedaten des Tests. In jedem Schritt eines Simulationslaufs nutzt Tester Informationen über die noch nicht überdeckten Teile des Modells und des Embedded-MATLAB-Codes, um Eingabedaten auszuwählen, welche die Überdeckung des Modells voranbringen.
Embedded-MATLAB-Code ausführen, debuggen und die Überdeckung verfolgen
Mit Reactis Simulator können Sie die Ausführung eines Modells sichtbar machen. Die Oberfläche von Simulator ähnelt der klassischer Debugger für Programmiersprachen: Sie können die Ausführung von Modellen von Hand schrittweise durchlaufen und Haltepunkte setzen. Simulator unterstützt außerdem die Rückwärtsausführung, das Wiederabspielen von Tests, die Reactis Tester erzeugt hat, die grafische Darstellung verschiedener Überdeckungsmetriken und die Feinabstimmung von Testsuiten, die Tester erzeugt hat.
Mit dem Reactis for EML Plugin reichen diese Debug-Funktionen über Simulink und Stateflow hinaus bis in den Embedded-MATLAB-Code. Springen Sie nahtlos von Simulink in einen MATLAB-Function-Block, setzen Sie Haltepunkte und verfolgen Sie die Überdeckung im Embedded-MATLAB-Code.
Einige Möglichkeiten beim Debuggen von Embedded-MATLAB-Code mit dem Reactis for EML Plugin zeigt das Bild oben:
- Haltepunkte. In Zeilen des EML-Codes lässt sich ein Haltepunkt (Breakpoint) ein- und ausschalten.
- Einzelschritte. Der EML-Code lässt sich Anweisung für Anweisung durchlaufen,
indem Sie auf die Schaltfläche Mini-Step klicken (
).
- Mauszeiger. Wenn die Ausführung im EML-Code angehalten ist:
- zeigt der Mauszeiger über einer Variablen deren Wert an
- zeigt der Mauszeiger über einem Überdeckungsziel dessen Überdeckungsstatus an
- Beobachtete Variablen. Ist die Ausführung im EML-Code angehalten und eine Variable aktiv, lässt sie sich zum Bereich der beobachteten Variablen hinzufügen.
Reactis for EML Plugin ausprobieren
Wir hoffen, dass Sie das Reactis for EML Plugin ausprobieren, um zu sehen, wie das Werkzeug beim Testen und Debuggen Ihres Embedded-MATLAB-Codes helfen kann. Eine kostenlose, voll funktionsfähige Testversion des Plugins erhalten Sie auf der Seite Reactis ausprobieren.
Das Reactis for EML Plugin ist im Installationsprogramm von Reactis for Simulink enthalten; es gibt daher keinen separaten Download des Plugins.
Wenn Sie sich für den Kauf entscheiden: Das Reactis for EML Plugin kann entweder unbefristet oder jährlich lizenziert werden, jeweils als Einzelplatz- (node-locked) oder als Floating-Lizenz.