[发明专利]引入测试有效性的软件可靠性验证测试方法

摘要

本发明提出了一种引入测试有效性的软件可靠性验证测试方法，分无失效与有失效两种情况，分别以离散型软件和连续型软件为对象，建立了统一的测试有效性度量形式。本发明方法针对离散型软件和连续型软件，结合用户给定的验证指标，利用统计故障注入方法，估计无失效情况下测试有效性的值，或者有失效情况下测试有效性的值，确定离散型软件测试所需的最小测试用例量或者连续型软件测试所需的连续执行时间，然后生成相应数量的测试用例进行测试验证。本发明方法降低了测试用例的数量和测试持续时间，加速了软件可靠性验证测试过程，节省了测试资源。

主权项

1.一种引入测试有效性的软件可靠性验证测试方法，其特征在于，通过以下步骤实现：步骤1、区分被测软件为离散型软件还是连续型软件；步骤2、调入用户给定的验证指标，离散型软件的验证指标为(p₀，C，r)，连续型软件的验证指标为(λ₀，C，r)，其中，p₀为离散型软件失效概率的指标值，λ₀为连续型软件失效率的指标值，C为置信度，r为所能容忍的最大失效数；根据能容忍的最大失效数r判断是无失效情况还是有失效情况：当最大失效数r等于0时，为无失效情况，当最大失效数r大于0时，为有失效情况；步骤3、利用统计故障注入方法，估计无失效情况下测试有效性的值，或者有失效情况下测试有效性的值，具体包括如下步骤：步骤3.1、构造软件缺陷池Θ；步骤3.2、根据软件缺陷的统计分布规律，从软件缺陷池Θ中随机抽取缺陷，注入到原程序P中，得到一个包含注入缺陷的变异程序P′，通过注入缺陷的方法生成F个变异程序；步骤3.3、根据测试情况估计测试有效性值：(1)针对无失效方案情况，利用测试集合T对F个变异程序都进行测试，测试有效性的估计值为：对变异程序P′顺序执行T中的测试用例，直到有一个失效产生了，通过追踪，该失效是由注入P′的缺陷集合F_si中的某个缺陷导致，此时X(F_si)＝1；对变异程序P′顺序执行T中的测试用例，但是没有失效产生，此时X(F_si)＝0；(2)针对有失效方案情况，利用测试集合T对F个变异程序都进行测试，得到测试有效性的估计值为：对变异程序P′顺序执行T中的测试用例，结果发现了k(k≠0)个失效，并且k个失效能追踪到植入P′的缺陷集合F_si中，当k＞r时，记φ_r+1＝φ_r+1+1，初始变量φ_r+1的值为0；步骤4、对于离散型软件，确定测试所需的最小测试用例量N：在无失效情况下，最小测试用例量取估计值在有失效情况下，最小测试用例量N为满足下式中测试用例量n的最小值：其中，取估计值β(1+r，1+n-r)(p)表示贝塔分布；对于连续型软件，确定测试所需的连续执行时间T_a：在无失效情况下，连续执行时间取估计值在有失效情况下，连续执行时间T_a为满足下式中执行时间t的最小值：其中，取估计值Gamma(1+r，t)(λ)表示伽玛分布；步骤5、根据被测软件特点和可靠性测试要求搭建可靠性测试环境；步骤6、构造操作剖面，并根据步骤4确定的最小测试用例量N或者连续执行时间T_a，生成相应数量的可靠性测试用例；步骤7、执行测试用例，并收集失效信息；步骤8、结合验证测试方案和实验结果，得到接收或拒收结论。