Title :
A comparison of Defensive Development and Design by ContractTM
Author :
Firesmith, Donald G.
Abstract :
The paper briefly defines and discusses assertions and their uses before summarizing Design by Contract and Defensive Development. This provides a foundation for the following comparison of their similarities as well as their respective strengths and weaknesses. The paper concludes by arguing that Defensive Development is superior to Design by Contract, largely because of how they differ in assigning the responsibility for checking and ensuring preconditions
Keywords :
abstract data types; formal specification; object-oriented programming; software quality; Defensive Development; Design by Contract; OOP; assertions; object oriented programming; precondition checking; Contracts; Encapsulation; Java; Quality assurance; Robustness; Safety; Software design; Software maintenance; Software testing;
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 1999. TOOLS 30 Proceedings
Conference_Location :
Santa Barbara, CA
Print_ISBN :
0-7695-0278-4
DOI :
10.1109/TOOLS.1999.787554
