A Markovian Imperfect Debugging Model for Software Reliability Measurement

Koichi TOKUNOH  Shigeru YAMADA  Shunji OSAKI  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E75-A   No.11   pp.1590-1596
Publication Date: 1992/11/25
Online ISSN: 
DOI: 
Print ISSN: 0916-8508
Type of Manuscript: PAPER
Category: Reliability, Availability and Vulnerability
Keyword: 
software reliability measurement,  imperfect debugging,  semi-Markov process,  software reliability growth,  

Full Text: PDF>>
Buy this Article




Summary: 
Actual debugging actions during the testing phase in the software development and the operation phase are not always performed perfectly. In other words, all detected software faults are not corrected and removed certainly. Generally, this is called imperfect debugging. In this paper, we discuss a software reliability growth model considering imperfect debugging that faults are not always corrected/removed when they are detected. Defining a random variable representing the cumulative number of faults corrected up to a specified testing time, this model is described by a semi-Markov process. We derive various quantitative measures for software reliability assessment and show their numercal examples.