Zitat von
shmia:
Der Softwareentwickler ... testet seine Software bis alle Fehler eliminiert sind.
Wirklich alle Fehler? Dann sind das bei Microsoft wohl auch nur alles Coder
Um sicher zu gehen, dass alle Fehler eliminiert sind, muss man (mathematisch) beweisen, dass das Programm fehlerfrei ist. Das Testen alleine reicht nur, um zu zeigen, dass Fehler vorhanden sind, nicht jedoch um zu zeigen, dass sie nicht vorhanden sind.
MfG
Binärbaum