發(fā)布時(shí)間：2017-07-17 16:40

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

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



本文編號(hào)：554481