テストはバグの不在を証明しない
テストの成功はバグの不在を意味しない
テストは
バグの不在
を証明しない
https://gyazo.com/23c72afe7c113784e1d2848e5e48744b
https://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF
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
謙虚なるプログラマ
にもある