基于WS-BA的WS-BPEL業(yè)務(wù)流程測試.pdf

1、SOA是當(dāng)前軟件發(fā)展的大趨勢，而這其中最核心的技術(shù)就是Web服務(wù)。隨著Web服務(wù)技術(shù)不斷地發(fā)展和廣泛的應(yīng)用，需要運用測試技術(shù)來保障Web服務(wù)正確有效地運行。然而由于Web服務(wù)采用了新的體系結(jié)構(gòu)和核心協(xié)議，其測試方法也有別于以往的傳統(tǒng)軟件測試或網(wǎng)絡(luò)協(xié)議測試，所以有必要對其測試方法和技術(shù)進行研究。
　　WS-BPEL是服務(wù)組合中廣泛使用的標(biāo)準(zhǔn)，對其進行結(jié)構(gòu)測試的現(xiàn)有研究不能完全表達其并發(fā)結(jié)構(gòu)、補償和失敗處理的復(fù)雜語義。本文以此為出發(fā)點

2、，給出了詳細(xì)的一致性測試的系統(tǒng)方法包括：生成參與者消息序列，可達樹的生成和參與者的測試序列組合方法；提出了在測試中要求服務(wù)開發(fā)者發(fā)布服務(wù)的協(xié)同模型，引入了測試用例倉庫，而且動態(tài)采集測試數(shù)據(jù)，提高了可測試性；并針對WS-BPEL測試的覆蓋準(zhǔn)則進行了研究，提出了“可接受結(jié)果”的覆蓋準(zhǔn)則，利用基于約束規(guī)則的t-way組合算法生成滿足約束的集合。
　　最后，本文以一個網(wǎng)上訂購服務(wù)過程為例，系統(tǒng)地闡述了采用該方法生成測試用例的過程并分析了其