合约变异在测试数据优化中的研究及应用.docVIP

合约变异在测试数据优化中的研究及应用 　　摘要：软件测试是保证Web服务质量的重要技术手段，测试数据生成是Web服务测试的重要内容，而生成的初始测试数据量大，数据冗余，为了减少初始测试数据数量，提高测试数据的有效性，本文在变异测试方法的基础上，使用合约变异方法对初始测试数据进行优化，据此可以生成一批达到一定变异充分度的有效测试数据，并通过实验验证了方法的有效性。 　　Abstract: Software testing is one of the most important techniques used to assure the quality of Web Services at present. Test data generation is an important topic in Web Services testing. But there are a lot of initial test data, in order to decrease the quantity of initial test data and improve the validity of the initial test data, Based on the optimization of initial test data, this paper presents a method of mutation testing .Using contract mutation technology to optimize initial test data .This method can generate a test meeting a certain mutation score. The results have shown that the method is effective. 　　关键词：软件测试；测试数据优化；合约变异 　　Key words: software testing；test data optimization；contract mutation 　　中图分类号：TP311文献标识码：A文章编号：1006-4311（2010）33-0158-02 　　 　　0引言 　　软件测试是保证Web服务质量的重要技术手段，而测试数据作为 Web服务测试的重要内容，它的质量将直接影响Web服务测试的效率和成本。在生成初始测试数据的时候，由于方法上的不足或者其他的一些条件限制，生成的测试数据并不是全部有效的，可能有一部分数据不能达到发现错误或者发现很多错误的效果，并且生成的初始数据数量庞大，其执行需要花费相当多的时间，鉴于这种情况，为了提高测试数据的有效性及测试效率，需要在初始测试数据生成之后进行筛选，根据一定的规则选出一批有效性高的、能发现比较多错误的测试数据。测试数据的优化可以缩小测试集的范围，同时保持测试数据的有效性，以提高测试效率，降低测试成本。 　　1合约的概念 　　合约简单来说就是一种规约、契约，它是管理对象之间的交互的一组规则[1-2]。合约可以在运行时被检查，便于捕获Web Services执行过程中的一些故障，提高Web Services的测试效率。 　　合约的来源是服务提供者的设计规约和服务使用者的实际需求，规定了使用Web Services所需要的条件和Web Services能够完成的功能。常见的合约类型包括：前置条件、后置条件、不变式、循环变式和循环不变式等等[3]。合约表明了过程调用方（客户方）与实现方相互的职责和利益[1]：客户方只有在满足前置条件的情况下才能调用对应的过程；实现方承诺当过程结束时，后置条件指明的工作将被完成，并且不变式仍然满足。合约可用于区分软件失效时的责任：如果前置条件被违反，则应该在客户方寻找错误；如果后置条件或不变式被违反，责任在实现方。本文主要针对前置条件类型合约进行处理，下面给出一个前置条件类型合约的具体实例。 　　例如，假设有一个求平方根的方法Square（num），该方法中定义的合约如下所示： 　　Precondition：num=0； 　　前置条件表示该方法正确运行所需的条件或限制，如方法Square只能对非负数求平方根，负数不能执行该方法。 　　合约有助于减少冗余的检查代码，提高软件设计的效率和运行的性能；利用自动检查合约的工具，能够减轻用户的负担，减少用户犯错误的机会，并且合约被违反时引发异常，便于就近定位故障。 　　2变异测试 　　2.1 变异测试概念程序变异测试方法始于20世纪70年代末期，最早是由DeMillo,Lipton和Sayward等人提出的，它基于程序员能力假设和组合效应假设，是一种排错性测试技术[4]