Abstract
Equipping software with contracts, especially in the case of library components, opens up a whole range of applications. I will describe two of them, part of current work in the chair of software engineering at ETH. The first is automatic, “push-button” testing of contract-equipped components. The second is mathematical proof that such components satisfy their contracts. In both cases the effort is made more interesting by the existence of library versions that are fully contracted” thanks to the use of model classes based on set-theoretical concepts. Both the tests and the proofs apply to actual libraries as used in practical software development.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Meyer, B. (2006). Doing More with Contracts: Towards Automatic Tests and Proofs. In: Guelfi, N., Savidis, A. (eds) Rapid Integration of Software Engineering Techniques. RISE 2005. Lecture Notes in Computer Science, vol 3943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11751113_1
Download citation
DOI: https://doi.org/10.1007/11751113_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34063-8
Online ISBN: 978-3-540-34064-5
eBook Packages: Computer ScienceComputer Science (R0)