Ziel ist es, die Übereinstimmung eines Softwaresystems mit seiner Spezifikation zu überprüfen.
Dazu werden Testfälle erstellt, die die Funktionalität des Systems unter verschiedenen Bedingungen überprüfen. Die Ergebnisse werden dann mit der Spezifikation verglichen, um sicherzustellen, dass das System korrekt funktioniert.