發(fā)布時(shí)間：2021-01-07 06:56

　　測(cè)試用例自動(dòng)生成是實(shí)現(xiàn)Web服務(wù)自動(dòng)化測(cè)試的關(guān)鍵,基于代數(shù)規(guī)約的傳統(tǒng)測(cè)試技術(shù)均依賴(lài)于創(chuàng)建、初始化和復(fù)制被測(cè)對(duì)象等操作來(lái)驗(yàn)證測(cè)試結(jié)果的正確性,但第三方Web服務(wù)并不支持這些操作,無(wú)法保證將測(cè)試用例轉(zhuǎn)換成可執(zhí)行操作序列。一種可行的解決方案是單線測(cè)試技術(shù),即將測(cè)試用例轉(zhuǎn)換成只包含一個(gè)被測(cè)服務(wù)實(shí)例、不包括實(shí)例初始化、只對(duì)實(shí)例進(jìn)行狀態(tài)修改和檢查的線性執(zhí)行序列。該技術(shù)使用測(cè)試執(zhí)行圖（TEG）描述測(cè)試用例的執(zhí)行過(guò)程,并基于TEG生成可執(zhí)行的單線測(cè)試序列。本文研究基于代數(shù)規(guī)約的Web服務(wù)測(cè)試用例生成方法,針對(duì)已有的單線測(cè)試序列生成方法中存在的問(wèn)題,改進(jìn)已有的單線測(cè)試序列生成方法,并進(jìn)一步提出使用項(xiàng)圖改寫(xiě)技術(shù)對(duì)非單線測(cè)試序列進(jìn)行單線化轉(zhuǎn)換處理,生成適用于Web服務(wù)測(cè)試的單線測(cè)試序列。本學(xué)位論文主要包括以下三個(gè)方面的工作:1.為了解決可逆浮動(dòng)項(xiàng)的單線測(cè)試序列生成問(wèn)題,提出部分可逆類(lèi)子概念,并使用改進(jìn)的測(cè)試執(zhí)行圖（TEG-I）精確描述浮動(dòng)測(cè)試用例的執(zhí)行過(guò)程和待測(cè)服務(wù)的狀態(tài)變化,包括測(cè)試用例中可逆浮動(dòng)項(xiàng)執(zhí)行后的恢復(fù)過(guò)程,在此基礎(chǔ)上設(shè)計(jì)TEG-I構(gòu)造算法和改進(jìn)的單線測(cè)試序列生成算法。2.提出一種非單線測(cè)試用例的... 

【文章來(lái)源】：南京理工大學(xué)江蘇省 211工程院校

【文章頁(yè)數(shù)】：78 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

原型工具M(jìn)TST的TEG-I構(gòu)造器界面

4Web單線測(cè)試序列生成原型工具的設(shè)計(jì)與實(shí)現(xiàn)碩士學(xué)位論文48理”，點(diǎn)擊“實(shí)例化處理”按鈕生成可檢查浮動(dòng)測(cè)試用例，點(diǎn)擊“等式化處理”按鈕將可檢查浮動(dòng)測(cè)試用例中的中綴表達(dá)式轉(zhuǎn)化為前綴表達(dá)式、符號(hào)表示轉(zhuǎn)化為函數(shù)表示，點(diǎn)擊“TEG-I生成”按鈕生成可檢查浮動(dòng)測(cè)試用例的TEG-I并在界面中的TEG-I顯示框顯示。圖4.9原型工具M(jìn)TST的TEG-I構(gòu)造器界面圖4.10是單線轉(zhuǎn)換器界面，選擇測(cè)試用例后，“TEG-I”顯示對(duì)應(yīng)的TEG-I，點(diǎn)擊“單線判斷”按鈕判斷對(duì)應(yīng)的TEG-I是否能生成單線測(cè)試序列，若文本顯示框顯示否，則選擇改寫(xiě)系統(tǒng)并點(diǎn)擊“單線轉(zhuǎn)換”按鈕對(duì)TEG-I進(jìn)行單線轉(zhuǎn)換，轉(zhuǎn)換結(jié)果在“單線轉(zhuǎn)換結(jié)果”面板顯示。

碩士學(xué)位論文基于代數(shù)規(guī)約的Web服務(wù)測(cè)試用例生成技術(shù)研究49圖4.10原型工具M(jìn)TST的單線轉(zhuǎn)換器界面圖4.11是單線測(cè)試序列生成器界面，選擇測(cè)試用例后，“單線TEG-I”面板顯示對(duì)應(yīng)的TEG-I，點(diǎn)擊單線測(cè)試序列生成即可生成單線測(cè)試序列。圖4.11原型工具M(jìn)TST的單線測(cè)試序列生成器界面

【參考文獻(xiàn)】：
期刊論文
[1]服務(wù)組合的代數(shù)規(guī)約[J]. 陳穎,劉冬梅,朱鴻,蘭斌,何娟娟.  計(jì)算機(jī)工程與科學(xué). 2018(06)
[2]基于代數(shù)規(guī)約的Web服務(wù)自動(dòng)測(cè)試執(zhí)行引擎[J]. 張?chǎng)?劉冬梅,朱鴻,陳穎,蘭斌,孫玉虎.  計(jì)算機(jī)與數(shù)字工程. 2018(01)
[3]一種基于有限狀態(tài)機(jī)的測(cè)試路徑生成方法[J]. 錢(qián)忠勝.  小型微型計(jì)算機(jī)系統(tǒng). 2014(07)
[4]基于OWL-S文檔的Web服務(wù)測(cè)試用例生成[J]. 李穎,許蕾.  計(jì)算機(jī)科學(xué). 2012(10)
[5]基于項(xiàng)重寫(xiě)的形式化排序方法及應(yīng)用[J]. 陳晨,陳衛(wèi)紅,閆振天,祝躍飛.  通信學(xué)報(bào). 2011(03)
[6]基于有限狀態(tài)機(jī)的Web服務(wù)測(cè)試用例生成方法[J]. 黎升洪,王任.  計(jì)算機(jī)時(shí)代. 2009(11)



本文編號(hào)：2962120