基于代數(shù)規(guī)約的Web服務測試執(zhí)行技術研究.pdf

1、隨著面向服務計算的迅速發(fā)展，Web服務測試得到越來越多的關注，尤其是在Web服務動態(tài)發(fā)現(xiàn)和組合的過程中，通過對第三方提供的服務進行自動測試已成為一個研究熱點。近年來，有關從Web服務的形式化代數(shù)規(guī)約中自動生成測試用例和自動檢驗測試結果的正確性等方面的研究都取得了實質性進展。但是，由于Web服務接口的多樣性，導致服務調用方式不一致，如何將測試用例自動地轉換成對第三方Web服務的測試性調用請求是一個尚未解決的技術難點，已成為完成Web服務自

2、動測試的主要障礙之一。
　　本學位論文將以現(xiàn)有的研究工作為基礎，首先對線性測試調用序列生成算法進行改進。然后，本論文在分析主流Web服務接口的基礎上定義了通用的服務調用機制，提出一個通用的面向Web服務的測試執(zhí)行引擎框架，以支持包括WSDL/SOAP為基礎的Web服務和RESTful Web服務的自動測試執(zhí)行過程，并將線性測試調用序列經(jīng)關系矩陣及并發(fā)流程圖構建過程進行并行化處理，進而自動生成并發(fā)測試腳本，以提高測試執(zhí)行效率。最后，