摘要
为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。
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.
出处
《航空学报》
EI
CAS
CSCD
北大核心
2005年第3期334-339,共6页
Acta Aeronautica et Astronautica Sinica
基金
国家"十五"预研基金(41315040106)资助项目
关键词
软件可靠性
可靠性验证
贝叶斯方法
安全关键软件
软件测试
software reliability
reliability demonstration
Bayesian method
safety-critical software
softwaretesting
作者简介
覃志东（1974-）男（汉族），四川省广汉市人，电子科技大学在读博士生。主要研究方向为软件可靠性工程、软件测试技术和实时软件工程，Email：qinzhidong163@163．com，电话：028—83201034。
雷航（1960-）男（汉族），四川省自贡市人，电子科技大学计算机学院副教授，实时系统研究室主任，博士。主要研究方向：实时软件工程与软件可靠性工程，E—mail：hlei@uestc．edu．cn，电话：02883207673。
桑楠（1964-）男（汉族），四川省成都人，电子科技大学计算机学院副教授，博士。主要研究方向：高可信嵌入式实时操作系统的防危机制与实现、分布式安全关键实时系统。Email：sn@uestc．edu．cn，电话：02883207673。
熊光泽（1938-）男（汉族），四川省丹棱县人，教授，博导，曾2次获得联合国奖学金，分别于1982年、1987年先后在美国硅谷和澳洲CIT从事嵌入式实时软件研发。主要研究方向：嵌入式操作系统，实时计算，普适计算，可信性计算。Email：gzxiong@uestc．edu．cn，电话：02883202158。
古幼鹏（1974-）男（汉族），重庆市人，电子科技大学计算机学院在读博士生。主要研究方向：软件设计方法学，基于构件的软件重用，实时CASE与软件工程。Email：guyoupeng@tom．com，电话：02883201034。
