Optimal Time Intervals for Testing Hypotheses on Computer Software Errors

摘要

This paper discusses certain stochastic aspects of the software reliability problem. First an empirical stopping rule for debugging and testing computer software is discussed. Then some results are presented on choosing a time interval for testing the hypothesis that a software system contains no errors, given certain cost and risk constraints.