FH München FB 07 Informatik/Mathematik Projektstudium Chipkarten SS 2001 Qualitätssicherung Koerner Constanze Fleischhut Oliver Beese Stefan Hüttlinger.

Präsentation zum Thema: "FH München FB 07 Informatik/Mathematik Projektstudium Chipkarten SS 2001 Qualitätssicherung Koerner Constanze Fleischhut Oliver Beese Stefan Hüttlinger."—  Präsentation transkript:

1 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

2 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.

3 Projektstudium Chipkarten SS 2001 Qualitätssicherung Validieren Code und Spezifikation überprüfen 1.Einfache Methoden 2.Integrationen 3.Komplexe Funktionen 4.gesamtes System

4 Projektstudium Chipkarten SS 2001 Qualitätssicherung Dies ist keine vollständige Spezifikation!!!

5 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

6 Projektstudium Chipkarten SS 2001 Qualitätssicherung Beispiele für Testcases Bad case Falsche Länge bei Change_PIN Authenticate B0 11 00 00 00 00 Verify_Pin B0 12 00 00 02 1234 00 Change_Pin B0 13 00 00 02 1234 00 Erwarteter Wert: 0x6700 Good case Pin ändern authenticate b0 11 00 00 00 00 pin_richtig b0 12 00 00 02 1111 00 change_pin b0 13 00 00 04 1111 2222 00 Erwateter Wert: 0x9000 Successful processing