基于接口契約的有狀態(tài)Web服務(wù)用例集生成
本文選題:有狀態(tài)Web服務(wù) + 操作序列; 參考:《計(jì)算機(jī)研究與發(fā)展》2017年03期
【摘要】:Web服務(wù)具有對(duì)外只提供接口文檔、技術(shù)規(guī)范復(fù)雜和運(yùn)行時(shí)態(tài)瞬時(shí)多變等特性,如何有效地自動(dòng)化生成測(cè)試數(shù)據(jù)仍舊是個(gè)難題.目前,針對(duì)有狀態(tài)Web服務(wù)操作序列的測(cè)試研究較少,現(xiàn)有的方法對(duì)服務(wù)的行為信息和操作之間的數(shù)據(jù)依賴關(guān)系考慮不足,且缺乏有效的測(cè)試自動(dòng)化手段,進(jìn)而導(dǎo)致測(cè)試代價(jià)較高以及生成的測(cè)試數(shù)據(jù)缺乏針對(duì)性.對(duì)此,提出一種結(jié)合有限狀態(tài)機(jī)(EFSM)模型和操作接口契約的測(cè)試數(shù)據(jù)生成方法,該方法根據(jù)標(biāo)準(zhǔn)WSDL文檔建立操作模型,形式化描述操作之間的交互關(guān)系,并對(duì)其進(jìn)行語(yǔ)義標(biāo)注,基于EFSM模型生成操作序列測(cè)試路徑,隨后采用操作接口契約關(guān)系獲取測(cè)試路徑中的測(cè)試數(shù)據(jù).通過(guò)案例表明,這種有狀態(tài)Web服務(wù)的用例生成方法能夠高效地生成合理的測(cè)試數(shù)據(jù),并在錯(cuò)誤檢測(cè)能力以及用例有效性方面優(yōu)于現(xiàn)有的方法.
[Abstract]:Web services provide only interface documents, technical specifications are complex and runtime is instantaneous, so how to generate test data automatically is still a difficult problem. At present, there are few researches on the test of stateful Web service operation sequence. The existing methods do not consider the behavior information of the service and the data dependence relation between the operation, and lack of effective test automation method. This leads to the high cost of testing and the lack of pertinence of the generated test data. In this paper, a test data generation method combining finite state machine (EFSM) model and operation interface contract is proposed. The operation model is established according to the standard WSDL document, and the interaction between operations is formally described, and the semantic annotation is carried out. The test path of operation sequence is generated based on EFSM model, and the test data in test path is obtained by operation interface contract relation. A case study shows that the use case generation method of stateful Web services can efficiently generate reasonable test data and is superior to the existing methods in error detection ability and use case validity.
【作者單位】: 江蘇自動(dòng)化研究所;
【分類號(hào)】:TP311.53;TP393.09
【參考文獻(xiàn)】
相關(guān)期刊論文 前5條
1 許蕾;李言輝;陳林;宮敏;顏友軍;徐寶文;;一種面向用戶需求的Web服務(wù)測(cè)試方法[J];計(jì)算機(jī)學(xué)報(bào);2014年03期
2 侯可佳;白曉穎;陸?zhàn)?李樹芳;周立柱;;基于接口語(yǔ)義契約的Web服務(wù)測(cè)試數(shù)據(jù)生成[J];軟件學(xué)報(bào);2013年09期
3 馬春燕;朱怡安;陸偉;;Web服務(wù)自動(dòng)化測(cè)試技術(shù)[J];計(jì)算機(jī)科學(xué);2012年02期
4 何玲娟;劉連臣;吳澄;;一種改進(jìn)的基于WSDL描述的操作相似性度量方法[J];計(jì)算機(jī)學(xué)報(bào);2008年08期
5 姜瑛,辛國(guó)茂,單錦輝,張路,謝冰,楊芙清;一種Web服務(wù)的測(cè)試數(shù)據(jù)自動(dòng)生成方法[J];計(jì)算機(jī)學(xué)報(bào);2005年04期
【共引文獻(xiàn)】
相關(guān)期刊論文 前10條
1 蘇麗芳;;軟件測(cè)試自動(dòng)化技術(shù)的應(yīng)用分析[J];中國(guó)高新技術(shù)企業(yè);2017年09期
2 劉靖;陳文杰;;基于變異測(cè)試的RESTful Web服務(wù)測(cè)試數(shù)據(jù)優(yōu)化生成方法[J];東南大學(xué)學(xué)報(bào)(自然科學(xué)版);2017年03期
3 孫志斌;蒲春俊;;Web服務(wù)自動(dòng)化測(cè)試技術(shù)初探[J];化工管理;2017年14期
4 盧鳳;李海榮;韓艷;;基于時(shí)空相似度感知的Web服務(wù)QoS協(xié)同過(guò)濾推薦[J];計(jì)算機(jī)工程;2017年04期
5 李吟;;基于接口契約的有狀態(tài)Web服務(wù)用例集生成[J];計(jì)算機(jī)研究與發(fā)展;2017年03期
6 李源;李吟;姚海洋;;海軍服務(wù)化描述語(yǔ)言的靜態(tài)缺陷檢測(cè)方法[J];指揮控制與仿真;2017年01期
7 史秋艷;;Web服務(wù)自動(dòng)化測(cè)試技術(shù)[J];信息與電腦(理論版);2017年03期
8 鄒國(guó)良;屠正飛;鄭宗生;;基于混合注冊(cè)方式的海洋環(huán)境增強(qiáng)現(xiàn)實(shí)系統(tǒng)[J];計(jì)算機(jī)應(yīng)用與軟件;2016年10期
9 王曙燕;王璇;孫家澤;;基于XPath路徑的Web應(yīng)用測(cè)試腳本修復(fù)[J];計(jì)算機(jī)應(yīng)用研究;2017年05期
10 葉鵬;;基于CTI-TET和Selenium Webdriver的Web應(yīng)用自動(dòng)化測(cè)試框架的設(shè)計(jì)與實(shí)現(xiàn)[J];軟件工程;2016年08期
【二級(jí)參考文獻(xiàn)】
相關(guān)期刊論文 前8條
1 許蕾;陳林;徐寶文;;用戶需求驅(qū)動(dòng)的Web服務(wù)測(cè)試[J];計(jì)算機(jī)學(xué)報(bào);2011年06期
2 董文莉;胡建華;;基于BPEL的Web Service組合的數(shù)據(jù)流分析測(cè)試方法(英文)[J];軟件學(xué)報(bào);2009年08期
3 傅博;;基于蟻群算法的軟件測(cè)試數(shù)據(jù)自動(dòng)生成[J];計(jì)算機(jī)工程與應(yīng)用;2007年12期
4 傅博;基于模擬退火遺傳算法的軟件測(cè)試數(shù)據(jù)自動(dòng)生成[J];計(jì)算機(jī)工程與應(yīng)用;2005年12期
5 顏炯;王戟;陳火旺;;基于模型的軟件測(cè)試綜述[J];計(jì)算機(jī)科學(xué);2004年02期
6 單錦輝,王戟,齊治昌;面向路徑的測(cè)試數(shù)據(jù)自動(dòng)生成方法述評(píng)[J];電子學(xué)報(bào);2004年01期
7 楊芙清,梅宏,呂建,金芝;淺論軟件技術(shù)發(fā)展[J];電子學(xué)報(bào);2002年S1期
8 王穎,謝劍英;一種自適應(yīng)蟻群算法及其仿真研究[J];系統(tǒng)仿真學(xué)報(bào);2002年01期
【相似文獻(xiàn)】
相關(guān)期刊論文 前3條
1 朱新銘;Mark V〈Ⅰ〉操作接口的2000年問(wèn)題[J];燃?xì)廨啓C(jī)技術(shù);1999年03期
2 吳永誠(chéng);陳金燾;;科技上身[J];數(shù)碼世界(B版);2007年02期
3 ;[J];;年期
,本文編號(hào):2002952
本文鏈接:http://www.sikaile.net/guanlilunwen/ydhl/2002952.html