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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

8 ;[J];;年期

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

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

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

本文編號：2388872