Statistical Testing Based Software Reliability Estimation While Considering Other Knowledge about a Program
Jiong Yan, Changhong Deng, Meng-Luo Ji · 2010
For software developed under the principles of Cleanroom Software Engineering, the software statistical testing often reveals no failure. Applying Bayesian Inference and taking into account the software structure information, this paper discusses how to estimate the failure probability under this condition. The criterion to stop statistical testing is also discussed under different conditions.