A Likelihood-Based Stopping Rule for Recapture Debugging
针对Nayak(1988)提出的再捕获调试程序,提出一种基于似然比的停止规则,能更充分利用信息,在给定错误水平下缩短平均决策时间,并推广到故障可分多类的情形。
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). A stopping rule based on the likelihood ratio is proposed. Compared to the stopping rule suggested by Nayak, this likelihood-based rule makes better use of the available information, and, for a given error level, yields a small reduction in the average time taken to reach a decision. A generalization is suggested for the situation where the faults in the software can be categorized into two or more classes, between which detection rates are permitted to differ.