计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (33): 73-75.DOI: 10.3778/j.issn.1002-8331.2008.33.023
杜小翔,钱红兵
DU Xiao-xiang,QIAN Hong-bing
摘要: 评估是保证高可信软件中高可靠性的重要手段。传统的评估方法要么不适应高可靠性的特点,要么不符合真正意义上的评估。基于现状,提出了一种基于先验贝叶斯推断验证的评估方法,该方法不仅利用了先验贝叶斯推断验证法的优势,而且结合了二分查找算法的迭代理论,二者结合起来实现了真正意义上有效的高可靠性评估。实例应用证明,这种评估方法比较客观、可行,具有较高的实用价值。