Issue No. 10 - October (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.6196
<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>
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
"An Extended Domain-Based Model of Software Reliability," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 1512-1524, 1988.