论文部分内容阅读
本文以贝叶斯统计理论为依据，建立了基于输入域的测试过程的形式化描述，在此基础上确定了测试分布的总体信息；按照贝叶斯理论，要对软件可靠性进行估计，需要定义软件可靠性的先验分布，该先验分布可以利用贝叶斯假设或共辘原理进行定义。分析发现，在软件顺序测试过程中，采用这两种策略所得到的先验分布是一致的，这从另一种角度印证了先验分布选取的正确性。根据贝叶斯定理，利用先验分布和总体分布，可以得到待估计变量的后验分布，然后根据测试数据可以对可靠性进行估计。