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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Meyer, B. (2006). Doing more with contracts: Towards automatic tests and proofs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3943 LNCS, p. 1). Springer Verlag. https://doi.org/10.1007/11751113_1
Mendeley helps you to discover research relevant for your work.