Der Tester versucht Umstände zu entdecken, bei denen
sich das Programm nicht gemäß den Spezifikationen verhält.
Die Testdaten werden nur aus der Programmspezifikation abgeleitet,
ohne die interne Struktur des Programms zu kennen.
Will man mit diesem Verfahren alle Fehler finden, so bedarf
es eines vollständigen Eingabetests, d.h. man müßte
eine unendliche Anzahl von Eingaben prüfen.
Also
Man kann ein Programm nicht so testen, dass seine Fehlerfreiheit
garantiert wird.
Ein fundamentaler Gesichtspunkt beim Programmtesten ist die
Wirtschaftlichkeit.
neues Testziel:
Bei einer endlichen Anzahl von Testfällen
ist die Anzahl der entdeckten Fehler
zu maximieren.
