基于擴(kuò)展著色Petri網(wǎng)的服務(wù)組合測試研究.pdf

1、隨著Web服務(wù)組合的發(fā)展,Web服務(wù)組合越來越復(fù)雜,Web服務(wù)的質(zhì)量也成為關(guān)注熱點(diǎn)。Web服務(wù)的測試,尤其是Web服務(wù)組合的測試,成為保障Web服務(wù)組合質(zhì)量的重要環(huán)節(jié)。BPEL是描述Web服務(wù)組合的一種業(yè)務(wù)流程執(zhí)行語言,一個(gè)BPEL文檔中描述了Web服務(wù)的執(zhí)行順序以及Web服務(wù)之間的交互關(guān)系,因此,Web服務(wù)組合的測試可以基于BPEL文檔來進(jìn)行。
　　 目前,基于BPEL描述的Web服務(wù)組合的測試主要是將BPEL文檔轉(zhuǎn)化為BPE

2、L控制流圖[1],根據(jù)控制流圖對Web服務(wù)組合進(jìn)行測試。BPEL文檔中,結(jié)構(gòu)化活動(dòng)描述服務(wù)間的控制流信息,變量之間的交互描述服務(wù)間的數(shù)據(jù)流信息[2]?？刂屏鲌D只能描述控制流[3],無法描述數(shù)據(jù)流信息,所產(chǎn)生的測試序列有些是不可行的,而且控制流圖不能很好地描述異步、并發(fā)的行為。由于Petri網(wǎng)適合于描述異步、并發(fā)的行為,所以將基于BPEL,描述的Web服務(wù)組合轉(zhuǎn)化為Petri網(wǎng)描述來表達(dá)。然而,一般Petal網(wǎng)只能描述控制流信息,為了同時(shí)

3、描述Web服務(wù)組合的控制流和數(shù)據(jù)流,本文用擴(kuò)展的著色Pelri網(wǎng)(ExtendedColoredPelriNet,簡稱ECPN)對BPEL文檔建模,著色Petri網(wǎng)可以描述不同類型的數(shù)據(jù),ECPN模型在描述業(yè)務(wù)流程控制流時(shí)能夠同時(shí)描述流程的數(shù)據(jù)流。
　　 針對目前Web服務(wù)組合測試只從數(shù)據(jù)流或控制流某一方面考慮,導(dǎo)致所產(chǎn)生的一些測試序列不可執(zhí)行的問題,本文提出了一種針對Web服務(wù)組合交互行為的基于ECPN控制流和數(shù)據(jù)流結(jié)合的測試

4、方法。該方法主要從以下幾個(gè)方面進(jìn)行探討和研究:
　　 1、利用擴(kuò)展的著色Petri網(wǎng)對基于BPEL描述的Web服務(wù)組合進(jìn)行建模。將擴(kuò)展的著色Petri網(wǎng)作為中間模型對BPEL的基本活動(dòng)、結(jié)構(gòu)化活動(dòng)進(jìn)行描述。ECPN模型在描述業(yè)務(wù)流程控制流時(shí)能同時(shí)描述流程的數(shù)據(jù)流。
　　 2、利用建立的ECPN模型進(jìn)行數(shù)據(jù)流分析生成測試序列。根據(jù)建立的ECPN模型,結(jié)合數(shù)據(jù)流的分析方法,得到基于數(shù)據(jù)流分析的測試序列。
　　 3、用