基于先验贝叶斯推断验证法的高可靠性评估

摘要：

评估是保证高可信软件中高可靠性的重要手段.传统的评估方法要么不适应高可靠性的特点,要么不符合真正意义上的评估.基于现状,提出了一种基于先验贝叶斯推断验证的评估方法,该方法不仅利用了先验贝叶斯推断验证法的优势,而且结合了二分查找算法的迭代理论,二者结合起来实现了真正意义上有效的高可靠性评估.实例应用证明,这种评估方法比较客观、可行,具有较高的实用价值.

关键词：评估、先验贝叶斯推断验证、二分查找算法

所属期刊栏目：44

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家高技术研究发展计进863the National High-Tech Research and Development Plan of China under Grant 2007AA010302

在线出版日期：2009-02-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：73-75,150