Erstellen einer Reihe von Testfällen, um das Softwareverhalten in Abhängigkeit von den Spezifikationen zu überprüfen. Diese Testfälle werden dann bei der anschließenden Prüfung verwendet.