摘要: 为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。
中图分类号:
覃志东;雷航;桑楠;熊光泽;古幼鹏. 安全关键软件可靠性验证测试方法研究[J]. 航空学报, 2005, 26(3): 334-339.
QIN Zhi-dong;LEI Hang;SANG Nan;XIONG Guang-ze;GU You-peng. Study on the Reliability Demonstration Testing Method for Safety-critical Software[J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2005, 26(3): 334-339.