GENERALIZED MARKOVIAN SOFTWARE RELIABILITY MODELING AND ITS ALTERNATIVE CALCULATION
Koichi Tokuno, TAKAHIRO KODERA, Shigeru Yamada · International Journal of Reliability Quality and Safety Engineering · 2009
In this paper, we attempt generalization of the Markovian software reliability model (MSRM). Defining the stochastic process whose state space is the cumulative number of corrected faults, we show the theoretical framework of the MSRM by assuming that the time interval between software failures is distributed generally. We also consider the imperfect debugging environment where the debugging activities are uncertain. Several software reliability assessment measures are expressed with the distribution of the transition time between arbitrary two states. Furthermore, we propose the approximation method for practical computation of the quantitative measures. Finally, we investigate the validity of our proposed approximation method.