软件可靠性验证测试中降低测试用例量方法的研究.pdf

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