Grenzen von Tests

Program testing can be a very effective
way to show the presence of bugs,
but it is hopelessly inadequate
for showing their absence.
-- Edsger W. Dijkstra

Alle Tests erfolgreich != Bugfreie Software
Manche Programmteile nur schwer oder gar nicht testbar
Manches nicht deterministisch genug für Tests
Race conditions