Analysis of software fault removal policies using a non-homogeneous continuous time Markov chain

被引:49
作者
Gokhale, SS [1 ]
Lyu, MR
Trivedi, KS
机构
[1] Univ Connecticut, Dept Comp Sci & Engn, Storrs, CT 06269 USA
[2] Chinese Univ Hong Kong, Dept Comp Sci & Engn, Shatin, Hong Kong, Peoples R China
[3] Duke Univ, Dept Elect & Comp Engn, Durham, NC 27708 USA
关键词
software reliability; fault removal; non-homogeneous continuous time Markov chain;
D O I
10.1023/B:SQJO.0000034709.63615.8b
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Software reliability is an important metric that quantifies the quality of a software product and is inversely related to the residual number of faults in the system. Fault removal is a critical process in achieving desired level of quality before software deployment in the field. Conventional software reliability models assume that the time to remove a fault is negligible and that the fault removal process is perfect. In this paper we examine various kinds of fault removal policies, and analyze their effect on the residual number of faults at the end of the testing process, using a non-homogeneous continuous time Markov chain. The fault removal rate is initially assumed to be constant, and it is subsequently extended to cover time and state dependencies. We then extend the non-homogeneous continuous time Markov chain (NHCTMC) framework to include imperfections in the fault removal process. A method to compute the failure intensity of the software in the presence of explicit fault removal is also proposed. The fault removal scenarios can be easily incorporated using the state-space view of the non-homogeneous Poisson process.
引用
收藏
页码:211 / 230
页数:20
相关论文
共 26 条
[1]  
[Anonymous], HDB SOFTWARE RELIABI
[2]   SOME GRAPHICAL AIDS FOR DECIDING WHEN TO STOP TESTING SOFTWARE [J].
DALAL, SR ;
MALLOWS, CL .
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 1990, 8 (02) :169-175
[3]  
DEFAMIE M, 1999, P INT C SOFTW MAINT
[4]   TIME-DEPENDENT ERROR-DETECTION RATE MODEL FOR SOFTWARE RELIABILITY AND OTHER PERFORMANCE-MEASURES [J].
GOEL, AL ;
OKUMOTO, K .
IEEE TRANSACTIONS ON RELIABILITY, 1979, 28 (03) :206-211
[5]   SOFTWARE-RELIABILITY MODELS - ASSUMPTIONS, LIMITATIONS, AND APPLICABILITY [J].
GOEL, AL .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (12) :1411-1423
[6]  
GOKHALE S, 2003, P 28 IEEE NASA WORKS
[7]  
GOKHALE S, 1996, P INT S SOFTW REL EN, P289
[8]  
GOKHALE S, 1997, P COMP ASS COMPASS 9, P105
[9]   A time/structure based software reliability model [J].
Gokhale, SS ;
Trivedi, KS .
ANNALS OF SOFTWARE ENGINEERING, 1999, 8 (1-4) :85-121
[10]   Log-logistic software reliability growth model [J].
Gokhale, SS ;
Trivedi, KS .
THIRD IEEE INTERNATIONAL HIGH-ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 1998, :34-41