發(fā)布時(shí)間：2018-12-21 11:49

【摘要】：隨著面向服務(wù)計(jì)算的迅速發(fā)展,Web服務(wù)測(cè)試得到越來(lái)越多的關(guān)注,尤其是在Web服務(wù)動(dòng)態(tài)發(fā)現(xiàn)和組合的過(guò)程中,通過(guò)對(duì)第三方提供的服務(wù)進(jìn)行自動(dòng)測(cè)試已成為一個(gè)研究熱點(diǎn)。近年來(lái),有關(guān)從Web服務(wù)的形式化代數(shù)規(guī)約中自動(dòng)生成測(cè)試用例和自動(dòng)檢驗(yàn)測(cè)試結(jié)果的正確性等方面的研究都取得了實(shí)質(zhì)性進(jìn)展。但是,由于Web服務(wù)接口的多樣性,導(dǎo)致服務(wù)調(diào)用方式不一致,如何將測(cè)試用例自動(dòng)地轉(zhuǎn)換成對(duì)第三方Web服務(wù)的測(cè)試性調(diào)用請(qǐng)求是一個(gè)尚未解決的技術(shù)難點(diǎn),已成為完成Web服務(wù)自動(dòng)測(cè)試的主要障礙之一。本學(xué)位論文將以現(xiàn)有的研究工作為基礎(chǔ),首先對(duì)線(xiàn)性測(cè)試調(diào)用序列生成算法進(jìn)行改進(jìn)。然后,本論文在分析主流Web服務(wù)接口的基礎(chǔ)上定義了通用的服務(wù)調(diào)用機(jī)制,提出一個(gè)通用的面向Web服務(wù)的測(cè)試執(zhí)行引擎框架,以支持包括WSDL/SOAP為基礎(chǔ)的Web服務(wù)和RESTful Web服務(wù)的自動(dòng)測(cè)試執(zhí)行過(guò)程,并將線(xiàn)性測(cè)試調(diào)用序列經(jīng)關(guān)系矩陣及并發(fā)流程圖構(gòu)建過(guò)程進(jìn)行并行化處理,進(jìn)而自動(dòng)生成并發(fā)測(cè)試腳本,以提高測(cè)試執(zhí)行效率。最后,本論文基于JAVA語(yǔ)言實(shí)現(xiàn)Web服務(wù)測(cè)試執(zhí)行引擎原型系統(tǒng),并通過(guò)對(duì)Stack服務(wù)和農(nóng)分期借貸服務(wù)的案例研究來(lái)展示框架和原型系統(tǒng)的可行性和高效性。
[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.
【學(xué)位授予單位】：南京理工大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2017
【分類(lèi)號(hào)】：TP311.53;TP393.09

【相似文獻(xiàn)】

相關(guān)期刊論文 前8條

1 余波;;面向代數(shù)規(guī)約測(cè)試謂詞/變遷網(wǎng)[J];小型微型計(jì)算機(jī)系統(tǒng);2011年09期

2 祝義;黃志球;周航;劉林源;;基于進(jìn)程代數(shù)規(guī)約生成軟件體系結(jié)構(gòu)模型的方法[J];計(jì)算機(jī)研究與發(fā)展;2011年02期

3 林凱，，沈理，陸朝俊，孫永強(qiáng);函數(shù)－規(guī)約混合語(yǔ)言的設(shè)計(jì)與實(shí)現(xiàn)[J];上海交通大學(xué)學(xué)報(bào);1996年06期

4 張維石;DFA模型及其語(yǔ)言的結(jié)構(gòu)化代數(shù)規(guī)約[J];小型微型計(jì)算機(jī)系統(tǒng);1999年07期

5 余波;孔良;彭琛;;基于代數(shù)規(guī)約的Web服務(wù)測(cè)試[J];計(jì)算機(jī)工程;2009年21期

6 余波;;從BPMN模型導(dǎo)出組合服務(wù)的代數(shù)規(guī)約[J];計(jì)算機(jī)工程與科學(xué);2013年02期

7 周倜;李夢(mèng)君;劉萬(wàn)偉;李舟軍;;安全協(xié)議的進(jìn)程代數(shù)規(guī)約到邏輯程序的自動(dòng)轉(zhuǎn)換[J];計(jì)算機(jī)工程與科學(xué);2006年01期

8 ;[J];;年期

相關(guān)碩士學(xué)位論文 前2條

1 劉宇欣;基于代數(shù)規(guī)約的Web服務(wù)自動(dòng)化測(cè)試技術(shù)研究[D];南京理工大學(xué);2015年

2 張?chǎng)?基于代數(shù)規(guī)約的Web服務(wù)測(cè)試執(zhí)行技術(shù)研究[D];南京理工大學(xué);2017年

本文編號(hào)：2388872