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

}
z = week_d(day, month, year);
printf (“%2d %2d %1d\n”, day, month, z);
/* Test Case 2 */
day = 19; month = 5; year = 1994;
z = week_d(day, month, year);
printf(“%2d %2d %1d\n”, day, month, z);
Das Modul wird mit der folgenden Anweisung aufgerufen:
week_d ( day, month, year);
Wir interessieren uns nicht im Sinne eines Black-Box-Tests, wie der Quellcode
dieses Moduls aussieht und wie das Ergebnis berechnet wird.
Das Datum eines Tages wird als Parameter gegeben und das Ergebnis ist eine
Zahl als Wochentag: der Sonntag bekommt die Zahl 0, der Montag bekommt die
Zahl 1 und dann so fort bis Samstag. Wenn dieses Testprogramm ausgeführt
wird, werden die folgenden Ergebnisse geliefert:
TAG MONAT WOCHENTAG
22 6 3
19 5 4
Wenn wir in den Kalender ansehen, wissen wir, dass die beiden Werte in
Ordnung sind.
Es werden eine gültige Äquivalenzklasse und zwei ungültige Äquivalenzklassen
für den Monat im obigen Beispiel gebildet.
Eine gültige Äquivalenzklasse :
1