Title :
Combining fault avoidance, fault removal and fault tolerance: an integrated model
Author :
Mili, A. ; Cukic, B. ; Xia, T. ; Ben Ayed, R.
Author_Institution :
Inst. for Software Res., Fairmont, WV, USA
Abstract :
Fault avoidance, fault removal and fault tolerance represent three successive lines of defense against the contingency of faults in software systems and their impact on system reliability. Beyond the colorful discussions of the relative merits of these techniques, the law of diminishing returns advocates that they be used in concert, where each is applied whenever it is most effective. Such a premise remains an idle act of faith so long as these techniques cannot be captured by a uniform model. This paper proposes such a model and illustrates how it can be used in practice to improve the quality of software products
Keywords :
program debugging; software fault tolerance; software quality; fault avoidance; fault contingency; fault removal; fault tolerance; formal specification; formal verification; integrated model; law of diminishing returns; program validation; software product quality; system reliability; uniform model; Aggregates; Application software; Calculus; Computer languages; Fault tolerance; Formal specifications; Programming; Software maintenance; Software measurement; Software quality;
Conference_Titel :
Automated Software Engineering, 1999. 14th IEEE International Conference on.
Conference_Location :
Cocoa Beach, FL
Print_ISBN :
0-7695-0415-9
DOI :
10.1109/ASE.1999.802168