基于接口契約的有狀態(tài)Web服務用例集生成
本文選題:有狀態(tài)Web服務 + 操作序列。 參考:《計算機研究與發(fā)展》2017年03期
【摘要】:Web服務具有對外只提供接口文檔、技術規(guī)范復雜和運行時態(tài)瞬時多變等特性,如何有效地自動化生成測試數(shù)據(jù)仍舊是個難題.目前,針對有狀態(tài)Web服務操作序列的測試研究較少,現(xiàn)有的方法對服務的行為信息和操作之間的數(shù)據(jù)依賴關系考慮不足,且缺乏有效的測試自動化手段,進而導致測試代價較高以及生成的測試數(shù)據(jù)缺乏針對性.對此,提出一種結合有限狀態(tài)機(EFSM)模型和操作接口契約的測試數(shù)據(jù)生成方法,該方法根據(jù)標準WSDL文檔建立操作模型,形式化描述操作之間的交互關系,并對其進行語義標注,基于EFSM模型生成操作序列測試路徑,隨后采用操作接口契約關系獲取測試路徑中的測試數(shù)據(jù).通過案例表明,這種有狀態(tài)Web服務的用例生成方法能夠高效地生成合理的測試數(shù)據(jù),并在錯誤檢測能力以及用例有效性方面優(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.
【作者單位】: 江蘇自動化研究所;
【分類號】:TP311.53;TP393.09
【參考文獻】
相關期刊論文 前5條
1 許蕾;李言輝;陳林;宮敏;顏友軍;徐寶文;;一種面向用戶需求的Web服務測試方法[J];計算機學報;2014年03期
2 侯可佳;白曉穎;陸?zhàn)?李樹芳;周立柱;;基于接口語義契約的Web服務測試數(shù)據(jù)生成[J];軟件學報;2013年09期
3 馬春燕;朱怡安;陸偉;;Web服務自動化測試技術[J];計算機科學;2012年02期
4 何玲娟;劉連臣;吳澄;;一種改進的基于WSDL描述的操作相似性度量方法[J];計算機學報;2008年08期
5 姜瑛,辛國茂,單錦輝,張路,謝冰,楊芙清;一種Web服務的測試數(shù)據(jù)自動生成方法[J];計算機學報;2005年04期
【共引文獻】
相關期刊論文 前10條
1 蘇麗芳;;軟件測試自動化技術的應用分析[J];中國高新技術企業(yè);2017年09期
2 劉靖;陳文杰;;基于變異測試的RESTful Web服務測試數(shù)據(jù)優(yōu)化生成方法[J];東南大學學報(自然科學版);2017年03期
3 孫志斌;蒲春俊;;Web服務自動化測試技術初探[J];化工管理;2017年14期
4 盧鳳;李海榮;韓艷;;基于時空相似度感知的Web服務QoS協(xié)同過濾推薦[J];計算機工程;2017年04期
5 李吟;;基于接口契約的有狀態(tài)Web服務用例集生成[J];計算機研究與發(fā)展;2017年03期
6 李源;李吟;姚海洋;;海軍服務化描述語言的靜態(tài)缺陷檢測方法[J];指揮控制與仿真;2017年01期
7 史秋艷;;Web服務自動化測試技術[J];信息與電腦(理論版);2017年03期
8 鄒國良;屠正飛;鄭宗生;;基于混合注冊方式的海洋環(huán)境增強現(xiàn)實系統(tǒng)[J];計算機應用與軟件;2016年10期
9 王曙燕;王璇;孫家澤;;基于XPath路徑的Web應用測試腳本修復[J];計算機應用研究;2017年05期
10 葉鵬;;基于CTI-TET和Selenium Webdriver的Web應用自動化測試框架的設計與實現(xiàn)[J];軟件工程;2016年08期
【二級參考文獻】
相關期刊論文 前8條
1 許蕾;陳林;徐寶文;;用戶需求驅動的Web服務測試[J];計算機學報;2011年06期
2 董文莉;胡建華;;基于BPEL的Web Service組合的數(shù)據(jù)流分析測試方法(英文)[J];軟件學報;2009年08期
3 傅博;;基于蟻群算法的軟件測試數(shù)據(jù)自動生成[J];計算機工程與應用;2007年12期
4 傅博;基于模擬退火遺傳算法的軟件測試數(shù)據(jù)自動生成[J];計算機工程與應用;2005年12期
5 顏炯;王戟;陳火旺;;基于模型的軟件測試綜述[J];計算機科學;2004年02期
6 單錦輝,王戟,齊治昌;面向路徑的測試數(shù)據(jù)自動生成方法述評[J];電子學報;2004年01期
7 楊芙清,梅宏,呂建,金芝;淺論軟件技術發(fā)展[J];電子學報;2002年S1期
8 王穎,謝劍英;一種自適應蟻群算法及其仿真研究[J];系統(tǒng)仿真學報;2002年01期
【相似文獻】
相關期刊論文 前3條
1 朱新銘;Mark V〈Ⅰ〉操作接口的2000年問題[J];燃氣輪機技術;1999年03期
2 吳永誠;陳金燾;;科技上身[J];數(shù)碼世界(B版);2007年02期
3 ;[J];;年期
,本文編號:2002952
本文鏈接:http://sikaile.net/guanlilunwen/ydhl/2002952.html