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

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

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