Vortragsprogramm

Test Strategy Patterns: Testen von ereignisgesteuerten sicherheitskritischen Systemen

Der Test von hochzuverlässigen Systemen muss sicherstellen, dass alle funktionalen als auch nichtfunktionalen Anforderungen, wie z.B. Zuverlässigkeit und Verfügbarkeit, erfüllt sind. Außerdem müssen die relevanten Sicherheitsstandards wie z.B. CENELEC eingehalten werden.
Zunehmender Kostendruck zwingt allerdings auch hier zur weiteren Effizienzsteigerung in Entwicklung, QS und Test. Aktuelle Ansatzpunkte dazu sind u.a. die Verbesserung von Testbarkeit, Requirements Tracing und Testfall-Generierung.

Anhand einer Fallstudie aus dem Bereich elektronischer Stellwerke für die Bahn wird der Stand der Technik des Testens solcher Systeme gezeigt. Test Strategy Patterns, die sich bei der Verifikation und Validierung solcher Systeme bewährt haben, werden herausgearbeitet und vorgestellt.