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

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

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

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

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