基于代数规约的Web服务自动化测试技术研究

发布时间：2017-08-24 11:23

  本文关键词：基于代数规约的Web服务自动化测试技术研究

  更多相关文章： 代数规约 Web服务测试 自动化测试 测试用例生成 测试执行 测试结果分析

【摘要】：近年来,Web服务已经得到越来越广泛地使用,但在实际应用中却受到诸多技术的挑战,尤其是服务提供者和服务消费者之间的信任问题,即如何在众多Web服务中选择可靠的服务,测试是一种非常有效的解决途径,而自动化测试技术有助于缓解测试的高开销问题。本学位论文研究基于代数规约的Web服务测试理论和技术,部分解决面向服务软件特性给软件测试带来的挑战。本文使用代数规约语言对Web服务进行描述,在不暴露服务实现细节的前提下,描述服务的可观察行为,实现Web服务的自动化测试。本文首先对代数规约语言SOFIA进行了详细介绍,然后提出一个基于代数规约的Web服务自动化测试框架,分别从测试数据生成、测试执行和测试结果分析三个方面介绍该框架,并且实现了一个Web服务自动化测试原型工具,最后通过一些案例研究展示框架和工具的可行性。
【关键词】：代数规约 Web服务测试 自动化测试 测试用例生成 测试执行 测试结果分析
【学位授予单位】：南京理工大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP393.09
【目录】：

• 摘要3-4
• Abstract4-8
• 1 绪论8-16
• 1.1 研究背景和意义8-9
• 1.2 相关技术及研究现状9-14
• 1.2.1 Web服务和面向服务架构9-10
• 1.2.2 Web服务测试10-13
• 1.2.3 基于代数规约的测试13-14
• 1.3 本文的主要研究内容14-15
• 1.4 本文的组织结构15-16
• 2 面向Web服务的代数规约16-27
• 2.1 代数规约的结构16-18
• 2.1.1 基调单元16-17
• 2.1.2 公理集17
• 2.1.3 变量结构树17-18
• 2.2 代数规约的语义18-19
• 2.3 代数规约语言SOFIA19-26
• 2.3.1 SOFIA的整体结构19-20
• 2.3.2 基调的语法20-23
• 2.3.3 公理集的语法23-25
• 2.3.4 用SOFIA表示Stack25-26
• 2.4 本章小结26-27
• 3 基于代数规约的Web服务自动化测试框架27-41
• 3.1 测试数据生成28-31
• 3.2 测试执行31-33
• 3.3 测试结果分析33-35
• 3.4 Web服务自动化测试算法35-40
• 3.4.1 算法TE36-38
• 3.4.2 算法TDG38
• 3.4.3 算法CC38-39
• 3.4.4 算法TP39-40
• 3.5 本章小结40-41
• 4 基于代数规约的Web服务自动化测试工具41-47
• 4.1 测试工具的整体架构41-43
• 4.2 测试工具的工作流程43-46
• 4.2.1 代数规约解析器43-44
• 4.2.2 测试数据生成器44-45
• 4.2.3 测试驱动器45
• 4.2.4 测试结果分析器45-46
• 4.3 本章小结46-47
• 5 案例分析47-63
• 5.1 案例一：火车时刻表查询服务50-56
• 5.1.1 服务的代数规约描述50-54
• 5.1.2 测试结果分析54-56
• 5.2 案例二：AWSECommerceService服务56-62
• 5.2.1 服务的代数规约描述56-59
• 5.2.2 测试结果分析59-62
• 5.3 本章小结62-63
• 6 总结63-64
• 致谢64-65
• 参考文献65-69
• 附录69

【相似文献】

中国期刊全文数据库 前8条

1 余波;;面向代数规约测试谓词/变迁网[J];小型微型计算机系统;2011年09期

2 祝义;黄志球;周航;刘林源;;基于进程代数规约生成软件体系结构模型的方法[J];计算机研究与发展;2011年02期

3 林凯，，沈理，陆朝俊，孙永强;函数－规约混合语言的设计与实现[J];上海交通大学学报;1996年06期

4 张维石;DFA模型及其语言的结构化代数规约[J];小型微型计算机系统;1999年07期

5 余波;孔良;彭琛;;基于代数规约的Web服务测试[J];计算机工程;2009年21期

6 余波;;从BPMN模型导出组合服务的代数规约[J];计算机工程与科学;2013年02期

7 周倜;李梦君;刘万伟;李舟军;;安全协议的进程代数规约到逻辑程序的自动转换[J];计算机工程与科学;2006年01期

8 ;[J];;年期

中国硕士学位论文全文数据库 前1条

1 刘宇欣;基于代数规约的Web服务自动化测试技术研究[D];南京理工大学;2015年

本文编号：731051