计算机应用专业毕业论文 软件可靠性验证测试中降低测试用例量方法研究.docVIP

计算机应用专业毕业论文 [精品论文] 软件可靠性验证测试中降低测试用例量方法研究 关键词：可信软件 软件可靠性 验证测试 先验矩 最大熵 第二类极大似然估计 可靠性验证 软件测试 摘要：可信软件目前广泛应用于社会生活的各个领域，与硬件可靠性快速提升相比，软件可靠性的发展相对滞后，已成为制约软件可信性水平进一步提高的瓶颈。软件可靠性测试在提升软件可靠性水平中扮演着重要的角色，一般可分为软件可靠性增长测试和软件可靠性验证测试。本文旨在针对可信软件验证测试阶段，所需测试用例量大、测试持续周期长的情况，在保证可靠性指标的前提下，给出两种有效降低测试用例量的方法，并提出通过使用第二类极大似然估计理论对两种方法进行优选，从而为解决软件可靠性验证测试阶段降低测试用例量的问题提供新的技术途径和实现手段。论文的主要研究内容和贡献如下： 首先，本文重点研究了两种目前常用的产生测试用例的方法，即基于软件运行剖面的测试用例产生方法和基于Markov链使用模型的可靠性测试用例产生方法。并针对后一种方法设计并给出应用示例，通过对示例模型的分析，发现使用测试链到使用链收敛准则确定测试用例量的方法存在缺陷，并且也不能有效的降低测试用例数目。 其次，为了在不降低可靠性验证测试指标的前提下减少测试用例量、缩短验证测试持续期，本文提出两种基于先验贝叶斯统计学方法的可靠性验证测试用例产生方法，即基于先验矩超参数计算的先验分布确定方法和基于共轭最大熵超参数计算的先验分布确定方法，并分别在软件离散执行和连续执行两种情况下予以阐述。最后提出基于第二类极大似然估计理论的先验分布优选方法，择优选取上述两种可靠性验证测试用例产生方法。 再次，为了验证基于先验贝叶斯的统计推断方法比无先验知识的统计推断方法在可靠性验证测试时所需的测试用例量更少，更具优势，本文针对上述两种方法进行数值仿真计算，对比试验结果证实了这一点。最后通过对基于先验贝叶斯统计学的两种不同可靠性验证测试用例产生方法的数值比较，验证了可以根据第二类极大似然估计理论进行择优选取。  正文内容 可信软件目前广泛应用于社会生活的各个领域，与硬件可靠性快速提升相比，软件可靠性的发展相对滞后，已成为制约软件可信性水平进一步提高的瓶颈。软件可靠性测试在提升软件可靠性水平中扮演着重要的角色，一般可分为软件可靠性增长测试和软件可靠性验证测试。本文旨在针对可信软件验证测试阶段，所需测试用例量大、测试持续周期长的情况，在保证可靠性指标的前提下，给出两种有效降低测试用例量的方法，并提出通过使用第二类极大似然估计理论对两种方法进行优选，从而为解决软件可靠性验证测试阶段降低测试用例量的问题提供新的技术途径和实现手段。论文的主要研究内容和贡献如下： 首先，本文重点研究了两种目前常用的产生测试用例的方法，即基于软件运行剖面的测试用例产生方法和基于Markov链使用模型的可靠性测试用例产生方法。并针对后一种方法设计并给出应用示例，通过对示例模型的分析，发现使用测试链到使用链收敛准则确定测试用例量的方法存在缺陷，并且也不能有效的降低测试用例数目。 其次，为了在不降低可靠性验证测试指标的前提下减少测试用例量、缩短验证测试持续期，本文提出两种基于先验贝叶斯统计学方法的可靠性验证测试用例产生方法，即基于先验矩超参数计算的先验分布确定方法和基于共轭最大熵超参数计算的先验分布确定方法，并分别在软件离散执行和连续执行两种情况下予以阐述。最后提出基于第二类极大似然估计理论的先验分布优选方法，择优选取上述两种可靠性验证测试用例产生方法。 再次，为了验证基于先验贝叶斯的统计推断方法比无先验知识的统计推断方法在可靠性验证测试时所需的测试用例量更少，更具优势，本文针对上述两种方法进行数值仿真计算，对比试验结果证实了这一点。最后通过对基于先验贝叶斯统计学的两种不同可靠性验证测试用例产生方法的数值比较，验证了可以根据第二类极大似然估计理论进行择优选取。 可信软件目前广泛应用于社会生活的各个领域，与硬件可靠性快速提升相比，软件可靠性的发展相对滞后，已成为制约软件可信性水平进一步提高的瓶颈。软件可靠性测试在提升软件可靠性水平中扮演着重要的角色，一般可分为软件可靠性增长测试和软件可靠性验证测试。本文旨在针对可信软件验证测试阶段，所需测试用例量大、测试持续周期长的情况，在保证可靠性指标的前提下，给出两种有效降低测试用例量的方法，并提出通过使用第二类极大似然估计理论对两种方法进行优选，从而为解决软件可靠性验证测试阶段降低测试用例量的问题提供新的技术途径和实现手段。论文的主要研究内容和贡献如下： 首先，本文重点研究了两种目前常用的产生测试用例的方法，即基于软件运行剖面的测试用例产生方法和基于Markov链使用模型的可靠性测试用例产生方法。并针对