摘要
评估是保证高可信软件中高可靠性的重要手段。传统的评估方法要么不适应高可靠性的特点,要么不符合真正意义上的评估。基于现状,提出了一种基于先验贝叶斯推断验证的评估方法,该方法不仅利用了先验贝叶斯推断验证法的优势,而且结合了二分查找算法的迭代理论,二者结合起来实现了真正意义上有效的高可靠性评估。实例应用证明,这种评估方法比较客观、可行,具有较高的实用价值。
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.
出处
《计算机工程与应用》
CSCD
北大核心
2008年第33期73-75,150,共4页
Computer Engineering and Applications
基金
国家高技术研究发展计划(863)No.2007AA010302~~
