论文研究 基于SOC工控系统的总线控制器设计.pdf

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