“Program testing can be used to show the presence of bugs, but never to show their absence!”

Dijkstra (1970) " Notes On Structured Programming http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF" (EWD249), Section 3 ("On The Reliability of Mechanisms"), corollary at the end.
1970s
Variant: Program testing can be a very effective way to show the presence of bugs, but it is hopelessly inadequate for showing their absence.

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "Program testing can be used to show the presence of bugs, but never to show their absence!" by Edsger W. Dijkstra?
Edsger W. Dijkstra photo
Edsger W. Dijkstra 68
Dutch computer scientist 1930–2002

Related quotes

Edsger W. Dijkstra photo

“Testing shows the presence, not the absence of bugs”

Edsger W. Dijkstra (1930–2002) Dutch computer scientist

Dijkstra (1969) J.N. Buxton and B. Randell, eds, Software Engineering Techniques, April 1970, p. 16. Report on a conference sponsored by the NATO Science Committee, Rome, Italy, 27–31 October 1969. http://homepages.cs.ncl.ac.uk/brian.randell/NATO/nato1969.PDF Possibly the earliest documented use of the famous quote.
1960s

Pat Murphy photo
Lance Armstrong photo
Shams-i Tabrizi photo

“The salat can be made up for, but there is no making up for false show or outward worship without presence.”

Shams-i Tabrizi (1185–1248) 1185-1248, spiritual instructor of Mewlānā Jalāl ad-Dīn Muhammad Balkhi.

Me & Rumi (2004)

Robert A. Dahl photo

“In a magic show, mystification is a good thing, but it is hardly to be commended in an economic program.”

Robert A. Dahl (1915–2014) American political scientist

After the Revolution? (1970; 1990), Ch. 4 : From Principles to Problems

Niklaus Wirth photo

“Experience shows that the success of a programming course critically depends on the choice of these examples.”

Niklaus Wirth (1934) Swiss computer scientist

Program Development by Stepwise Refinement (1971)

Elon Musk photo
Eckhart Tolle photo

“The past cannot survive in your presence. It can only survive in your absence.”

Source: The Power of Now (1997), p. 76

Sherman Alexie photo

Related topics