메뉴 건너뛰기




Volumn 17, Issue 4, 1991, Pages 313-319

Determining an Optimal Time Interval for Testing and Debugging Software

Author keywords

Bayesian design of experiments computer science optimal testing preposterior analysis reliability demonstration software certification software reliability utility; Index Terms

Indexed keywords

COMPUTER PROGRAMMING - PROGRAM DEBUGGING; COMPUTER SCIENCE; DECISION THEORY AND ANALYSIS; RELIABILITY;

EID: 0026138753     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.90431     Document Type: Article
Times cited : (54)

References (19)
  • 1
    • 0001078213 scopus 로고
    • Estimation of finite population properties when sampling is without replacement and proportional to magnitude
    • G. Andretta and G. M. Kaufman, “Estimation of finite population properties when sampling is without replacement and proportional to magnitude,” J. Amer. Statist. Assoc., vol. 81, no. 395, pp. 657–666, 1986.
    • (1986) J. Amer. Statist. Assoc. , vol.81 , Issue.395 , pp. 657-666
    • Andretta, G.1    Kaufman, G.M.2
  • 2
    • 0011327560 scopus 로고
    • A note on the truncated exponential distribution
    • L. J. Bain and D. L. Weeks, “A note on the truncated exponential distribution,” Ann. Math. Statist., vol. 35, pp. 1366–1367, 1964.
    • (1964) Ann. Math. Statist. , vol.35 , pp. 1366-1367
    • Bain, L.J.1    Weeks, D.L.2
  • 3
    • 84950440804 scopus 로고
    • When to stop testing software?
    • S. R. Dalai and C. L. Mallows, “When to stop testing software?” J. Amer. Statist. Assoc., vol. 83, no. 403, pp. 872–879, 1986.
    • (1986) J. Amer. Statist. Assoc. , vol.83 , Issue.403 , pp. 872-879
    • Dalai, S.R.1    Mallows, C.L.2
  • 4
    • 0017139943 scopus 로고
    • Estimating the number of unseen species: How many words did Shakespeare know?
    • B. Efron and R. Thisted, “Estimating the number of unseen species: How many words did Shakespeare know?” Biometrika, vol. 63, pp. 435–47, 1976.
    • (1976) Biometrika , vol.63 , pp. 435-447
    • Efron, B.1    Thisted, R.2
  • 5
    • 0040959806 scopus 로고
    • Stopping rules for proofreading
    • T. S. Ferguson and J. P. Hardwick, “Stopping rules for proofreading,” J. Appl. Prob., vol. 26, pp. 304–313, 1989.
    • (1989) J. Appl. Prob. , vol.26 , pp. 304-313
    • Ferguson, T.S.1    Hardwick, J.P.2
  • 6
    • 0001429336 scopus 로고
    • An empirical stopping rule for debugging and testing computer software
    • E. H. Forman and N. D. Singpurwalla, “An empirical stopping rule for debugging and testing computer software,” J. Amer. Statist. Assoc., vol. 72, pp. 750–757, 1977.
    • (1977) J. Amer. Statist. Assoc. , vol.72 , pp. 750-757
    • Forman, E.H.1    Singpurwalla, N.D.2
  • 7
    • 0018506950 scopus 로고
    • Optimal time intervals for testing hypotheses on computer software errors
    • E. H. Forman and N. D. Singpurwalla, “Optimal time intervals for testing hypotheses on computer software errors,” IEEE Trans. Rel, vol. R-28, pp. 250–253, 1979.
    • (1979) IEEE Trans. Rel , vol.R-28 , pp. 250-253
    • Forman, E.H.1    Singpurwalla, N.D.2
  • 8
    • 0004010083 scopus 로고
    • Managing the Software Process
    • Reading, MA: Addison-Wesley
    • W. S. Humphrey, Managing the Software Process. Reading, MA: Addison-Wesley, 1989.
    • (1989)
    • Humphrey, W.S.1
  • 9
    • 0002979446 scopus 로고
    • Software reliability research
    • W. Freiberger, Ed. New York: Academic
    • Z. Jelinski and P. B. Moranda, “Software reliability research,” in Statistical Computer Performance Evaluation, W. Freiberger, Ed. New York: Academic, 1972, pp. 485–502.
    • (1972) Statistical Computer Performance Evaluation , pp. 485-502
    • Jelinski, Z.1    Moranda, P.B.2
  • 10
    • 0002520305 scopus 로고
    • A unification of some software reliability models
    • N. Langberg and N. D. Singpurwalla, “A unification of some software reliability models,” SIAM J. Sci. Statist. Comput., vol. 6, no. 3, pp. 781–790, 1985.
    • (1985) SIAM J. Sci. Statist. Comput. , vol.6 , Issue.3 , pp. 781-790
    • Langberg, N.1    Singpurwalla, N.D.2
  • 11
    • 0004266587 scopus 로고
    • Making Decisions
    • 2nd ed. New York: Wiley
    • D.V. Lindley, Making Decisions, 2nd ed. New York: Wiley, 1985.
    • (1985)
    • Lindley, D.V.1
  • 12
    • 0000350596 scopus 로고
    • Bayesian analysis of a commonly used model for describing software failures
    • R. J. Meinhold and N. D. Singpurwalla, “Bayesian analysis of a commonly used model for describing software failures,” The Statistician, vol. 32, pp. 163–173, 1983.
    • (1983) The Statistician , vol.32 , pp. 163-173
    • Meinhold, R.J.1    Singpurwalla, N.D.2
  • 13
    • 0024663572 scopus 로고
    • Quantifying software validation: When to stop testing?
    • May
    • J. D. Musa and A. F. Ackerman, “Quantifying software validation: When to stop testing?” IEEE Software, pp. 19–27, May 1989.
    • (1989) IEEE Software , pp. 19-27
    • Musa, J.D.1    Ackerman, A.F.2
  • 14
    • 0004135418 scopus 로고
    • The Art of Software Testing
    • New York: Wiley
    • G. J. Myers, The Art of Software Testing. New York: Wiley, 1979.
    • (1979)
    • Myers, G.J.1
  • 15
    • 0019292406 scopus 로고
    • Optimum release time for software systems, based on reliability and cost criteria
    • K. Okumoto and A. L. Goel, “Optimum release time for software systems, based on reliability and cost criteria,” J. Syst. Software, vol. 1, pp. 315–318, 1980.
    • (1980) J. Syst. Software , vol.1 , pp. 315-318
    • Okumoto, K.1    Goel, A.L.2
  • 16
    • 0022207125 scopus 로고
    • Software reliability: The stopping rule problem
    • S. M. Ross, “Software reliability: The stopping rule problem,” IEEE Trans. Software Eng., vol. SE-11, no. 12, pp. 1472–1476, 1985.
    • (1985) IEEE Trans. Software Eng. , vol.SE-11 , Issue.12 , pp. 1472-1476
    • Ross, S.M.1
  • 17
    • 0013145797 scopus 로고    scopus 로고
    • Preposterior analysis in software testing
    • Y. Dodge, Ed. New York: Elsevier
    • N. D. Singpurwalla, “Preposterior analysis in software testing,” in Statistical Data Analysis and Inference, Y. Dodge, Ed. New York: Elsevier, pp. 581–595.
    • Statistical Data Analysis and Inference , pp. 581-595
    • Singpurwalla, N.D.1
  • 18
    • 78650657130 scopus 로고
    • Nonhomogeneous autoregressive process for tracking reliability growth, and their Bayesian analysis
    • to be published
    • N.E. Singpurwalla and R. Soyer, “Nonhomogeneous autoregressive process for tracking reliability growth, and their Bayesian analysis,” J. Roy. Statist. Soc., series B, vol. 54, no. 1, to be published, 1992.
    • (1992) J. Roy. Statist. Soc., series B , vol.54 , Issue.1
    • Singpurwalla, N.E.1    Soyer, R.2
  • 19
    • 0021476797 scopus 로고
    • Optimum release policies for a software system with a scheduled software delivery time
    • S. Yamada, H. Narihisa, and S. Osaki, “Optimum release policies for a software system with a scheduled software delivery time,” Int. J. Syst. Sci., vol. 15, no. 8, pp. 905–914, 1984.
    • (1984) Int. J. Syst. Sci. , vol.15 , Issue.8 , pp. 905-914
    • Yamada, S.1    Narihisa, H.2    Osaki, S.3


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