Web服務(wù)互操作性的變異測(cè)試方法研究.pdf

1、分類(lèi)號(hào)密級(jí)UDC編號(hào)桂林電子科技大學(xué)碩士學(xué)位論文題目Web服務(wù)互操作性的變異測(cè)試方法研究（英文）（英文）ResearchonMutationTestingofWebServicesInteroperability研究生姓名:陳佳蕊指導(dǎo)教師姓名、職務(wù)指導(dǎo)教師姓名、職務(wù):蔡國(guó)永副教授申請(qǐng)學(xué)位門(mén)類(lèi):工學(xué)碩士學(xué)科、專(zhuān)科、專(zhuān)業(yè):計(jì)算機(jī)軟件與理論提交論文日期:2007年4月論文答辯日期:2007年6月年月日Web服務(wù)互操作性的變異測(cè)試方法研究摘要W

2、eb服務(wù)是互聯(lián)網(wǎng)上共享數(shù)據(jù)和功能的一種有效手段，是基于通信協(xié)議、服務(wù)描述、服務(wù)發(fā)現(xiàn)、Web協(xié)議和開(kāi)放性XML標(biāo)準(zhǔn)的新一代的分布式計(jì)算模式。Web服務(wù)較好地解決了異構(gòu)應(yīng)用之間及松散耦合環(huán)境下的互操作、集成和協(xié)作的問(wèn)題，但是Web服務(wù)進(jìn)行互操作時(shí)也可能引發(fā)各種問(wèn)題。因此如何測(cè)試Web服務(wù)間的互操作性，對(duì)Web服務(wù)的正確運(yùn)行是十分重要。測(cè)試Web服務(wù)的互操作性作為Web服務(wù)測(cè)試的一部分，越來(lái)越受到業(yè)界的關(guān)注。目前，國(guó)內(nèi)外對(duì)于Web服務(wù)互操作行

3、測(cè)試的研究主要集中在Web服務(wù)進(jìn)行交互操作時(shí)，其通信協(xié)議的一致性測(cè)試，對(duì)于多個(gè)Web服務(wù)之間的互操作性測(cè)試的研究還不夠成熟。本論文不同于這些研究，關(guān)注的是Web服務(wù)描述文件WSDL，針對(duì)Web服務(wù)的邏輯錯(cuò)誤、接口錯(cuò)誤以及多個(gè)Web服務(wù)之間調(diào)用順序錯(cuò)誤，提出一種新的測(cè)試方法，用于測(cè)試單個(gè)Web服務(wù)本身及多個(gè)Web服務(wù)之間互操作性。本文對(duì)測(cè)試Web服務(wù)互操作性進(jìn)行了研究。研究主要成果如下：（1）研究了Web服務(wù)技術(shù)及系統(tǒng)架構(gòu)，分析Web服務(wù)

4、的通信模型和分布式模型，確定測(cè)試目標(biāo)為Web服務(wù)之間的交互能力。（2）研究了WSDL文件的擴(kuò)展方法，對(duì)各種擴(kuò)展的方式進(jìn)行了詳細(xì)描述；（3）研究了變異測(cè)試及接口變異測(cè)試技術(shù)，結(jié)合擴(kuò)展WSDL，根據(jù)測(cè)試不同的情況，提出三類(lèi)變異算子對(duì)擴(kuò)展WSDL進(jìn)行變異，并給出自動(dòng)產(chǎn)生變異WSDL文件的算法；在此基礎(chǔ)上，針對(duì)Web服務(wù)的互操作性特點(diǎn)，提出一種用于測(cè)試單個(gè)Web服務(wù)本身及多個(gè)Web服務(wù)之間互操作性的測(cè)試方法。（4）設(shè)計(jì)并實(shí)現(xiàn)了基于擴(kuò)展WSDL變