Q: Warum kann man mithilfe eines Softwaretests nicht nachweisen, dass ein Programm fehlerfrei ist?

A:
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.