The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - October (1988 vol.14)
pp: 1512-1524
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. 10, pp. 1512-1524, October 1988, doi:10.1109/32.6196
SEARCH
73 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool