For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Markovian Software Availability Measurement Based on the Number of Restoration Actions
Koichi TOKUNO Shigeru YAMADA
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/05/25
Print ISSN: 0916-8508
Type of Manuscript: Special Section PAPER (Special Section on Reliability Theory and Its Applications)
software availability, imperfect debugging, software reliability growth, Markov process, quantitative assessment,
Full Text: PDF>>
In this paper, we construct a software availability model considering the number of restoration actions. We correlate the failure and restoration characteristics of the software system with the cumulative number of corrected faults. Furthermore, we consider an imperfect debugging environment where the detected faults are not always corrected and removed from the system. The time-dependent behavior of the system alternating between up and down states is described by a Markov process. From this model, we can derive quantitative measures for software availability assessment considering the number of restoration actions. Finally, we show numerical examples of software availability analysis.