Abstract
This paper studies the fault detection process (FDP) and fault correction process (FCP) with the incorporation of testing effort function and imperfect debugging. In order to ensure high reliability, it is essential for software to undergo a testing phase, during which faults can be detected and corrected by debuggers. The testing resource allocation during this phase, which is usually depicted by the testing effort function, considerably influences not only the fault detection rate but also the time to correct a detected fault. In addition, testing is usually far from perfect such that new faults may be introduced. In this paper, we first show how to incorporate testing effort function and fault introduction into FDP and then develop FCP as delayed FDP with a correction effort. Various specific paired FDP and FCP models are obtained based on different assumptions of fault introduction and correction effort. An illustrative example is presented. The optimal release policy under different criteria is also discussed.
Highlights
As software is becoming more and more widely used, both the functionality and the correctness of software are of great concern
software reliability growth models (SRGMs) are very useful in the sense that they can help management making critical decisions, such as testing resource allocation and the determination of software release time [19,13,12]
In the following subsections various testing effort function (TEF) dependent fault detection process (FDP) and fault correction process (FCP) models are derived based on different assumptions on a(t) and f(x)
Summary
As software is becoming more and more widely used, both the functionality and the correctness of software are of great concern. The idea of modeling the fault correction process (FCP) was first proposed in Schneidewind [28], in which it was modeled as a separate process following the fault detection process (FDP) with a constant time lag. Based on this framework, Xie et al [33] and Wu et al [31] proposed several paired FDP and FCP models through incorporating other variants of debugging delay. A framework is proposed to develop testing effort dependent FDP and FCP models with the consideration of imperfect debugging.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
