テストはバグの不在を証明しない

テストの成功はバグの不在を意味しない

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

nishio

テストは[バグの不在]を証明しない

[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!"と書いています。[https://note.com/akiyama924/n/ne92b6ece48a1 テストは欠陥があることは示せるが、欠陥がないことは示せない｜Kouichi Akiyama｜note]

[謙虚なるプログラマ]にもある

Related Pages