Complete contracts through specification drivers
Software Engineering
2016-02-15 v1
Abstract
Existing techniques of Design by Contract do not allow software developers to specify complete contracts in many cases. Incomplete contracts leave room for malicious implementations. This article complements Design by Contract with a simple yet powerful technique that removes the problem without adding syntactical mechanisms. The proposed technique makes it possible not only to derive complete contracts, but also to rigorously check and improve completeness of existing contracts without instrumenting them.
Keywords
Cite
@article{arxiv.1602.04007,
title = {Complete contracts through specification drivers},
author = {Alexandr Naumchev and Bertrand Meyer},
journal= {arXiv preprint arXiv:1602.04007},
year = {2016}
}
Comments
8 pages; 11 figures; submitted to TASE 2016; pending for acceptance decision