• DocumentCode
    3093127
  • Title

    A comparison of Defensive Development and Design by ContractTM

  • Author

    Firesmith, Donald G.

  • fYear
    1999
  • fDate
    36373
  • Firstpage
    258
  • Lastpage
    267
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Technology of Object-Oriented Languages and Systems, 1999. TOOLS 30 Proceedings
  • Conference_Location
    Santa Barbara, CA
  • Print_ISBN
    0-7695-0278-4
  • Type

    conf

  • DOI
    10.1109/TOOLS.1999.787554
  • Filename
    787554
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3093127