基于代数规约的Web服务测试执行技术研究
发布时间：2018-12-21 11:49
【摘要】：随着面向服务计算的迅速发展,Web服务测试得到越来越多的关注,尤其是在Web服务动态发现和组合的过程中,通过对第三方提供的服务进行自动测试已成为一个研究热点。近年来,有关从Web服务的形式化代数规约中自动生成测试用例和自动检验测试结果的正确性等方面的研究都取得了实质性进展。但是,由于Web服务接口的多样性,导致服务调用方式不一致,如何将测试用例自动地转换成对第三方Web服务的测试性调用请求是一个尚未解决的技术难点,已成为完成Web服务自动测试的主要障碍之一。本学位论文将以现有的研究工作为基础,首先对线性测试调用序列生成算法进行改进。然后,本论文在分析主流Web服务接口的基础上定义了通用的服务调用机制,提出一个通用的面向Web服务的测试执行引擎框架,以支持包括WSDL/SOAP为基础的Web服务和RESTful Web服务的自动测试执行过程,并将线性测试调用序列经关系矩阵及并发流程图构建过程进行并行化处理,进而自动生成并发测试脚本,以提高测试执行效率。最后,本论文基于JAVA语言实现Web服务测试执行引擎原型系统,并通过对Stack服务和农分期借贷服务的案例研究来展示框架和原型系统的可行性和高效性。
[Abstract]:With the rapid development of service-oriented computing, more and more attention has been paid to Web service testing. Especially in the process of dynamic discovery and composition of Web services, automatic testing of services provided by third parties has become a research hotspot. In recent years, substantial progress has been made in the research of automatic generation of test cases from formal algebraic specification of Web services and automatic verification of the correctness of test results. However, due to the diversity of Web service interfaces, the service invocation methods are inconsistent. How to automatically convert test cases into test calls to third party Web services is an unsolved technical difficulty. It has become one of the main obstacles to complete automatic testing of Web services. Based on the existing research work, this dissertation first improves the linear test call sequence generation algorithm. Then, on the basis of analyzing the mainstream Web service interface, this paper defines the universal service invocation mechanism, and proposes a general Web service-oriented test execution engine framework. In order to support the automatic test execution process of Web service and RESTful Web service including WSDL/SOAP, the linear test call sequence is parallelized by relation matrix and concurrent flowchart construction process, and the concurrent test script is generated automatically. To improve test execution efficiency. Finally, this paper implements the prototype system of Web service test execution engine based on JAVA language, and demonstrates the feasibility and efficiency of the framework and prototype system through the case study of Stack services and agricultural loan services.
【学位授予单位】：南京理工大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：TP311.53;TP393.09
本文编号：2388872
[Abstract]:With the rapid development of service-oriented computing, more and more attention has been paid to Web service testing. Especially in the process of dynamic discovery and composition of Web services, automatic testing of services provided by third parties has become a research hotspot. In recent years, substantial progress has been made in the research of automatic generation of test cases from formal algebraic specification of Web services and automatic verification of the correctness of test results. However, due to the diversity of Web service interfaces, the service invocation methods are inconsistent. How to automatically convert test cases into test calls to third party Web services is an unsolved technical difficulty. It has become one of the main obstacles to complete automatic testing of Web services. Based on the existing research work, this dissertation first improves the linear test call sequence generation algorithm. Then, on the basis of analyzing the mainstream Web service interface, this paper defines the universal service invocation mechanism, and proposes a general Web service-oriented test execution engine framework. In order to support the automatic test execution process of Web service and RESTful Web service including WSDL/SOAP, the linear test call sequence is parallelized by relation matrix and concurrent flowchart construction process, and the concurrent test script is generated automatically. To improve test execution efficiency. Finally, this paper implements the prototype system of Web service test execution engine based on JAVA language, and demonstrates the feasibility and efficiency of the framework and prototype system through the case study of Stack services and agricultural loan services.
【学位授予单位】：南京理工大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：TP311.53;TP393.09
【相似文献】
相关期刊论文 前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];;年期
相关硕士学位论文 前2条
1 刘宇欣;基于代数规约的Web服务自动化测试技术研究[D];南京理工大学;2015年
2 张鑫;基于代数规约的Web服务测试执行技术研究[D];南京理工大学;2017年
本文编号：2388872
本文链接：https://www.wllwen.com/guanlilunwen/ydhl/2388872.html
