Sequential Multi-Hypothesis Testing in Software Reliability

  • J. S. Shieh
  • Y. L. Tong


We propose a sequential method for solving the multi-hypothesis testing problem in software reliability, and derive tests for the parameters involved under the Jelinski-Moranda, Shick-Wolverton, the geometric error detection rate, and the error-content proportional detection rate models. Sequential tests are obtained by applying a generalized Wald’s sequential probability ratio test due to Bechhofer, Kiefer and Sobel (1968), and they guarantee an average probability of correct decision to be at least 1 − β (preassigned) when sampling terminates and a given terminal decision rule is applied. This new approach represents a natural application of classical results in sequential analysis to the (relatively new) area of software reliability testing.


Sequential Test Average Probability Correct Decision Software Reliability Sequential Probability Ratio Test 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Bechhofer, R. E., Kiefer, J., and Sobel, M. (1968). Sequential Identification and Ranking Procedures, Chicago: University of Chicago Press.Google Scholar
  2. Boland, P. J., Proschan, F. and Tong, Y. L. (1987). Fault Diversity in Software Reliability, Prob. Eng. Informa. Sci. 1, 175–188.Google Scholar
  3. Jelinski, Z. and Moranda, P. (1972). Software Reliability Research. In Statistical Computer Performance Evaluation, W. Freiberger, ed., New York: Academic Press, 465–484.Google Scholar
  4. Joe, H. and Reid, N. (1985). Estimating the Number of Faults in a System, J. Amer. Statis. Assoc. 80, 222–226.MathSciNetCrossRefGoogle Scholar
  5. Ross, S. M. (1985). Software Reliability: The Stopping Rules Problem, IEEE Trans. Software Eng. 11, 1472–1476.CrossRefGoogle Scholar
  6. Shanthikumar, J. G. (1983). Software Reliability Models: A Review, Microelectronic Relia. 23, 903–943.CrossRefGoogle Scholar
  7. Singpurwalla, N. D. (1991). Determining an Optimal Time Interval for Testing and Debugging Software, IEEE Trans. Software Eng. 17, 313–319.CrossRefGoogle Scholar
  8. Wald, A. (1947). Sequential Analysis, New York: Wiley.zbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1996

Authors and Affiliations

  • J. S. Shieh
    • 1
    • 2
  • Y. L. Tong
    • 1
    • 2
  1. 1.Institute of Statistical ScienceAcademia SinicaTaipeiTaiwan, ROC
  2. 2.School of MathematicsGeorgia Institute of TechnologyAtlantaUSA

Personalised recommendations