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

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

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

【摘要】：近年來,Web服務(wù)已經(jīng)得到越來越廣泛地使用,但在實(shí)際應(yīng)用中卻受到諸多技術(shù)的挑戰(zhàn),尤其是服務(wù)提供者和服務(wù)消費(fèi)者之間的信任問題,即如何在眾多Web服務(wù)中選擇可靠的服務(wù),測(cè)試是一種非常有效的解決途徑,而自動(dòng)化測(cè)試技術(shù)有助于緩解測(cè)試的高開銷問題。本學(xué)位論文研究基于代數(shù)規(guī)約的Web服務(wù)測(cè)試?yán)碚摵图夹g(shù),部分解決面向服務(wù)軟件特性給軟件測(cè)試帶來的挑戰(zhàn)。本文使用代數(shù)規(guī)約語言對(duì)Web服務(wù)進(jìn)行描述,在不暴露服務(wù)實(shí)現(xiàn)細(xì)節(jié)的前提下,描述服務(wù)的可觀察行為,實(shí)現(xiàn)Web服務(wù)的自動(dòng)化測(cè)試。本文首先對(duì)代數(shù)規(guī)約語言SOFIA進(jìn)行了詳細(xì)介紹,然后提出一個(gè)基于代數(shù)規(guī)約的Web服務(wù)自動(dòng)化測(cè)試框架,分別從測(cè)試數(shù)據(jù)生成、測(cè)試執(zhí)行和測(cè)試結(jié)果分析三個(gè)方面介紹該框架,并且實(shí)現(xiàn)了一個(gè)Web服務(wù)自動(dòng)化測(cè)試原型工具,最后通過一些案例研究展示框架和工具的可行性。
【關(guān)鍵詞】：代數(shù)規(guī)約 Web服務(wù)測(cè)試 自動(dòng)化測(cè)試 測(cè)試用例生成 測(cè)試執(zhí)行 測(cè)試結(jié)果分析
【學(xué)位授予單位】：南京理工大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：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ù)測(cè)試10-13
• 1.2.3 基于代數(shù)規(guī)約的測(cè)試13-14
• 1.3 本文的主要研究?jī)?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ù)自動(dòng)化測(cè)試框架27-41
• 3.1 測(cè)試數(shù)據(jù)生成28-31
• 3.2 測(cè)試執(zhí)行31-33
• 3.3 測(cè)試結(jié)果分析33-35
• 3.4 Web服務(wù)自動(dòng)化測(cè)試算法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ù)自動(dòng)化測(cè)試工具41-47
• 4.1 測(cè)試工具的整體架構(gòu)41-43
• 4.2 測(cè)試工具的工作流程43-46
• 4.2.1 代數(shù)規(guī)約解析器43-44
• 4.2.2 測(cè)試數(shù)據(jù)生成器44-45
• 4.2.3 測(cè)試驅(qū)動(dòng)器45
• 4.2.4 測(cè)試結(jié)果分析器45-46
• 4.3 本章小結(jié)46-47
• 5 案例分析47-63
• 5.1 案例一：火車時(shí)刻表查詢服務(wù)50-56
• 5.1.1 服務(wù)的代數(shù)規(guī)約描述50-54
• 5.1.2 測(cè)試結(jié)果分析54-56
• 5.2 案例二：AWSECommerceService服務(wù)56-62
• 5.2.1 服務(wù)的代數(shù)規(guī)約描述56-59
• 5.2.2 測(cè)試結(jié)果分析59-62
• 5.3 本章小結(jié)62-63
• 6 總結(jié)63-64
• 致謝64-65
• 參考文獻(xiàn)65-69
• 附錄69

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前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ī)約混合語言的設(shè)計(jì)與實(shí)現(xiàn)[J];上海交通大學(xué)學(xué)報(bào);1996年06期

4 張維石;DFA模型及其語言的結(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)君;劉萬偉;李舟軍;;安全協(xié)議的進(jìn)程代數(shù)規(guī)約到邏輯程序的自動(dòng)轉(zhuǎn)換[J];計(jì)算機(jī)工程與科學(xué);2006年01期

8 ;[J];;年期

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

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

本文編號(hào)：731051