Title: A Markovian software availability model with a geometrically decreasing perfect debugging rate

Authors: Koichi Tokuno, Shigeru Yamada

Addresses: Department of Social Systems Engineering, Faculty of Engineering, Tottori University, 4-101, Koyama, Tottori-shi, 680-8552, Japan. Department of Social Systems Engineering, Faculty of Engineering, Tottori University, 4-101, Koyama, Tottori-shi, 680-8552, Japan

Abstract: 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.

Keywords: software availability; imperfect debugging; fault complexity; software reliability growth.

DOI: 10.1504/IJMTM.2003.002532

International Journal of Manufacturing Technology and Management, 2003 Vol.5 No.1/2, pp.71-80

Published online: 23 Jul 2003 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article