Prüfstrategie für Chipkartensoftware von Ausweisdokumenten

Diplomarbeit aus dem Jahr 2009 im Fachbereich Informatik - Sonstiges, Note: 1,0, Humboldt-Universität zu Berlin (Informatik), Sprache: Deutsch, Anmerkungen: Diese Diplomarbeit beschäftigt sich mit der Konzeption von Testspezifikationen nach dem Classification-Tree-Ansatz. Die vorgestellte Prüfstrategie verwendet als primäres Beispiel die elektronische Personalausweis-Spezifikation TR-03110. Hierfür wurden einige Analysen der dort vorkommenden Algorithmen PACE, CA und TA vorgenommen. , Abstract: Chipkartensoftware von elektronischen Ausweisdokumenten darf aufgrund der hohen Sicherheitsanforderungen nicht nachträglich veränderbar sein und muss daher eine höhere Qualität als Computersoftware besitzen, weil Fehler nicht durch das Einspielen von Updates korrigierbar sind, sondern nur durch Rückruf und Austausch behoben werden können. Die hohen Qualitätsziele, die daher an Chipkartensoftware gestellt werden, können nur durch intensive Prüfung ab- gesichert werden. In der vorliegenden Arbeit entwerfen wir eine Prüfstrategie, die besonders auf die spezifischen Eigenschaften der Chipkartensoftware von elektronischen Ausweisdokumenten eingeht, mittels derer sich funktionale Systemtests aus einem Lastenheft (Spezifikation des Auftraggebers) ableiten lassen. Diese Prüfstrategie wenden wir auf die technische Spezifikation des neuen elektronischen Personalausweises an und vergleichen den resultierenden funktionalen Systemtest mit einem für den elektronischen Personalausweis konzipierten Systemtest, der erfahrungsbasiert entwickelt wurde.