中文摘要：

随着基于构件的软件开发方法正在逐渐称为新的趋势，特别是在安全关键领域中的应用不断增多，软件构件和构件软件系统的可靠性变得越来越重要。软件可靠性评估是保障软件可靠性的重要前提。在软件可靠性确认测试中，软件可靠性评估可以从可靠性角度判断软件何时可停止测试并交付用户使用。但是，传统的软件测试技术和软件可靠性评估技术是互相脱离的，即软件测试并未直接考虑软件可靠性评估要求，而软件可靠性评估也未考虑测试技术的影响。本项目综合考虑二者之间的关系，以期达到更好的可靠性评估结果。研究内容包括研究如何设计测试技术或策略使得测试过程以最优的方式评估出构件软件系统可靠性，研究构件软件系统最优测试停止策略，使得测试在达到规定的可靠性评估目标前提下尽早停止，以及开发实现专门用于构件软件系统可靠性评估的测试技术工具原型。

结论摘要：

软件测试和软件可靠性是两个密切相关的领域。但是，传统的构件软件或构件软件系统测试技术并未直接考虑可靠性评估要求，而软件可靠性评估也未考虑测试技术的影响。本项目综合考虑二者之间的关系，以期达到更好的可靠性评估结果。本项目主要取得了以下成果（1）我们提出了基于Bayes网的软件可靠性预测模型。在该模型中，我们在一个扩展的马尔克夫贝叶斯网框架内综合考虑了软件运行剖面，软件内部缺陷数，软件测试等因素对软件可靠性的影响。该模型可以随着软件测试进程在线估计软件可靠性。（2）研究了软件缺陷曲线的问题。我们证实了某些情况下软件缺陷估计值随软件测试和软件缺陷剔除呈梯形曲线。（3）研究了基于软件可靠性评估的软件自适应测试问题。我们在受控马尔可夫链方法的框架内讨论了以可靠性为目标的软件系统的自适应测试,并与随机测试进行比较,发现该自适应测试方法相对于传统的随机测试方法具有较大的优越性。（4）提出了一个的软件可靠性测试的数学模型框架。该框架在数学层面上描述了软件可靠性和软件测试的关系，对离散和连续情形下的软件可靠性测试进程分别进行了数学抽象，并研究了软件可靠性估计问题。