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

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

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