【摘要】：為更好地對Web服務組合的控制流進行分析和驗證,提出一種映射轉換模型和測試序列生成算法。首先解析基于BPEL的Web服務組合流程描述文件,然后對流程描述文件進行圖形化轉換,形成業(yè)務流程編排控制流程圖,再采用路徑推導算法對控制流程圖進行解析,獲取基于BPEL的服務組合的所有測試執(zhí)行路徑,最后通過一個服務組合實例證明模型及算法的有效性。該方法解決了測試路徑的自動生成和全覆蓋問題,保證了測試的充分性,提高了路徑生成效率。
[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.
【作者單位】： 江蘇自動化研究所;
【基金】：總裝十二五預研(513150502)資助
【分類號】：TP393.09

【參考文獻】

相關期刊論文 前3條

1 余波;;應用Petri網改進BPEL程序的正確性[J];計算機應用研究;2011年09期

2 駱翔宇;譚征;蘇開樂;吳立軍;;一種基于認知模型檢測的Web服務組合驗證方法[J];計算機學報;2011年06期

3 孫琳;劉久富;楊振興;;基于Petri網的軟件測試用例生成方法[J];計算機測量與控制;2010年09期

相關碩士學位論文 前1條

1 牟小玲;基于擴展著色Petri網的服務組合測試研究[D];西南大學;2012年

【共引文獻】

相關期刊論文 前10條

1 張亞;;服務組合BPEL測試序列生成研究[J];計算機科學;2017年01期

2 張莉;楊淑貞;楊浩;;RGPS服務層元模型正確性驗證[J];軟件導刊;2016年12期

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

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

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

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

7 沈華;何炎祥;張明武;;基于Petri網的Web服務組合驗證方法[J];計算機科學;2015年04期

8 許興旺;駱翔宇;;基于MAS模型檢測與抽象的Web服務驗證[J];計算機工程;2015年03期

9 馬昌威;馬洪江;;基于接口自動機的混合Web服務組合方法[J];計算機應用;2014年06期

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

相關碩士學位論文 前3條

1 蘇萌;基于有色Petri網的語義Web服務組合的驗證與測試方法[D];內蒙古農業(yè)大學;2014年

2 單繼城;軍事信息服務混合工作流模型研究[D];國防科學技術大學;2013年

3 劉哲;基于擴展有色Petri網的組合Web服務的在線測試[D];中南大學;2013年

【二級參考文獻】

相關期刊論文 前7條

1 李景霞;程久軍;;Web服務組合的層次顏色Petri網描述模型[J];計算機工程;2009年24期

2 王俊杰;張波;王紅園;權巍;;基于運行剖面的測試用例自動生成方法[J];計算機測量與控制;2008年11期

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

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

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

6 曾成碧,陳光;可達樹分析法及其在測試中的應用[J];電子科技大學學報;1999年05期

7 蔣昌俊,吳哲輝;Petri網的標注可達樹[J];軟件學報;1993年06期

相關碩士學位論文 前4條

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

2 馮細光;基于OCL的Web服務測試方法研究[D];湖南科技大學;2010年

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

4 張羽豐;面向服務的Web服務測試框架研究與實現(xiàn)[D];國防科學技術大學;2008年

【相似文獻】

相關期刊論文 前10條

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

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

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

4 程永上;王志堅;;Web服務組合在水利領域中的應用[J];計算機工程與應用;2008年07期

5 陳世展;馮志勇;;服務網絡:Web服務組合的新基點[J];計算機應用研究;2008年05期

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

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

8 曾偉;胡W，

本文編號：2293763