AktuellModell-basiertes Testen sicherheitskritischer Anwendungen
Ansprechpartner: Nina Moebius, Kurt Stenzel
Ausgangssituation:
Die Arbeit bettet sich ein in das Projekt SecureMDD, dessen Ziel die modellgetriebene Entwicklung sicherheitskritscher Anwendungen ist. Hier soll, aus einem gemeinsamen plattformunabhängigen UML-Modell der Anwendung, zum einen eine lauffähige Implementierung sowie ein formales Modell mittels Model-zu-Modell (M2M) sowie Modell-zu-Text (M2T) Transformationen erzeugt werden. Im Fokus stehen Smartcard Anwendungen, d.h. der generierte Code soll auf Java Smartcards lauffähig sein.
Ziel der Arbeit:
In dieser Arbeit sollen anhand der UML Modelle der Anwendung Tests für die Java Card Implementierung generiert werden. Dies umfasst sowohl das Testen, ob ein korrekter Programmlauf möglich ist sowie Tests gegenüber bestimmten Angriffen auf das System. Hierfür ist auch eine Analyse bestehender Arbeiten zu diesem Thema notwendig.
Voraussetzungen:
- Lehrveranstaltung Softwaretechnik
- Kenntnisse bei der Programmierung von Smartcards sind hilfreich
Zeitrahmen:
Beginn: ab Oktober