多需求驱动的测试用例集约简方法研究.pdfVIP

多需求驱动的测试用例集约简方法木 孙富强王林章 l南京大学软件新技术国家重点实验室，江苏南京210093 2南京大学计算机科学与技术系，江苏南京210093 摘要：软件测试过程中，测试用例集的规模可能会随着软件的维护和修改而飞速地增长，由于测 试过程中时间和资源的限制，测试用例集约简技术试图移除那些冗余的测试用例，即它们满足的测试 需求已被其他测试用例所满足。现有的基于单测试目标的测试用例集约简方法不仅缩小了测试用例集 的规模，同时也可能削弱了缺陷检测的能力。本文提出了多需求驱动的约简方法，该方法根据瀑布模 型中需求规约、设计模型和代码的关系，分别设定相应的测试目标，在多测试需求集的基础上，精简 现有的测试用例集，以达到既能约简测试用例集，又能提高精简测试用例集的缺陷检测能力的目的。 关键词：多需求测试用例集约简缺陷检测能力 1引 言 在软件测试过程中，测试人员首先要确定测试目标，并表示成一组测试需求，然后设计和生成一组测 试用例来满足所有的测试需求。测试目标的来源有软件需求分析、详细设计文档和代码，因此测试需求可 以使用模型的某个覆盖度。而在已有的测试用例集中，一般都存在冗余的测试用例，即它们能够满足的测 试需求，可以由测试用例集中其他的测试用例来满足。显然地，这些冗余的测试用例必然会造成测试执行 开销的增加，而这些增加的开销是额外的不必要的，因此有必要对设计好的测试用例集进行约简。另外一 方面，在回归测试中，我们需要对程序更改的部分进行再测试，从测试需求方面来说，我们仅需要与程序 更改相关的测试需求，因此同样有必要对原有的测试用例集进行约简。 测试用例集约简和测试用例集的缺陷检测能力是两项相瓦制约的因素。直观上看，由于测试用例集约 简方法删除冗余的测试用例，很可能导致某些具有一定缺陷检测能力的测试用例被约简。实验结果表明： J。 在达到某些测试充分性准则的前提下，测试用例集的约简不会导致其错误检测能力产生明显的降低【l G 将导致其缺陷检测能力的明显下降，冗余的测试用例可以用来帮助提高测试用例集的缺陷检测能力【2J。许多 学者研究双目标的决策问题，即bi．criteI·iadecision通过设定目标函数中测试用例集规模和测试用 making， 例集缺陷检测能力的不同权重，由测试人员根据测试实际情况来获得两者之间的平衡。 J．Black讨论了基于a11．uses覆盖的测试用例集约简方法，提出了两种基于整数线性规划的约简方法： 单目标的测试用例集约简方法，用于获得最优测试用例集；“bi．criteria”的测试用例集约简方法，通过调整 权重因子，同时考虑测试用例的覆盖率信息及其缺陷检测能力。类似地，L．PaIl讨论了针对Mc／DC覆盖的 双目标测试用例集约简技术pJ。 ‘基金资助：国家自然科学基金州o；江苏省自然科学基金(2007BKl39)． 作者简介：孙富强(1983-)，男，江苏滨海人，硕士研究生，主要研究领域为软件测试方法等；王林章(1973一)，男，江苏建湖人， 博士，副教授，主要研究领域为软件工程和软件测试方法等． 此外，采用双重测试充分性准则也是实现双目标测试用例约简的一种方法。D．Je仃rey等讨论了选择性 保留冗余测试用例的约简方法，在HGS算法的基础上，提出了一种改进的基于双重测试充分性准则的启发 求，从而有选择地保留了少量冗余测试用例。本文介绍了一种多需求驱动的测试用例集约简方法，从软件 开发阶段的不同层次设定测试目标，形成多测试需求集，然后在此基础上，约简已有的测试用例集，以达 到既能约简测试用例集的规模，又能提高精简测试用例集的缺陷检测能力。本文先介绍多需求的概念，接 着详细地给出多需求驱动的测试用例集约简方法，最后是结语和进一步工作。 2多需求驱动的约简方法 2．1多需求的概念 多需求即应用多个测试需求集来约简测试用例集。本文综合基于规约、基于模型和基于代码的测试充 分性准则，并牛成三个测试需求集作为整个约简方法的基础。由于模型是需求规约的形式化，代码是模型