Abstract
The motivating ideal of my lifetime’s scientific research has been that of program correctness, achieved with the aid of mathematical proof. As suggested by Turing, Floyd, and others, the proofs would be based on the decoration of a program with assertions, that would be proved true if ever they were evaluated at the point where they were written in the code. During my long academic career, I regarded program testing as the main rival technology, and feared that improvement in the practice of testing would delay development and application of the superior technology of proof.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoare, S.T. (2010). Testing and Proving, Hand-in-Hand. In: Bottaci, L., Fraser, G. (eds) Testing – Practice and Research Techniques. TAIC PART 2010. Lecture Notes in Computer Science, vol 6303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15585-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-15585-7_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15584-0
Online ISBN: 978-3-642-15585-7
eBook Packages: Computer ScienceComputer Science (R0)