NDLI: On the relation between design contracts and errors: a software development strategy

Content Provider	IEEE Xplore Digital Library
Author	Nordby, E.J. Blom, M. Brunstrom, A.
Copyright Year	2002
Description	Author affiliation: Comput. Sci., Karlstad Univ., Sweden (Nordby, E.J.)
Abstract	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 resulting faults 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 releasing, the contracts governing external interfaces should be weakened and error management of external errors enabled. This transformation of a strong contract to a weak one is harmless to client modules.
Sponsorship	IEEE Comput. Soc. Tech. Committee on Eng. of Comput.-Based Syst
Starting Page	110
Ending Page	117
File Size	346121
Page Count	8
File Format	PDF
ISBN	0769515495
DOI	10.1109/ECBS.2002.999829
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2002-04-08
Publisher Place	Sweden
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Contracts Programming Computer errors Software systems Systems engineering and theory Software design Design engineering Fault detection Computer science Product design
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A Product Engineering Approach to Software Development

Hierarchical design and analysis of fault-tolerant multiprocessor systems using concurrent error detection

A study on exception detection and handling using aspect-oriented programming

A Study of Modified Testing-Based Fault Localization Method

A design tool for fault tolerant software

On the Relation between Design Contracts and Errors: a Software Development Strategy (2002)

Decision-based software development: design and maintenance

Panel Description: New Paradigms in Software Testing - Towards Solutions

Deriving fault-detection mechanisms from safety requirements

On the relation between design contracts and errors: a software development strategy

Similar Documents

A Product Engineering Approach to Software Development

Hierarchical design and analysis of fault-tolerant multiprocessor systems using concurrent error detection

A study on exception detection and handling using aspect-oriented programming

A Study of Modified Testing-Based Fault Localization Method

A design tool for fault tolerant software

On the Relation between Design Contracts and Errors: a Software Development Strategy (2002)

Decision-based software development: design and maintenance

Panel Description: New Paradigms in Software Testing - Towards Solutions

Deriving fault-detection mechanisms from safety requirements

On the relation between design contracts and errors: a software development strategy