A Markovian software availability model with a geometrically decreasing perfect debugging rate
Koichi Tokuno, Shigeru Yamada · International Journal of Manufacturing Technology and Management · 2003
This paper discusses a software availability model considering an imperfect debugging environment where the detected faults are not always corrected and removed from the software system. In particular, we assume that perfect debugging activities become more difficult with the increasing number of corrected faults. The failure and restoration characteristics of the system are related to the cumulative number of corrected faults. The time-dependent behaviour of the system alternating between up and down states is described by a Markov process. From this model, we can derive several stochastic quantities for software availability measurement.