On the Relation between Design Contracts and Errors: A Software Development Strategy

When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors cannot be eliminated and must be tolerated by the system, while the number of internal errors should be minimized and the faults they result in should be detected and removed. This paper presents a development strategy based on design contracts and a case study of an industrial project in which the strategy was successfully applied. The goal of the strategy is to minimize the number of internal errors during the development of a software system while accommodating external errors. A distinction is made between weak and strong contracts. These two types of contracts are applicable to external and internal errors respectively. According to the strategy, strong contracts should be applied initially to promote the correctness of the system. Before release, the contracts governing external interfaces should be weaken...

• Type: Conference
• Year: 2002
• Where: ECBS
• Authors: Eivind J. Nordby, Martin Blom, Anna Brunstrom
• Keywords: ECBS 2002, External Errors, Hardware, Internal Errors, Strong Contract