计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (33): 73-75.DOI: 10.3778/j.issn.1002-8331.2008.33.023

• 研发、设计、测试 • 上一篇    下一篇

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

杜小翔,钱红兵   

  1. 北京航空航天大学 软件工程研究所,北京 100083
  • 收稿日期:2008-05-12 修回日期:2008-08-05 出版日期:2008-11-21 发布日期:2008-11-21
  • 通讯作者: 杜小翔

Evaluation of ultra-high reliability based-on validate method of experience Bayesian deducing

DU Xiao-xiang,QIAN Hong-bing   

  1. Institute of Software Engineering,Beihang University,Beijing 100083,China
  • Received:2008-05-12 Revised:2008-08-05 Online:2008-11-21 Published:2008-11-21
  • Contact: DU Xiao-xiang

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

Abstract: Evaluation is an important method for assuring ultra-high reliability of high dependable software.The past methods,either be not fit for characteristic of ultra-high reliability,or be not fit for the real evaluation.Based on actuality,the article introduces an evaluating method based on experience Bayesian deduce.The method not only makes use of the advantage of validate method of experience Bayesian deduce,but also combines the iteration theory of half search arithmetic.The two together achieves the real available evaluation of ultra-high reliability.The actual application implies that the method is feasible and impersonal,and having high applying value.