A Markovian software availability model with a geometrically decreasing perfect debugging rate. (1st January 2003)

• Record Type: Journal Article
• Authors: Tokuno, Koichi; Yamada, Shigeru
• Is Part Of: International journal of manufacturing technology and management. Volume 5:Number 1/2(2003)
• Page Start: 71
• Page End: 80
• Publication Date: 2003-01-01
• Subjects: software availability -- imperfect debugging -- fault complexity -- software reliability growth; Manufacturing processes -- Periodicals; Manufacturing processes -- Automation -- Periodicals; Production management -- Periodicals; 670.427068
• Languages: English
• ISSNs: 1368-2148

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.