메뉴 건너뛰기




Volumn 18, Issue 1, 1992, Pages 33-43

Estimating the Probability of Failure When Testing Reveals no Failures

Author keywords

Bavesian estimation input distributions proba; bility of failure; reusable software; software reliability; software testing

Indexed keywords

PROBABILITY--RANDOM PROCESSES;

EID: 0026679635     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.120314     Document Type: Article
Times cited : (215)

References (25)
  • 1
    • 0025516679 scopus 로고
    • A Bayesian estimation method for the failure rate of a possibly correct program
    • Nov.
    • G. Becker and L. Camarinopoulos, “A Bayesian estimation method for the failure rate of a possibly correct program,” IEEE Trans. Software Eng., vol. 16, pp. 1307–1310, Nov. 1990.
    • (1990) IEEE Trans. Software Eng , vol.16 , pp. 1307-1310
    • Becker, G.1    Camarinopoulos, L.2
  • 3
    • 0016726313 scopus 로고
    • Testing for software reliability
    • (Los Angeles, CA), Apr.
    • J. R. Brown and M. Lipow, “Testing for software reliability,” in Proc. Int. Conf. on Reliable Software (Los Angeles, CA), Apr. 1975, pp. 518–527.
    • (1975) Proc. Int. Conf. on Reliable Software , pp. 518-527
    • Brown, J.R.1    Lipow, M.2
  • 4
    • 84939365800 scopus 로고
    • A user-oriented software reliability model
    • Mar.
    • R. C. Cheung, “A user-oriented software reliability model,” IEEE Trans. Software Eng., vol. SE-6, pp. 118–125, Mar. 1980.
    • (1980) IEEE Trans. Software Eng , vol.SE-6 , pp. 118-125
    • Cheung, R.C.1
  • 5
    • 0021453259 scopus 로고
    • An evaluation of random testing
    • July
    • J. W. Duran and S. C. Ntafos, “An evaluation of random testing,” IEEE Trans. Software Eng., vol. SE-10, pp. 438–444, July 1984.
    • (1984) IEEE Trans. Software Eng , vol.SE-10 , pp. 438-444
    • Duran, J.W.1    Ntafos, S.C.2
  • 7
    • 0023331999 scopus 로고
    • Probable correctness theory
    • Apr.
    • R. G. Hamlet, “Probable correctness theory,” Inform. Proc. Lett., pp. 17–25, Apr. 1987.
    • (1987) Inform. Proc. Lett , pp. 17-25
    • Hamlet, R.G.1
  • 10
    • 0023385149 scopus 로고
    • Software reuse through building blocks
    • July
    • M. Lenz, H. A. Schmid, and P. F. Wolf, “Software reuse through building blocks,” IEEE Software, vol. 4, pp. 34–42, July 1987.
    • (1987) IEEE Software , vol.4 , pp. 34-42
    • Lenz, M.1    Schmid, H.A.2    Wolf, P.F.3
  • 11
    • 0025383829 scopus 로고
    • Reliability analysis of large software systems: defect data modeling
    • Feb.
    • Y. Levendel, “Reliability analysis of large software systems: defect data modeling,” IEEE Trans. Software Eng., vol. 16, pp. 141–152, Feb. 1990.
    • (1990) IEEE Trans. Software Eng , vol.16 , pp. 141-152
    • Levendel, Y.1
  • 12
    • 0016070256 scopus 로고
    • A Bayesian reliability model with a stochastically monotone failure rate
    • June
    • B. Littlewood and J. Verrall, “A Bayesian reliability model with a stochastically monotone failure rate,” IEEE Trans. Rel, vol. R-23, pp. 108–114, June 1974.
    • (1974) IEEE Trans. Rel , vol.R-23 , pp. 108-114
    • Littlewood, B.1    Verrall, J.2
  • 13
    • 0024167770 scopus 로고
    • Making statistical inferences about software reliability
    • Dec.
    • D. R. Miller, “Making statistical inferences about software reliability,” NASA Contractor Rep. No. 4197, Dec. 1988.
    • (1988) NASA Contractor Rep. No. 4197
    • Miller, D.R.1
  • 14
    • 0016440955 scopus 로고
    • The new math of computer programming
    • Jan.
    • H. D. Mills, “The new math of computer programming,” CACM, Vol. 18, No. 1, pp. 43–48, Jan. 1975.
    • (1975) CACM , vol.18 , Issue.1 , pp. 43-48
    • Mills, H.D.1
  • 15
    • 84945725091 scopus 로고
    • Error flow testing
    • Dept. Computer Sci., College of William and Mary, Williamsburg, VA, Tech. Rep. WM-90-1, Feb.
    • B. W. Murrill and L. J. Morell, “Error flow testing,” Dept. Computer Sci., College of William and Mary, Williamsburg, VA, Tech. Rep. WM-90-1, Feb. 1990.
    • (1990)
    • Murrill, B.W.1    Morell, L.J.2
  • 17
    • 0000679487 scopus 로고
    • Outline of a theory of statistical estimation based on the classical theory of probability
    • J. Neyman, “Outline of a theory of statistical estimation based on the classical theory of probability,” Phil. Trans. Roy. Soc., London A., Vol. 236, p. 333, 1937.
    • (1937) Phil. Trans. Roy. Soc., London A , vol.236 , pp. 333
    • Neyman, J.1
  • 18
    • 0020154271 scopus 로고
    • Software reliability—status and perspectives
    • July
    • C. V. Ramamoorthy and F. B. Bastini, “Software reliability—status and perspectives,” IEEE Trans. Software Eng., vol. SE-8, pp. 354–370, July 1982.
    • (1982) IEEE Trans. Software Eng , vol.SE-8 , pp. 354-370
    • Ramamoorthy, C.V.1    Bastini, F.B.2
  • 19
    • 0017949597 scopus 로고
    • An analysis of competing software reliability models
    • Mar.
    • 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.
    • (1978) IEEE Trans. Software Eng , vol.SE-4 , pp. 104-120
    • Schick, G.J.1    Wolverton, R.W.2
  • 20
    • 0022034827 scopus 로고
    • Software considerations in airborne system and equipment certification
    • Washington, DC, DO-178A, Mar.
    • Special Committee 152, “Software considerations in airborne system and equipment certification,” Radio Tech. Commission for Aeronautics, Washington, DC, DO-178A, Mar. 1985.
    • (1985) Radio Tech. Commission for Aeronautics
  • 22
    • 84945725093 scopus 로고
    • Fault sensitivity analysis (PIA) applied to computer programs
    • Dept. Computer Sci., College of William and Mary, Williamsburg, VA, Tech. Rep. 89—4, Dec.
    • J. M. Voas and L. J. Morell, “Fault sensitivity analysis (PIA) applied to computer programs,” Dept. Computer Sci., College of William and Mary, Williamsburg, VA, Tech. Rep. 89—4, Dec. 1989.
    • (1989)
    • Voas, J.M.1    Morell, L.J.2
  • 23
    • 0038564801 scopus 로고
    • What to compare when comparing test data adequacy criteria
    • Oct.
    • S. N. Weiss, “What to compare when comparing test data adequacy criteria,” Software Eng. Notes, Vol. 14, No. 6, pp. 42–49, Oct. 1989.
    • (1989) Software Eng. Notes , vol.14 , Issue.6 , pp. 42-49
    • Weiss, S.N.1
  • 24
    • 0026188143 scopus 로고
    • Analyzing partition testing strategies
    • July
    • E. J. Weyuker and B. Jeng, “Analyzing partition testing strategies,” IEEE Trans. Software Eng., vol 17, pp. 703–711, July 1991.
    • (1991) IEEE Trans. Software Eng , vol.17 , pp. 703-711
    • Weyuker, E.J.1    Jeng, B.2
  • 25
    • 0024090715 scopus 로고
    • An extended domain-based model of software reliability
    • Oct.
    • S. N. Weiss and E. J. Weyuker, “An extended domain-based model of software reliability,” IEEE Trans. Software Eng., vol. 14, pp. 1512–1524, Oct. 1988.
    • (1988) IEEE Trans. Software Eng , vol.14 , pp. 1512-1524
    • Weiss, S.N.1    Weyuker, E.J.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.