基于XBFG的組合服務(wù)回歸測試研究.pdf

1、面向服務(wù)的應(yīng)用集成是服務(wù)計算的主要應(yīng)用領(lǐng)域，服務(wù)組合是應(yīng)用集成的關(guān)鍵技術(shù)之一。服務(wù)良好的復(fù)用性、靈活性和松耦合特征使得面向服務(wù)的計算成為一種具有里程碑意義的分布式計算技術(shù)，也使組合服務(wù)的演化和維護(hù)呈現(xiàn)了新的規(guī)律。BPEL組合服務(wù)是由BPEL流程、接口以及與流程交互的成員服務(wù)組成的有機(jī)整體，因此BPEL組合服務(wù)的演化也包括流程的變化、接口的變化和綁定的變化三個方面。 如何針對組合服務(wù)的特點制定符合其演化規(guī)律的回歸測試方案，是一項值

2、得深入研究的課題。現(xiàn)有的組合服務(wù)回歸測試方法一般只對業(yè)務(wù)流程加以比較分析；而本文提出的基于XBFG（eXtensible BPEL Flow Graph）的組合服務(wù)回歸測試用例選擇與生成方法，能夠從服務(wù)集成者的角度對包括業(yè)務(wù)流程在內(nèi)的BPEL組合服務(wù)進(jìn)行變更影響分析。本方法可以識別BPEL組合服務(wù)在演化過程中發(fā)生的更改，從而找到受流程、綁定、接口變化影響的測試路徑，并使用選擇性再測試技術(shù)生成回歸測試用例集。這一過程是通過構(gòu)造含有服務(wù)接口

3、、路徑條件等信息的擴(kuò)展控制流圖來實現(xiàn)的。 XBFG對BPEL流圖進(jìn)行了擴(kuò)展，在控制流的基礎(chǔ)上添加了消息流，可以完整地表達(dá)組合服務(wù)的行為。此外，XBFG模型元素中添加的綁定信息和謂詞約束信息，可以用來選擇測試路徑、生成測試數(shù)據(jù)。 理論和實驗分析表明，通過該方法產(chǎn)生的回歸測試用例能夠在組合服務(wù)流程、綁定以及與流程相關(guān)的接口發(fā)生變化的情況下達(dá)到較高的變更覆蓋率。依據(jù)該方法設(shè)計的BPEL回歸測試用例選擇與生成工具RTGeniu