SIGNAL+DRAHT | Issue 12/2014
Integrationstests von Fahrstraßenlogiken
Das Ziel des Testens ist es, Fehler zufinden und Vertrauen ins System zu gewinnen. Bei der Entwicklung von sicherheitskritischer Stellwerkssoftware ist das Testen ein elementarer Teil der Entwicklung. Das Testen gliedert sich in verschiedene Teile, die unterschiedliche Aspekte beleuchten. In diesem Artikel wird der Integrationstest von Stellwerkslogiken betrachtet, der nachweisen soll, dass die Anforderungen in der Software umgesetzt wurden. Bedingt durch den generischen Ansatz von Software wird im Bereich der Stellwerkslogik der größte Teil der Funktionalität erst durch Vorgabe einer Konfiguration aktiv. In diesem Artikel wird ein Ansatz vorgestellt, Testfälle unabhängig von der Konfiguration zu formulieren und nach einem Umwandlungsprozess automatisiert auszuführen. Eine weitreichende Werkzeugunterstützung bei der Formulierung der Testfälle und aussagekräftige Analysemöglichkeiten ermöglichen effektives Arbeiten.