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.
A Markovian Imperfect Debugging Model for Software Reliability Measurement
Koichi TOKUNOH Shigeru YAMADA Shunji OSAKI
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/11/25
Print ISSN: 0916-8508
Type of Manuscript: PAPER
Category: Reliability, Availability and Vulnerability
software reliability measurement, imperfect debugging, semi-Markov process, software reliability growth,
Full Text: PDF>>
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.