Warum kann man mithilfe eines Softwaretests nicht nachweisen, dass ein Programm fehlerfrei ist?
Der Grund ist, dass alle Programmfunktionen und auch alle möglichen Werte in den Eingabedaten in allen ihren Kombination getestet werden müssten – was (außer bei sehr einfachen Testobjekten) praktisch nicht möglich ist.