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

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

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

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