Software reliability analysis by considering fault dependency and debugging time lag

被引:85
作者
Huang, Chin-Yu [1 ]
Lin, Chu-Ti [1 ]
机构
[1] Natl Tsing Hua Univ, Dept Comp Sci, Hsinchu 300, Taiwan
关键词
fault correction; fault detection; non-homogeneous Poisson processes; software reliability growth models; software testing;
D O I
10.1109/TR.2006.879607
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Over the past 30 years, many software reliability growth models (SRGM) have been proposed. Often, it is assumed that detected faults are immediately corrected when mathematical models are developed. This assumption may not be realistic in practice because the time to remove a detected fault depends on the complexity of the fault, the skill and experience of personnel, the size of debugging team, the technique(s) being used, and so on. During software testing, practical experiences show that mutually independent faults can be directly detected and removed, but mutually dependent faults can be removed iff the leading faults have been removed. That is, dependent faults may not be immediately removed, and the fault removal process lags behind the fault detection process. In this paper, we will first give a review of fault detection & correction processes in software reliability modeling. We will then illustrate the, fact that detected faults cannot be immediately corrected with several examples. We also discuss the software fault dependency in detail, and study how to incorporate both fault dependency and debugging time lag into software reliability modeling. The proposed models are fairly general models that cover a variety of known SRGM under different conditions. Numerical examples are presented, and the results show that the proposed framework to incorporate both fault dependency and debugging time lag for SRGM has a better prediction capability. In addition, an optimal software release policy for the proposed models, based on cost-reliability criterion, is proposed. The main purpose is to minimize the cost of software development when a desired reliability objective is given.
引用
收藏
页码:436 / 450
页数:15
相关论文
共 44 条
[1]  
*AIAA, 1993, R0131992 ANSI AIAA
[2]  
Allen J. R., 1983, P 10 ACM SIGACT SIGP, P177
[3]  
Boehm B. W., 1981, SOFTWARE ENG EC
[4]   Modeling and analysis of correlated software failures of multiple types [J].
Dai, YS ;
Xie, M ;
Poh, KL .
IEEE TRANSACTIONS ON RELIABILITY, 2005, 54 (01) :100-106
[5]  
DOHI T, 1997, INT J RELIABILITY QU, V4, P241
[6]  
Evanco WM, 2001, FIFTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, P114, DOI 10.1109/CSMR.2001.914975
[7]   AN APPLICABLE FAMILY OF DATA FLOW TESTING CRITERIA [J].
FRANKL, PG ;
WEYUKER, EJ .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (10) :1483-1498
[8]  
GOEL AL, 1997, ADV COMPUT, V45, P197, DOI DOI 10.1016/S0065-2458(08)60709-32-S2.0-34047251087
[9]   Analysis of software fault removal policies using a non-homogeneous continuous time Markov chain [J].
Gokhale, SS ;
Lyu, MR ;
Trivedi, KS .
SOFTWARE QUALITY JOURNAL, 2004, 12 (03) :211-230
[10]   Failure correlation in software reliability models [J].
Goseva-Popstojanova, K ;
Trivedi, KS .
IEEE TRANSACTIONS ON RELIABILITY, 2000, 49 (01) :37-48