### 安全关键软件可靠性验证测试方法研究

1. 电子科技大学 计算机学院实时系统研究室, 四川 成都 6100054
• 收稿日期:2004-04-19 修回日期:2005-01-20 出版日期:2005-06-25 发布日期:2005-06-25

### Study on the Reliability Demonstration Testing Method for Safety-critical Software

QIN Zhi-dong, LEI Hang, SANG Nan, XIONG Guang-ze, GU You-peng

1. Real-time System Lab., University of Electronic Science and Technology of China, Chengdu 610054, China
• Received:2004-04-19 Revised:2005-01-20 Online:2005-06-25 Published:2005-06-25

Abstract: In order to reduce the total number of the testing cases but not to decrease the confidence level of the testing results for the reliability demonstration of safety-critical software, a new method which uses Bayesian inference with prior knowledge dynamic integration is presented on the basis of analyzing the classical statistical hypothesis testing and the ignorance prior Bayesian method. In particular, the problem of how to determine the parameters of the prior distribution for the density function of software failure probability is solved. Test shows that it requires less testing cases to achieve the same confidence level by using the method provided in this paper.