论文部分内容阅读
软件测试是保证软件质量的重要手段,测试充分性准则是判断软件是否已经被充分测试的重要标准,为软件测试提供了一个客观的度量和评价标准。软件可靠性是软件的质量要素之一。对于武器装备中的型号软件而言更是至关重要的因素。研究软件测试充分性度量技术,建立测试充分性度量与软件可靠性的关系,进一步利用充分性覆盖信息对软件可靠性进行度量,是软件测试研究的一个重要发展方向,也是实际工程应用中亟待研究的课题。
首先,对Howden提出的基于可信度的统计覆盖测试进行深入的分析和研究,提出了连续型基于可信度的统计覆盖测试方法,针对不同的测试情况给出了相应的计算公式,建立了与时间相关的充分性度量准则。
其次,针对自适应的统计覆盖测试过程,建立了非齐次泊松估计模型,推导了非齐次泊松估计法的基本公式。基于K-S检验法,给出了检验拟合优度的方法,并提出了基于该测试方法的测试充分性准则。
最后,研究了统计覆盖测试充分性与软件可靠性之间的关系。基于故障模型M,给出了连续型统计覆盖测试充分度的可靠性解释,获得了基于自适应统计覆盖测试充分性结果的可靠性估计。