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

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

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