“The real value of tests is not that they detect bugs in the code, but that they detect inadequacies in the methods, concentration, and skills of those who design and produce the code.”

— C. A. R. Hoare

How Did Software Get So Reliable Without Proof? Lecture Notes in Computer Science vol 1051 1996 pp. 1-17 : FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings.

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 "The real value of tests is not that they detect bugs in the code, but that they detect inadequacies in the methods, con…" by C. A. R. Hoare?

C. A. R. Hoare16

British computer scientist 1934

Related quotes

“Real web designers write code. Always have, always will.”

Jeffrey Zeldman (1955) Internet pioneer

“Investigation?" Isabelle laughed. "Now we're detectives? Maybe we should all have code names."
"Good idea," said Jace. "I shall be Baron Hotschaft Von Hugenstein.”

Cassandra Clare book City of Bones

Source: City of Bones

“The Code-and-Fix Model. The basic model used in the earliest days of software development contained two steps:
:1. Write some code.
:2. Fix the problems in the code.
Thus, the order of the steps was to do some coding first and to think about the requirements, design, test, and maintenance later. This model has three primary difficulties: (a) After a number of fixes, the code became so poorly structured that subsequent fixes were very expensive. This underscored the need for a design phase prior to coding. (b) Frequently, even well designed software was such a poor match to users' needs that it was either rejected outright or expensively redevelopment…”

Barry Boehm (1935) American software engineer

Source: A spiral model of software development and enhancement. (1988), p. 61-62

“Beware of bugs in the above code; I have only proved it correct, not tried it.”

Donald Ervin Knuth (1938) American computer scientist

Donald Knuth's webpage http://www-cs-faculty.stanford.edu/~knuth/faq.html states the line was used to end a memo entitled Notes on the van Emde Boas construction of priority deques: An instructive use of recursion (1977)