發(fā)布時間：2017-08-24 11:23

  本文關(guān)鍵詞：基于代數(shù)規(guī)約的Web服務(wù)自動化測試技術(shù)研究

  更多相關(guān)文章： 代數(shù)規(guī)約 Web服務(wù)測試 自動化測試 測試用例生成 測試執(zhí)行 測試結(jié)果分析

【摘要】：近年來,Web服務(wù)已經(jīng)得到越來越廣泛地使用,但在實際應用中卻受到諸多技術(shù)的挑戰(zhàn),尤其是服務(wù)提供者和服務(wù)消費者之間的信任問題,即如何在眾多Web服務(wù)中選擇可靠的服務(wù),測試是一種非常有效的解決途徑,而自動化測試技術(shù)有助于緩解測試的高開銷問題。本學位論文研究基于代數(shù)規(guī)約的Web服務(wù)測試理論和技術(shù),部分解決面向服務(wù)軟件特性給軟件測試帶來的挑戰(zhàn)。本文使用代數(shù)規(guī)約語言對Web服務(wù)進行描述,在不暴露服務(wù)實現(xiàn)細節(jié)的前提下,描述服務(wù)的可觀察行為,實現(xiàn)Web服務(wù)的自動化測試。本文首先對代數(shù)規(guī)約語言SOFIA進行了詳細介紹,然后提出一個基于代數(shù)規(guī)約的Web服務(wù)自動化測試框架,分別從測試數(shù)據(jù)生成、測試執(zhí)行和測試結(jié)果分析三個方面介紹該框架,并且實現(xiàn)了一個Web服務(wù)自動化測試原型工具,最后通過一些案例研究展示框架和工具的可行性。
【關(guān)鍵詞】：代數(shù)規(guī)約 Web服務(wù)測試 自動化測試 測試用例生成 測試執(zhí)行 測試結(jié)果分析
【學位授予單位】：南京理工大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：TP393.09
【目錄】：

• 摘要3-4
• Abstract4-8
• 1 緒論8-16
• 1.1 研究背景和意義8-9
• 1.2 相關(guān)技術(shù)及研究現(xiàn)狀9-14
• 1.2.1 Web服務(wù)和面向服務(wù)架構(gòu)9-10
• 1.2.2 Web服務(wù)測試10-13
• 1.2.3 基于代數(shù)規(guī)約的測試13-14
• 1.3 本文的主要研究內(nèi)容14-15
• 1.4 本文的組織結(jié)構(gòu)15-16
• 2 面向Web服務(wù)的代數(shù)規(guī)約16-27
• 2.1 代數(shù)規(guī)約的結(jié)構(gòu)16-18
• 2.1.1 基調(diào)單元16-17
• 2.1.2 公理集17
• 2.1.3 變量結(jié)構(gòu)樹17-18
• 2.2 代數(shù)規(guī)約的語義18-19
• 2.3 代數(shù)規(guī)約語言SOFIA19-26
• 2.3.1 SOFIA的整體結(jié)構(gòu)19-20
• 2.3.2 基調(diào)的語法20-23
• 2.3.3 公理集的語法23-25
• 2.3.4 用SOFIA表示Stack25-26
• 2.4 本章小結(jié)26-27
• 3 基于代數(shù)規(guī)約的Web服務(wù)自動化測試框架27-41
• 3.1 測試數(shù)據(jù)生成28-31
• 3.2 測試執(zhí)行31-33
• 3.3 測試結(jié)果分析33-35
• 3.4 Web服務(wù)自動化測試算法35-40
• 3.4.1 算法TE36-38
• 3.4.2 算法TDG38
• 3.4.3 算法CC38-39
• 3.4.4 算法TP39-40
• 3.5 本章小結(jié)40-41
• 4 基于代數(shù)規(guī)約的Web服務(wù)自動化測試工具41-47
• 4.1 測試工具的整體架構(gòu)41-43
• 4.2 測試工具的工作流程43-46
• 4.2.1 代數(shù)規(guī)約解析器43-44
• 4.2.2 測試數(shù)據(jù)生成器44-45
• 4.2.3 測試驅(qū)動器45
• 4.2.4 測試結(jié)果分析器45-46
• 4.3 本章小結(jié)46-47
• 5 案例分析47-63
• 5.1 案例一：火車時刻表查詢服務(wù)50-56
• 5.1.1 服務(wù)的代數(shù)規(guī)約描述50-54
• 5.1.2 測試結(jié)果分析54-56
• 5.2 案例二：AWSECommerceService服務(wù)56-62
• 5.2.1 服務(wù)的代數(shù)規(guī)約描述56-59
• 5.2.2 測試結(jié)果分析59-62
• 5.3 本章小結(jié)62-63
• 6 總結(jié)63-64
• 致謝64-65
• 參考文獻65-69
• 附錄69

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前8條

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

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

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

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

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

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

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

8 ;[J];;年期

中國碩士學位論文全文數(shù)據(jù)庫 前1條

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

本文編號：731051