A Time/Structure Based Model for Estimating Software Reliability

Estimation of the probability of software failure during a speciied exposure period, also known as reliability, has long been an important subject of research. Several models for estimating software reliability exist. The Goel-Okumoto model and the Musa execution time model are two well known time-based models. Common characteristics of time-based models include neglect of program structure and use of time dependent data in the estimation of software reliability. In this paper we point out some fundamental problems with such an approach. We proposed two distinct approaches to reliability modeling. The approach described here leads to a class of models known as time/structure based models which extend the existing time-based models by using the notion of useless testing eeort. The other approach, described elsewhere, is purely structure based and makes use of the notion of code coverage and other fault related parameters. A common characteristic of both the approaches is that they incorporate features of testing e.g. data ow or mutation testing, during the integration test phase of the software development cycle. While the pure structure based approach requires the use of certain testing methods, the time/structure based approach does not. We expect these approaches to lead to new and novel ways of estimating software reliability.

[1]  John D. Musa,et al.  Software reliability - measurement, prediction, application , 1987, McGraw-Hill series in software engineering and technology.

[2]  John D. Musa,et al.  Software reliability measurement , 1984, J. Syst. Softw..

[3]  Siddhartha R. Dalal,et al.  Some Graphical Aids for Deciding When to Stop Testing Software , 1990, IEEE J. Sel. Areas Commun..

[4]  Timothy Alan Budd,et al.  Mutation analysis of program test data , 1980 .

[5]  Amrit L. Goel,et al.  Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures , 1979, IEEE Transactions on Reliability.

[6]  Amrit L. Goel,et al.  Software Reliability Models: Assumptions, Limitations, and Applicability , 1985, IEEE Transactions on Software Engineering.

[7]  Roger C. Cheung,et al.  A User-Oriented Software Reliability Model , 1978, IEEE Transactions on Software Engineering.

[8]  G. Tamkovich The Program. , 1909, California state journal of medicine.

[9]  Lori A. Clarke,et al.  A Formal Evaluation of Data Flow Path Selection Criteria , 1989, IEEE Trans. Software Eng..

[10]  Donald E. Knuth A torture test for TEX , 1984 .