Model-based security testing. Results from industrial case studies

Modellbasiertes Sicherheitstesten (MBST) ist ein relativ junges Anwendungsgebiet automatisierter Tests. Es zielt auf die systematische und effiziente Spezifikation, Generierung, Ausführung und Dokumentation der Testziele, Testfälle und Ergebnisse. Insbesondere ist die Anwendung der Modellierungs- und Generierungstechnologien für die industrielle Anwendung wesentlich. Dem stellt sich das europäische ITEA Projekt DIAMONDS und entwickelt entlang industrieller Fallstudien aus sechs Bereichen wie Banking oder Automotive effektive MBST Methoden für sicherheitskritische Systeme der Industrie. So sind Innovationen in der Methodik, den Verfahren und Werkzeugen für automatisierte Sicherheitstests, die sowohl für aktive als auch passive (Monitoring) Testansätze genutzt werden können. Der Vortrag gibt einen Überblick zu den Fallstudien und Ergebnissen von DIAMONDS und wird die beiden deutschen Fallstudien mit Giesecke&Devrient und Dornier Consulting im Detail erläutern.