FH München FB 07 Informatik/Mathematik Projektstudium Chipkarten SS 2001 Qualitätssicherung Koerner Constanze Fleischhut Oliver Beese Stefan Hüttlinger Martin Frers Michael Mit freundlicher Unterstützung von
Projektstudium Chipkarten SS 2001 Qualitätssicherung Verifikation Spezifikationen überprüfen 1.Funktionen 2.Vorrausetzungen 3.Internes Design –Jede einzelne Stufe wird von der QS nach Fehlern und Widersprüchen durchgesehen.
Projektstudium Chipkarten SS 2001 Qualitätssicherung Validieren Code und Spezifikation überprüfen 1.Einfache Methoden 2.Integrationen 3.Komplexe Funktionen 4.gesamtes System
Projektstudium Chipkarten SS 2001 Qualitätssicherung Dies ist keine vollständige Spezifikation!!!
Projektstudium Chipkarten SS 2001 Qualitätssicherung Willkommensbildschirm: Menü: Abfrage: ist CK vorhanden Hilfe Karte authentifizieren Hilfe Fehlermeldung PIN-Gruppe: PIN-Abfrage + Fehlermeldungen Menü: SendenEmpfangen Text in Textfeld eingeben (=Zu signierender Text) Prüfung: Textfeld gefüllt Button „Versenden“ Signieren und speichern Logout, Daten löschen Datei einlesen Hash-Wert berechnen Hash, Schlüsselnr, Signatur an CK Return von CK Code != 9000 Dok. Nicht integerCode == 9000 Dok. integer Beispiel für ein gutes Ablaufdiagramm
Projektstudium Chipkarten SS 2001 Qualitätssicherung Beispiele für Testcases Bad case Falsche Länge bei Change_PIN Authenticate B Verify_Pin B Change_Pin B Erwarteter Wert: 0x6700 Good case Pin ändern authenticate b pin_richtig b change_pin b Erwateter Wert: 0x9000 Successful processing