2. Verifikation, Validierung und Testen - Praktische Informatik ...

Der Tester kennt beim Black-Box-Test nur was eine Funktion macht aber nicht
wie diese Funktion arbeitet. Der Tester muss nicht Programmierkenntnisse
haben und er orientiert sich nur am Benutzerhandbuch, Lastheft der Software,
Spezifikation der Software, um die Testfälle als Eingabe zu definieren. Die
Ausgabe wird danach verglichen, ob sie gleich ist mit der richtigen Ausgabe, die
in der Spezifikation steht.
Um alle Fehler zu finden, muss ein vollständiger Test ausgeführt werden. Das
bedeutet, dass nicht nur alle zulässigen Eingaben getestet werden müssen,
sondern die fehlerhaften Eingaben müssen auch getestet werden.
Für die Testfallbestimmung gibt es drei wichtige Verfahren:
* Äquivalenzklassenbildung (Equivalence Partitioning)
* Grenzwertanalyse (Boundary Value Analysis)
* Test spezieller Werte (Error-Guessing)
3.1 Äquivalenzklassenbildung (Equivalence Partitioning)
Eine Äquivalenzklasse ist eine Menge von Eingabewerten, die auf ein
Programm eine gleichartige Wirkung ausüben. Das bedeutet, dass wenn ein
Element in einer Äquivalenzklasse als Eingabe zu einem Fehler führt, alle
anderen Elemente in dieser Klasse mit der größten Wahrscheinlichkeit zu dem
gleichen Fehler führen werden.
Wenn ein Testfall in einer Äquivalenzklasse keinen Fehler entdeckt, so erwartet
man, dass alle anderen Testfälle keine Fehler entdecken.
Wir betrachten das erste Beispiel
Das Testprogramm sieht so aus:
/* COPYRIGHT © 1994 by George E. Thaller
All rights reserved
Function : Black Box
Equivalence Partitioning
*/
#include
main ()
{
int i, z, day, month, year ;
printf(“\nTAG MONAT WOCHENTAG\n\n”);
/* Test Case 1 */
day = 22; month = 6; year = 1994;