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

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

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

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