Issue No. 10 - October (1988 vol. 14)

ISSN: 0098-5589

pp: 1512-1524

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.6196

ABSTRACT

<p>A definition of software reliability is proposed in which reliability is treated as a generalization of the probability of correctness of the software in question. A tolerance function is introduced as a method of characterizing an acceptable level of correctness. This in turn is used, together with the probability function defining the operational input distribution, as a parameter of the definition of reliability. It is shown that the definition can be used to provide many natural models of reliability by varying the tolerance function and that it may be reasonably approximated using well-chosen test sets. It is also shown that there is an inherent limitation to the measurement of reliability using finite test sets.</p>

INDEX TERMS

extended domain-based model; software reliability; correctness; tolerance function; probability function; operational input distribution; test sets; probability; program testing; program verification; programming theory; software reliability

CITATION

"An Extended Domain-Based Model of Software Reliability",

*IEEE Transactions on Software Engineering*, vol. 14, no. , pp. 1512-1524, October 1988, doi:10.1109/32.6196