Bayesian theory based software reliability demonstration test method for safety critical software

摘要

The original software reliability demonstration test (SRDT) does not take adequate accountrnof prior knowledge or the prior distribution, which can lead to an expensive use of manyrnresources. In the current paper, we propose a new improved Bayesian based SRDT method.rnWe begin by constructing a framework for the SRDT scheme, then we use decreasingrnfunctions to construct the prior distribution density functions for both discrete andrncontinuous safety-critical software, and then present schemes for both discrete andrncontinuous Bayesian software demonstration functions (which we call DBSDF and CBSDF,rnrespectively). We have carried out a set of experiments comparing our new schemes with thernclassic demonstration testing scheme on several published data sets. The results reveal thatrnthe DBSDF and CBSDF schemes are both more efficient and more applicable, and this isrnespecially the case for safety-critical software with high reliability requirements.