Successful testing does not mean absence of bugs Tests do not prove [Absence of bugs
Edsger W. Dijkstra, writing in 1969, on page 7 (page 11 in PDF) of “Notes On Structured Programming” (EWD249), says “Program testing can be used to show the presence of bugs, but never to show their absence!” Testing can show the presence of defects, but never to show their absence!
This page is auto-translated from /nishio/テストはバグの不在を証明しない using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I’m very happy to spread my thought to non-Japanese readers.