测试过程自动化就是利用策略、工具等，减少人工介入到非技术性、重复性冗长的测试活动中，从而达到无人监守完成测试，并且自动产生测试报告，分析测试结果等的一系列活动。为了达到测试自动化，服务的描述需要被机器理解。形式化规约语言可以在不暴露对象实现细节的前提下，描述软件实体的可观察行为。它具有适合机器处理，大部分测试步骤可以自动实现，高度自动化测试过程和独立的软件实现细节等优点。
综上所述，有必要对Web服务测试执行自动化进行研究。所以，笔者选取“面向WEB服务的测试执行自动化技术框架设计与实现”这个课题作为毕业设计的课题进行研究。本课题将基于代数规约的测试方法运用于Web服务测试，用代数规约对可获得的信息进行描述，发现和调用Web服务，然后对其分析预测，从而生成测试用例，在执行测试之后对测试结果进行分析评估，最后生成测试报告。
1.1.2    选题的意义
理论意义：对Web服务测试执行自动化技术的研究，将丰富测试技术中对于Web相关的研究的理论依据。深化Web服务测试方法及远程调用Web服务的方法的研究。也为今后相关技术更好的发展提供了一定的理论参考。
实践意义：测试执行自动化是今后测试技术中一个很重要的运用性技术。对Web服务测试执行自动化技术的研究，将会对今后在工程技术中对Web服务的调用与测试提供实践指导与参考。在本课题的研究过程中，作为研究者会尽量深入对Web服务自动化测试技术方法的研究，以便对相关领域的研究尽绵薄之力。
1.2国内外现状
1.3本课题所面临的难点和解决办法
    面向Web服务测试执行自动化框架的设计，主要面临两个方面的问题。一个是WEB服务具有隐藏实现细节的特性，另一个是on-the-fly特性带来的测试难点。对于WEB服务具有隐藏实现细节的特性，用代数规约形式化方法和代数规约语言来解决。本课题拟站在第三方的角度使用代数规约对这些外部信息进行描述，发挥代数规约高度自动化的优点，进一步的自动化生成并执行测试用例。 对于on-the-fly特性（动态出现的行为，而非静态的、预先确定的行为的必然结果），本课题拟将随机选择测试数据，测试用例的生成、执行、评估一个紧接着一个的进行，而不是传统的先生成测试用例的集合然后在系统上执行。预先生成测试用例需要考虑系统返回的所有可能的结果，而on-the-fly的测试直接观察指定的输出，据此来指导测试。在认清本课题所面临的难点之后，通过将理论上的解决方法运用在框架的设计与实现上，也就是具体的框架建立（代码编写），是的本课题的研究方向更加明确，有助于高效的完成本课题。
1.4论文组织结构
本论文按如下组织结构来进行书写，论文主要分为四章，其中第三章是笔者在课题中做的主要工作的介绍，设计细节比较多。
第一章概述了本课题研究的背景，突出了面向Web服务测试自动化技术的研究的重要性。并且介绍了国内外相关技术发展现状以及本课题所要面对的难点和解决办法等。
第二章主要阐述了本课题研究所涉及的代数规约、HTTP请求调用远程的Web服务等相关的知识。
第三章主要介绍了面向Web服务的测试执行自动化技术框架的整体设计情况。对整个框架的运行进行介绍。还将重点介绍对于XML信息提取和结果分析输出等内容部分的设计与实现。
第四章主要介绍框架设计完成后采用一定的测试用例对框架进行测试所进行的结果部分的分析与总结。
最后是结论与展望，主要说明本课题所具有的应用价值以及存在的不足和以后研究的方向。 面向WEB服务的测试执行自动化技术框架设计与实现(2):http://www.751com.cn/jisuanji/lunwen_11982.html