Stopping rules and estimation for recapture debugging with unequal failure rates
BiometrikaPublished 1 January 1993
Anne Chao, Mark C. K. Yang
Citations500
SJR quartileQ1
SJR score3.60
SNIP2.67
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
A theoretical optimal stopping rule based on the minimization of the testing cost and expected penalty due to the unremoved bugs is derived without the equal failure rate assumption under Nayak's (1988) recapture debugging procedure. Two adaptive stopping rules suitable for practical use are constructed and tested by simulation. The estimation of the number of undetected bugs is also considered via remaining failure rate estimation.
Keywords
Mathematics
BiometrikaTHE POPULATION FREQUENCIES OF SPECIES AND THE ESTIMATION OF POPULATION PARAMETERS
3,227 Citations1953I. J. Good
IEEE Transactions on ReliabilityTime-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures
1,840 Citations1979Amrit L. Goel, Kazu Okumoto
The failure process is analyzed to develop a suitable meanvalue function for the NHPP to create a stochastic model for the software failure phenomenon based on a nonhomogeneous Poisson process.
Journal of the American Statistical AssociationEstimating the Number of Classes via Sample Coverage
1,331 Citations1992Anne Chao, Shen‐Ming Lee
This work generalizes the result of Esty to a nonparametric approach and extends Darroch and Ratcliff to incorporate the heterogeneity of the class probabilities to play an important role in the recommended estimation procedures.
Elsevier eBooksSOFTWARE RELIABILITY RESEARCH
1,051 Citations1972Z. Jelinski, P. B. Moranda
The chapter describes the means of predicting mission success on the basis of errors which occur during testing and describes the problems in categorizing software anomalies.
EcologyRobust Estimation of Population Size When Capture Probabilities Vary Among Animals
901 Citations1979Kenneth P. Burnham, W. Scott Overton
A model is given for multiple recapture studies on closed populations which allows capture probabilities to vary among individuals and a nonparametric estimation procedure for population size is given that is robust to moderate variations in individual capture probabilities which may occur in commonly used short—term livetrapping studies.
BiometrikaEstimation of the size of a closed population when capture probabilities vary among animals
772 Citations1978Kenneth P. Burnham, W. Scott Overton
A model which allows capture probabilities to vary by individuals is introduced for multiple recapture studies on closed populations and it is shown that the capture frequencies are a sufficient statistic.
Journal of the Royal Statistical Society Series C (Applied Statistics)A Bayesian Reliability Growth Model for Computer Software
457 Citations1973Bev Littlewood, J. L. Verrall
A Bayesian reliability growth model is presented which includes special features designed to reproduce special properties of the growth in reliability of an item of computer software (program).
BiometrikaTHE NUMBER OF NEW SPECIES, AND THE INCREASE IN POPULATION COVERAGE, WHEN A SAMPLE IS INCREASED
377 Citations1956I. J. Good, G. H. TOULMIN
The methods described by Shanks (1955) to hasten the convergence of the series by which the estimate is expressed are applied to samples of words from The authors' Mutual Friend, to an entomological sample and to a sample of nouns from Macaulay's essay on Bacon.
Journal of the American Statistical AssociationWhen Should One Stop Testing Software?
197 Citations1988Siddhartha R. Dalal, C. L. Mallows
An optimal rule for stopping the testing of a module of software prior to release is derived, based on the trade-off between the cost of continued testing and the expected losses due to any bugs that remain in the released code.
SIAM Journal on Scientific and Statistical ComputingA Unification of Some Software Reliability Models
188 Citations1985Naftali A. Langberg, Nozer D. Singpurwalla
This paper provides an alternative motivation for a commonly used model, the Jelinski–Moranda model, using notions from shock models, and shows that some alternate models proposed in the literature can be derived by assigning specific prior distributions for the parameters of the above model.
Journal of the American Statistical AssociationAn Empirical Stopping Rule for Debugging and Testing Computer Software
114 Citations1977Ernest H. Forman, Nozer D. Singpurwalla
The problem of computer software reliability is introduced and a probabilistic model for describing the failure of software is discussed and a procedure for estimating the parameters of the model and a stopping rule for debugging the software is proposed.
IEEE Transactions on Software EngineeringSoftware Reliability: The Stopping Rule Problem
87 Citations1985Sheldon M. Ross
A model for whenever a program encounters an error, a system failure results, and the software is inspected to determine and remove the error responsible for the failure, and an estimation and stopping rule procedure is proposed.
Journal of the American Statistical AssociationEstimating the Number of Faults in a System
74 Citations1985Harry Joe, Nancy Reid
BiometrikaInitial size estimation for the linear pure death process
30 Citations1981I. B. J. Goudie, Charles M. Goldie
Probability Theory and Related FieldsEstimating a mean from delayed observations
29 Citations1976Norman J. Starr, Robert L. Wardrop +1 more
BiometrikaEstimating the number of component processes of a superimposed process
17 Citations1991Tapan K. Nayak
Sequential AnalysisOptimal stopping in a size dependent search
13 Citations1990Morrey Kramer, Norman J. Starr
BiometrikaA likelihood-based stopping rule for recapture debugging
11 Citations1990I. B. J. Goudie
Consideration is given to determining when all the faults in a reliability system have been detected, assuming the use of the recapture debugging procedure introduced by Nayak (1988), and a stopping rule based on the likelihood ratio is proposed.