摘要近年来Web服务得到迅速地发展,关于Web服务的可信问题受到了更多的关注,测试是解决Web服务可信问题的一种有力途径。考虑到Web服务测试的高开销特点,有必要研究Web服务的测试自动化技术。
本课题基于代数规约研究Web服务测试,给出一种面向Web服务测试执行自动化框架。在该框架中,首先采用代数规约语言对Web服务进行形式化描述,然后针对描述的服务规约进行解析分析,接着生成测试用例、执行测试并对测试结果进行分析,最后输出测试报告。本论文重点解析返回的XML信息、并对测试结果进行分析。20267
关键字 Web服务;测试;自动化;代数规约;HTTP
毕业设计说明书(论文)外文摘要
Title The Design and Realization of Web services-oriented framework for test execution automation technology
Abstract
In recent years, the rapid development of Web services on the issue of credibility of Web services has been more attention, testing is a powerful way to solve the problem of the credibility of Web services. Considering the high cost of testing the characteristics of Web services, it is necessary to study the test automation technology Web services.
The research topics of Web services based on algebraic specification test give a Web service-oriented automated test execution framework. In this framework, the first algebraic specification language to formally describe the Web service, and then parse the analysis described in the statute for the service, and then generate test cases, test execution and test results are analyzed, the final output of the test report. This paper focuses parse the returned XML information, and to analyze the test results.
Keyword Web services; tests; automation; algebraic specification; HTTP
目 次
1绪论 1
1.1选题的背景及意义 1
1.2国内外现状 2
1.3本课题所面临的难点和解决办法 4
1.4论文组织结构 4
2涉及的原理与关键技术 4
2.1形式化方法 5
2.2代数规约及代数规约语言SOFIA 6
2.3 HTTP请求技术 7
3面向Web服务测试执行自动化框架设计说明 8
3.1面向Web服务测试执行自动化框架总体介绍 8
3.2 XML分析部分的设计 13
3.3测试结果分析部分的设计 17
4面向Web服务测试执行自动化框架运行测试介绍 21
4.1框架运行测试数据介绍 21
4.2框架运行测试具体情况描述 24
4.3框架运行测试总结 31
结论与展望 33
致谢 34
参考文献 35
1 绪论
1.1 选题的背景及意义
1.1.1 选题的背景
近年来Web服务技术正在迅速发展。Web服务是通过W3C支持互操作的机器对机器的交互网络的一个软件系统。当前,Web服务已经被广泛应用,无论是平台供应商、技术供应商,还是服务提供商都积极在自己的平台中加入Web服务。在这种情况下,一旦某个Web服务存在严重质量问题,很有可能给使用者造成无法估计的损失。因此,怎样在众多的Web服务中选出高质量的服务成为Web服务应用的一个问题。对于解决这一问题,测试是相对有效的解决途径。由于Web服务的动态特征和分布式特点,任何人都可能在任何时间和地点发布、注册和请求Web服务,在这种情况下,Web服务测试面临着很大的挑战。Web服务测试的主要问题是在于它的高开销。对于这个问题,测试过程自动化可以降低测试的开销,从而在一定程度上解决这一问题。