テストの成功はバグの不在を意味しない テストはバグの不在を証明しない
Edsger W. Dijkstraは、1969年に執筆した”Notes On Structured Programming” (EWD249)の7ページ目（PDFでは11枚目）に、“Program testing can be used to show the presence of bugs, but never to show their absence!”と書いています。テストは欠陥があることは示せるが、欠陥がないことは示せない｜Kouichi Akiyama｜note
謙虚なるプログラマにもある