DocumentCode :
3284313
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
fYear :
1999
fDate :
36434
Firstpage :
137
Lastpage :
146
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Automated Software Engineering, 1999. 14th IEEE International Conference on.
Conference_Location :
Cocoa Beach, FL
Print_ISBN :
0-7695-0415-9
Type :
conf
DOI :
10.1109/ASE.1999.802168
Filename :
802168
Link To Document :
بازگشت