Markovian software reliability measurement with a geometrically decreasing perfect debugging rate

Authors:
Koichi Tokuno;Shigeru Yamada
Affiliations:
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
Venue:
Mathematical and Computer Modelling: An International Journal
Year:
2003

Citing 3
Cited 1

Software reliability: measurement, prediction, application

Software reliability: measurement, prediction, application
Handbook of software reliability engineering

Handbook of software reliability engineering
An imperfect debugging model with two types of hazard rates for software reliability measurement and assessment

Mathematical and Computer Modelling: An International Journal

Quantitative effects of software testing on reliability improvement in the presence of imperfect debugging

Information Sciences: an International Journal

Quantified Score

Hi-index	0.98

Visualization

Abstract

The assumption of perfect debugging is a controversial issue in software reliability modeling. Most existing software reliability models assume that all faults causing software failures are detectable and correctable, and that no new faults are introduced into the software system by debugging activities. This paper discusses a software reliability model for an imperfect debugging environment where the detected faults are not always corrected and removed from the system. Taking notice of the cumulative number of corrected faults, we relate the uncertainty of debugging activities to the increase in complexity of corrected faults. The stochastic behavior of the fault-correction phenomenon with imperfect debugging is described by a Markov process. Several quantitative measures for software reliability assessment are derived from this model.