Web服務互操作性的變異測試方法研究.pdf

1、分類號密級UDC編號桂林電子科技大學碩士學位論文題目Web服務互操作性的變異測試方法研究（英文）（英文）ResearchonMutationTestingofWebServicesInteroperability研究生姓名:陳佳蕊指導教師姓名、職務指導教師姓名、職務:蔡國永副教授申請學位門類:工學碩士學科、專科、專業(yè):計算機軟件與理論提交論文日期:2007年4月論文答辯日期:2007年6月年月日Web服務互操作性的變異測試方法研究摘要W

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

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

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