基于擴展有色Petri網(wǎng)的組合Web服務(wù)的在線測試.pdf

1、組合Web服務(wù)是網(wǎng)構(gòu)化軟件的核心內(nèi)容，它的運行正確性直接關(guān)系到它的可用性和用戶滿意度。組合Web服務(wù)的執(zhí)行流程通常用“業(yè)務(wù)流程執(zhí)行語言”(BPEL)進行描述。當(dāng)前實踐表明，由于缺乏有效的測試技術(shù)，組合Web服務(wù)普遍存在BPEL描述與實現(xiàn)不一致的情形，進而無法正確地完成用戶事務(wù)。
　　本文以此為出發(fā)點，提出了基于擴展有色Petri網(wǎng)(XCP-Net)的組合Web服務(wù)的在線測試方法。此方法利用XCP-Net對BPEL描述的組合Web服

2、務(wù)進行建模，并在此基礎(chǔ)上自動生成測試用例，以檢測處于運行態(tài)的組合Web服務(wù)是否準(zhǔn)確地實現(xiàn)了BPEL描述。
　　本文首先定義了XCP-Net模型，它在有色Petri網(wǎng)的基礎(chǔ)上實現(xiàn)了用戶、組合服務(wù)和伙伴服務(wù)之間的交互描述。接下來，本文提出了基于XCP-Net的BPEL建模方法，以完整地表達BPEL的復(fù)雜語義（如并發(fā)同步結(jié)構(gòu)和死路徑清除）。最后，本文基于所獲得的模型，定義了測試用例的自動生成過程，以實現(xiàn)組合Web服務(wù)的在線測試。