SIGNAL+DRAHT | Ausgabe 05/2020
Modellierung wartbarer Softwaretests für Embedded-Systeme in der Bahndomäne
Zunehmend komplexere Bahnanwendungen erhöhen die Aufwände in der Definition, Implementierung und Durchführung von Testfällen. Die konsequente Modellierung des system under test (SUT) mit semiformalen Beschreibungsmitteln leistet einen Beitrag zur Beherrschung der Komplexität. Testaufwände werden reduziert, indem gleiche Testcodeanteile nur einmal definiert und geprüft werden und anschließend wiederverwendet werden können. Des Weiteren erhöht die Abstraktion durch Modellierung von Tests die Verständlichkeit von Testfällen, sodass dadurch die Aufwände für Reviewverfahren minimiert werden können...