EI – DER EISENBAHNINGENIEUR | Issue 01/2017
Ableitung von Testfällen für LST-Schnittstellen
Systematische und maschinell unterstützte Ableitung von Testfällen aus formalisierten Spezifikationen – mit Überprüfung der Qualität. Derzeit werden Spezifikationen im LSTBereich in Form von Zustandsdiagrammen formalisiert. Diese Präzisierung liefert einen Ansatzpunkt für Verbesserungen des Testprozesses. Zunächst lässt sich präzise fassen, wann ein Satz von Tests die Anforderung überdeckt. Möglich ist weiterhin, die Zustandsdiagramme soweit zu präzisieren, dass sie zu ausführbaren Beschreibungen der Systeme werden. Dann lässt sich auch die Erstellung von Testsätzen wirkungsvoll unterstützen. Dies kann bis zu einer vollständigen Automatisierung des gesamten Testprozesses gehen. Das liegt in der prinzipiellen Reichweite heutzutage verfügbarer Werkzeuge. Es bleibt, dies in praktischer Anwendung zu erproben.