基于擴(kuò)展的層次有色Petri網(wǎng)的Web組合服務(wù)測(cè)試.pdf

1、Web服務(wù)具有良好的封裝性、松散的耦合性、使用協(xié)約的規(guī)范性和高度可集成性。通過(guò)標(biāo)準(zhǔn)的協(xié)議Web服務(wù)可以被發(fā)現(xiàn)并被集成到應(yīng)用中。服務(wù)組合技術(shù)為服務(wù)的重用與自動(dòng)化集成提供了應(yīng)用基礎(chǔ)。運(yùn)用這一技術(shù)，將已有的Web服務(wù)按照一定的編排方式組合，可以得到一個(gè)新的Web服務(wù)。組成這個(gè)新服務(wù)的成員相互合作，實(shí)現(xiàn)新的復(fù)雜的功能。 在組合服務(wù)中如何對(duì)這些服務(wù)之間的交互行為進(jìn)行自動(dòng)化測(cè)試，最大程度的減少測(cè)試中的手動(dòng)干預(yù)，就成了亟待解決的問(wèn)題。現(xiàn)有的對(duì)

2、Web組合服務(wù)測(cè)試的研究?jī)H對(duì)組合服務(wù)中的單個(gè)成員服務(wù)的行為進(jìn)行測(cè)試，而本論文從OWL-S文檔入手，提出了一種基于擴(kuò)展的層次有色Petri網(wǎng)的組合服務(wù)測(cè)試方法對(duì)Web組合服務(wù)中各服務(wù)間的交互行為進(jìn)行測(cè)試。 本論文工作主要包括以下幾個(gè)方：（1）將OWL-S文檔轉(zhuǎn)換為擴(kuò)展的層次有色Petri網(wǎng)，使其中豐富的語(yǔ)義信息模型化。（2）利用擴(kuò)展的層次有色Petri網(wǎng)的前后置矩陣對(duì)蘊(yùn)含在其中的數(shù)據(jù)流信息進(jìn)行分析，首先得到所有變量的定義使用對(duì)；接

3、著以全定義-使用路徑覆蓋準(zhǔn)則為測(cè)試準(zhǔn)則，找到所有變量的全部輸出輸入定義使用鏈，然后將這些輸出輸入定義使用鏈擴(kuò)展成為可執(zhí)行的測(cè)試序列；最后將測(cè)試序列和測(cè)試數(shù)據(jù)組合，生成測(cè)試用例。（3）為了有效減少測(cè)試中的手動(dòng)干預(yù)和驗(yàn)證本文提出理論的有效性，開(kāi)發(fā)了Web組合服務(wù)自動(dòng)化測(cè)試工具——TWCS，并運(yùn)用此工具對(duì)Congo圖書(shū)訂購(gòu)系統(tǒng)進(jìn)行了測(cè)試。實(shí)踐表明，本文提出的從組合服務(wù)規(guī)約OWL-S入手，通過(guò)分析服務(wù)間變量的交互信息生成測(cè)試用例和執(zhí)行測(cè)試用例的