發(fā)布時(shí)間：2018-10-25 13:01

【摘要】：為更好地對(duì)Web服務(wù)組合的控制流進(jìn)行分析和驗(yàn)證,提出一種映射轉(zhuǎn)換模型和測(cè)試序列生成算法。首先解析基于BPEL的Web服務(wù)組合流程描述文件,然后對(duì)流程描述文件進(jìn)行圖形化轉(zhuǎn)換,形成業(yè)務(wù)流程編排控制流程圖,再采用路徑推導(dǎo)算法對(duì)控制流程圖進(jìn)行解析,獲取基于BPEL的服務(wù)組合的所有測(cè)試執(zhí)行路徑,最后通過(guò)一個(gè)服務(wù)組合實(shí)例證明模型及算法的有效性。該方法解決了測(cè)試路徑的自動(dòng)生成和全覆蓋問(wèn)題,保證了測(cè)試的充分性,提高了路徑生成效率。
[Abstract]:In order to better analyze and verify the control flow of Web service composition, a mapping transformation model and test sequence generation algorithm are proposed. Firstly, the Web service composition process description file based on BPEL is analyzed, then the process description file is graphically transformed to form the business process choreography control flowchart, and then the path derivation algorithm is used to analyze the control flow chart. All the test execution paths of service composition based on BPEL are obtained. Finally, a service composition example is given to prove the validity of the model and algorithm. This method solves the problem of automatic generation and full coverage of test path, ensures the adequacy of test, and improves the efficiency of path generation.
【作者單位】： 江蘇自動(dòng)化研究所;
【基金】：總裝十二五預(yù)研(513150502)資助
【分類號(hào)】：TP393.09

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

1 余波;;應(yīng)用Petri網(wǎng)改進(jìn)BPEL程序的正確性[J];計(jì)算機(jī)應(yīng)用研究;2011年09期

2 駱翔宇;譚征;蘇開(kāi)樂(lè);吳立軍;;一種基于認(rèn)知模型檢測(cè)的Web服務(wù)組合驗(yàn)證方法[J];計(jì)算機(jī)學(xué)報(bào);2011年06期

3 孫琳;劉久富;楊振興;;基于Petri網(wǎng)的軟件測(cè)試用例生成方法[J];計(jì)算機(jī)測(cè)量與控制;2010年09期

相關(guān)碩士學(xué)位論文 前1條

1 牟小玲;基于擴(kuò)展著色Petri網(wǎng)的服務(wù)組合測(cè)試研究[D];西南大學(xué);2012年

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張亞;;服務(wù)組合BPEL測(cè)試序列生成研究[J];計(jì)算機(jī)科學(xué);2017年01期

2 張莉;楊淑貞;楊浩;;RGPS服務(wù)層元模型正確性驗(yàn)證[J];軟件導(dǎo)刊;2016年12期

3 扣彥敏;王俊峰;薛霄;;集群協(xié)同制造服務(wù)組合策略的比較研究[J];計(jì)算機(jī)工程;2016年12期

4 李靖;崔仲遠(yuǎn);;基于服務(wù)分組和調(diào)用軌跡的Web服務(wù)組合驗(yàn)證方案[J];現(xiàn)代電子技術(shù);2016年05期

5 王榕;張敏;馮登國(guó);李昊;;數(shù)據(jù)庫(kù)形式化安全策略模型建模及分析方法[J];通信學(xué)報(bào);2015年09期

6 上超望;劉清堂;王艷鳳;;組合Web服務(wù)業(yè)務(wù)流程訪問(wèn)控制技術(shù)研究綜述[J];計(jì)算機(jī)科學(xué);2015年07期

7 沈華;何炎祥;張明武;;基于Petri網(wǎng)的Web服務(wù)組合驗(yàn)證方法[J];計(jì)算機(jī)科學(xué);2015年04期

8 許興旺;駱翔宇;;基于MAS模型檢測(cè)與抽象的Web服務(wù)驗(yàn)證[J];計(jì)算機(jī)工程;2015年03期

9 馬昌威;馬洪江;;基于接口自動(dòng)機(jī)的混合Web服務(wù)組合方法[J];計(jì)算機(jī)應(yīng)用;2014年06期

10 楊靜雅;孫林夫;王淑營(yíng);;面向汽車產(chǎn)業(yè)鏈協(xié)同平臺(tái)的配件庫(kù)存信息動(dòng)態(tài)集成技術(shù)[J];計(jì)算機(jī)應(yīng)用研究;2014年04期

相關(guān)碩士學(xué)位論文 前3條

1 蘇萌;基于有色Petri網(wǎng)的語(yǔ)義Web服務(wù)組合的驗(yàn)證與測(cè)試方法[D];內(nèi)蒙古農(nóng)業(yè)大學(xué);2014年

2 單繼城;軍事信息服務(wù)混合工作流模型研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2013年

3 劉哲;基于擴(kuò)展有色Petri網(wǎng)的組合Web服務(wù)的在線測(cè)試[D];中南大學(xué);2013年

【二級(jí)參考文獻(xiàn)】

相關(guān)期刊論文 前7條

1 李景霞;程久軍;;Web服務(wù)組合的層次顏色Petri網(wǎng)描述模型[J];計(jì)算機(jī)工程;2009年24期

2 王俊杰;張波;王紅園;權(quán)巍;;基于運(yùn)行剖面的測(cè)試用例自動(dòng)生成方法[J];計(jì)算機(jī)測(cè)量與控制;2008年11期

3 馬亮;張剛;;測(cè)試用例自動(dòng)生成方法的現(xiàn)狀及研究[J];現(xiàn)代電子技術(shù);2008年06期

4 金虎;李志蜀;張磊;李寶林;李勇軍;;基于面向路徑的遺傳算法的測(cè)試用例自動(dòng)生成[J];計(jì)算機(jī)工程;2007年03期

5 張毅坤,施鳳鳴,姚全珠,劉軍,付長(zhǎng)龍;基于UML狀態(tài)圖的類測(cè)試用例自動(dòng)生成方法[J];計(jì)算機(jī)工程;2003年21期

6 曾成碧,陳光;可達(dá)樹(shù)分析法及其在測(cè)試中的應(yīng)用[J];電子科技大學(xué)學(xué)報(bào);1999年05期

7 蔣昌俊,吳哲輝;Petri網(wǎng)的標(biāo)注可達(dá)樹(shù)[J];軟件學(xué)報(bào);1993年06期

相關(guān)碩士學(xué)位論文 前4條

1 吳道華;基于著色Petri網(wǎng)的測(cè)試用例生成及其在列控系統(tǒng)中的應(yīng)用[D];北京交通大學(xué);2010年

2 馮細(xì)光;基于OCL的Web服務(wù)測(cè)試方法研究[D];湖南科技大學(xué);2010年

3 郭艷;基于BPEL的Web服務(wù)組合建模工具的研究與實(shí)現(xiàn)[D];西北大學(xué);2009年

4 張羽豐;面向服務(wù)的Web服務(wù)測(cè)試框架研究與實(shí)現(xiàn)[D];國(guó)防科學(xué)技術(shù)大學(xué);2008年

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 孫潔麗;龔立群;;Web服務(wù)組合標(biāo)準(zhǔn)規(guī)范的研究[J];現(xiàn)代圖書(shū)情報(bào)技術(shù);2007年05期

2 萬(wàn)里平;蔡美玲;高春鳴;;基于服務(wù)聯(lián)盟的Web服務(wù)組合模型及方法[J];計(jì)算機(jī)工程與應(yīng)用;2007年31期

3 郭峰;張萌;;Web服務(wù)組合的可靠性分析[J];系統(tǒng)仿真學(xué)報(bào);2008年S2期

4 程永上;王志堅(jiān);;Web服務(wù)組合在水利領(lǐng)域中的應(yīng)用[J];計(jì)算機(jī)工程與應(yīng)用;2008年07期

5 陳世展;馮志勇;;服務(wù)網(wǎng)絡(luò):Web服務(wù)組合的新基點(diǎn)[J];計(jì)算機(jī)應(yīng)用研究;2008年05期

6 劉志紅;;Web服務(wù)組合的相關(guān)研究[J];農(nóng)業(yè)科技與裝備;2009年01期

7 熊偉;;Web服務(wù)組合綜述[J];信息化縱橫;2009年05期

8 曾偉;胡W，

本文編號(hào)：2293763