Reactis for Simulink

Reactis Tester erzeugt Testsuiten mit einer patentierten Technik, der guided simulation (geführte Simulation). Das Werkzeug erfasst beim Erzeugen der Testdaten eine Reihe von Überdeckungsmetriken und nutzt die noch nicht überdeckten Ziele dieser Metriken, um die Erzeugung der nachfolgenden Testschritte zu steuern.

Zu den Überdeckungsmetriken gehören allgemeine Kriterien wie Decision, Condition und Modified Condition/Decision Coverage (MC/DC), Simulink-spezifische Maße wie Branch und Subsystem sowie Stateflow-spezifische Metriken wie State, Condition Action und Transition Action. Was ist MC/DC?

Mit Reactis lässt sich Code (automatisch erzeugt oder von Hand geschrieben) einfach gegen das Modell testen:

1. Tests aus dem Modell erzeugen
2. Tests auf dem Code ausführen
3. Abweichungen werden automatisch erkannt und markiert.

Validator verifiziert Modelle nach dem Prinzip „testen und prüfen“. Zunächst versehen Sie Ihr Modell mit Prüfungen (Checks), die überwachen, ob das Verhalten den Erwartungen entspricht. Validator nutzt dann die Testerzeugung von Tester, um Testdaten zu erzeugen und auszuführen und so herauszufinden, ob eine Prüfung verletzt werden kann. Mit diesen Tests lässt sich anschließend die Ursache jedes erkannten Fehlverhaltens diagnostizieren.

Die Prüfungen werden über eine Sammlung von Assertions und benutzerdefinierten Zielen (user-defined targets) festgelegt. Assertions sind Eigenschaften, die immer gelten sollten, wenn das Modell korrekt arbeitet. Benutzerdefinierte Ziele beschreiben Verhalten, das getestet werden soll, um zu verifizieren, dass Anforderungen erfüllt sind. Bei der Testerzeugung versucht Reactis, Assertions zu verletzen und benutzerdefinierte Ziele auszuführen. Beide können entweder als C-ähnliche Ausdrücke oder als Simulink/Stateflow-Observer-Diagramm formuliert werden.