Web服務(wù)已經(jīng)成為面向服務(wù)體系結(jié)構(gòu)的主流實現(xiàn)技術(shù)，隨著其應(yīng)用越來越廣泛，保證Web服務(wù)質(zhì)量的測試也受到越來越多的關(guān)注。由于Web服務(wù)具有只對外公開其調(diào)用接口、隱藏其內(nèi)部實現(xiàn)、在調(diào)用時動態(tài)綁定等特點，因此其測試不同于以往的集成測試。
基于形式規(guī)約的測試方法通常采用隨機策略生成測試數(shù)據(jù)，具有測試自動化的特點�；诖鷶�(shù)規(guī)約的測試技術(shù)已經(jīng)成功應(yīng)用于過程語言表示的抽象數(shù)據(jù)類型、面向?qū)ο蟪绦虻念愐约癊JB組件等程序的測試。在Web服務(wù)蓬勃發(fā)展的今天，對Web服務(wù)的描述方法也多種多樣，但絕大多數(shù)方法都是為更準(zhǔn)確地發(fā)現(xiàn)、組合Web服務(wù)而服務(wù)的，并不適合進(jìn)行測試。實踐表明，應(yīng)用代數(shù)規(guī)約語言描述軟件系統(tǒng)時，其規(guī)約具有規(guī)約簡短、精確且獨立于實現(xiàn)語言的特點，能夠在不暴露對象實現(xiàn)細(xì)節(jié)的前提下描述軟件實體的可觀察行為，，更重要的是，它能夠應(yīng)用代數(shù)規(guī)約中的公理等式充當(dāng)判定測試是否通過的測試神諭(Test Oracle)，測試自動化程度較高。
因此，若能準(zhǔn)確高效地用代數(shù)規(guī)約描述Web服務(wù)，將大大降低Web服務(wù)測試的難度，加快測試用例的生成速度，提高測試的準(zhǔn)確程度。用戶能參照測試結(jié)果，更方便快捷地選擇所需的Web服務(wù)。因此，本課題將對Web服務(wù)的測試，乃至Web服務(wù)的發(fā)展產(chǎn)生重要的影響。

三、 背景科研項目情況簡介
四、學(xué)位論文主要研究內(nèi)容
五、 預(yù)期解決的主要問題
六、開題條件（包括學(xué)術(shù)條件、設(shè)備條件、經(jīng)費概算及其落實情況）
七、文獻(xiàn)綜述
1 Web服務(wù)簡介
2 Web服務(wù)描述語言WSDL
3 語義Web服務(wù)描述
3.1 OWL-S
3.2 WSMO
3.3 SWSO
3.4 WSDL-S



本文編號：554481