许金超，曾国荪，王 伟

（1.同济大学 电子与信息工程学院，上海201804；2.同济大学 嵌入式系统与服务计算教育部重点实验室，上海201804）

软件测试是由人工或自动的方法来执行或评价系统或系统部件的过程，以验证它是否满足规定的需求，或识别出期望的结果和实际结果之间有无差别.现代软件工程中软件测试是不可缺少的一个环节.随着软件规模越来越大，软件产品的逻辑功能和系统结构越来越复杂，有限的时间和资源范围内设计和选择测试用例以获得足够的测试覆盖率变得越来越难.通过分析软件中的因果关系采用严格的测评方法评估软件是否达到可靠性目标可以为测试人员提供决策支持，因此成为了学术界和工业界的一个重要研究方向.

贝叶斯方法利用先验认识对参数进行估计这一特点使得该方法在软件可靠性的估计中得到了广泛的应用.Littlewood等［1］提出了基于贝叶斯方法的Littlewood－Verrall 模 型，Becker 和 Oikonomou等［2－3］各自给出了软件失效估计的不同贝叶斯方法.Miller等［4］提出了基于输入域的软件可靠性评估的贝叶斯方法.Cukic等［5］讨论了在利用或不利用对系统可靠性的主观认识的情况下采用贝叶斯理论对可靠性进行估计的方法.张德平等［6］给出了一种基于先验知识的快速学习算法，并利用此算法来优化测试过程，从而降低测试成本.

已有的这些评估方法难以有效地收集与表示软件失效时间数据，从而限制了这些方法在可靠性评估中的应……