This Article 
 Bibliographic References 
 Add to: 
An Extended Domain-Based Model of Software Reliability
October 1988 (vol. 14 no. 10)
pp. 1512-1524

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.

[1] B.W. Boehm, J.R. Brown, and M. Lipow, "Quantitative Evaluation of Software Quality,"Proc. Second Int'l Conf. Software Eng., IEEE CS Press, Los Alamitos, Calif., Order No. 104 (microfiche only), 1976, pp. 592-605.
[2] J. R. Brown and M. Lipow, "Testing for software reliability," inProc. Int. Conf. Reliable Software, Los Angeles, CA, Apr. 1975, pp. 518-527.
[3] M. Davis,Computability and Unsolvability. New York: Dover, 1982.
[4] M. D. Davis and E. J. Weyuker,Computability, Complexity, and Languages. New York: Academic, 1983.
[5] A. L. Goel, "A guidebook for software reliability assessment," Syracuse Univ., Syracuse, NY, Tech. Rep. No. 83-11, Apr. 1983.
[6] A. L. Goel, "A summary of the discussion on 'An analysis of competing software reliability models,'"IEEE Trans. Software Eng., vol. SE- 6, pp. 501-502, Sept. 1980.
[7] H. Hecht, "Mini-tutorial on software reliability," inProc. IEEE COMPSAC80, Chicago, IL, 1980, pp. 383-385.
[8] W. E. Howden, "Reliability of the path analysis testing strategy,"IEEE Trans. Software Eng., vol. SE-2, pp. 208-215, Sept. 1976.
[9] A. Iannino, J. D. Musa, K. Okumoto, and B. Littlewood, "Criteria for software reliability model comparisons,"IEEE Trans. Software Eng., vol. SE-10, pp. 687-691, Nov. 1984.
[10] IEEE Standard Dictionary of Electrical and Electronic Terms. 2nd ed. New York: IEEE Press, 1977.
[11] W. H. MacWilliams, "Reliability of large real-time control software systems," inRec. 1973 IEEE Symp. Comput. Software Reliability, New York, Apr. 1973, pp. 1-6.
[12] C. V. Ramamoorthy and F. B. Bastani, "Software reliability--Status and perspectives,"IEEE Trans. Software Eng., vol. SE-8, pp. 354- 370, July 1982.
[13] R. J. Rubey, J. A. Dana, and P. W. Biché, "Quantitative aspects of software validation," inTutorial: Software Testing&Validation Techniques, 2nd ed., E. Miller and W. E. Howden, Eds. Washington, DC: IEEE Computer Society Press, 1981.
[14] G. J. Schick and R. W. Wolverton, "An analysis of competing software reliability models,"IEEE Trans. Software Eng., vol. SE-4, pp. 104-120, Mar. 1978.
[15] M. L. Shooman,Software Engineering. New York: McGraw-Hill, 1983.
[16] T. A. Thayer, M. Lipow, and E. C. Nelson,Software Reliability(TRW Ser. Software Technol. 2). New York: North-Holland, 1978.

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
"An Extended Domain-Based Model of Software Reliability," IEEE Transactions on Software Engineering, vol. 14, no. 10, pp. 1512-1524, Oct. 1988, doi:10.1109/32.6196
Usage of this product signifies your acceptance of the Terms of Use.