马振宇，吴 纬，张 威，刘福胜，韩 坤

(1.装甲兵工程学院 技术保障工程系， 北京 100072； 2.装甲兵工程学院 信息工程系， 北京 100072；3.北京特种车辆研究所， 北京 100071)

0 引 言

当订购方验收生产方的软件产品时，有时会出现经济成本、人力成本、时间成本过高等情况，这就导致难以顺利开展软件可靠性验证测试[1]的相关工作。在后续的验收工作中，基于贝叶斯方法能够有效地利用先验信息，让验证测试时长明显的缩短，进而保证了验收工作的顺利完成。因此这种验证测试方法被使用的越来越广泛。

目前专家学者们针对贝叶斯的软件可靠性验证测试方法进行了大量研究工作。吴玉美等使用贝叶斯方法验证安全关键型软件的可靠性[2,3]；李秋英等同样使用贝叶斯方法对高可靠性软件进行验证测试[4]；刘解放等提出了基于多阶段先验信息的加权贝叶斯方法[5]；张文杰等通过构造混合验前分布，给出了贝叶斯混合验前分布下的可靠性验证测试方案[6]；王学成等提出了基于减函数的先验分布构造法进行测试验证的方案[7]；刘广等做了进一步深入研究，提出了基于减函数的多层贝叶斯软件可靠性验证测试方法[8]。

这些方法都是基于比较理想、简单的条件进行的。例如假设先验分布函数中的待估参数量简化为一个；多层贝叶斯的先验分布函数选用均匀分布；先验动态整合都是对无失效验证测试考虑的，并没有考虑失效数不为零的情况。前人的研究结果还存在片面性，不适用于普遍的验证测试中。……