Testfallgenerierung innerhalb einer modellbasierten Systementwicklung
Für die Entwicklung von komplexen Systemen, wie sie Systeme aus dem Verkehrsbereich zweifelsohne darstellen, etabliert sich immer mehr die modellbasierte Systementwicklung. Dabei wird jede Prozessphase der Systementwicklung durch ein entsprechendes Modell unterstützt. Neben der Beseitigung von Interpretationsspielräumen bei der Kommunikation zwischen den beteiligten Partnern können durch die Verwendung von Modellen benötigte Schritte (Dokumentenerstellung, Testerstellung) automatisiert werden, wodurch der Aufwand signifikant gesenkt werden kann. Abhängig von der verwendeten Modellierungsnotation existieren zahlreiche Werkzeuge, welche die Durchführung der modellbasierten Systementwicklung unterstützen. Das ifak-Werkzeug zur Testgenerierung
Insbesondere mit dem Ziel der Herstellermischbarkeit von Systemen aus dem Verkehrsbereich ist es notwendig, systematisch bei der Validierung (Test) des (Teil)Systems bzw. einzelner Systemkomponenten vorzugehen. Eine eindeutige Fehleridentifizierung und -lokalisierung ist gerade hier sehr wichtig, um mögliche Konflikte effizient zu beseitigen.
Validierung(Test) eines Systems aus dem Verkehrsbereich
Neben der Unterstützung des Systemtests durch geeignete Testwerkzeuge ist die systematische Erstellung relevanter Testfälle für das Gesamtsystem oder einzelner Teilsysteme bzw. Systemkomponenten von entscheidender Bedeutung für den Erfolg der Systemvalidierung.
Innerhalb des Forschungsprojekts Dmotion (www.dmotion.info) wurde deshalb eine Methode zur automatischen Generierung von Testfällen entwickelt. Basierend auf einem Modell des geforderten Systemverhaltens können somit automatisch Testfälle für das jeweilige (Teil-) System mit einer sehr hohen Spezifikationsabdeckung (Pfadabdeckung) generiert werden. Die Testfälle können dann in die Prüfspezifikation für die Abnahme des jeweiligen (Teil-) Systems aufgenommen werden.
Die entwickelte Methode zur automatischen Testfallgenerierung wurde durch den ifak-Testfallgenerator prototypisch implementiert und anhand einer praxisrelevanten Systemkomponente evaluiert. Mit dem ifak-Testfallgenerator steht damit ein Werkzeug zur Verfügung, dass sich nahtlos in einen modellbasierten Entwicklungsprozess einbetten lässt und wodurch der Aufwand der Testerstellung signifikant gesenkt werden kann. Es hat sich aber auch gezeigt, dass noch weiterer Forschungsbedarf bei der Validierung (Test) von Systemen aus dem Verkehrsbereich nötig ist. Insbesondere die Testdurchführung muss durch die Entwicklung von Methoden und darauf aufbauend Werkzeugen unterstützt werden, um die anspruchsvolle Entwicklung und Inbetriebnahme der sehr komplexen Systeme aus dem Verkehrsbereich aufwandsärmer realisieren zu können.
