組合Web服務(wù)是網(wǎng)構(gòu)化軟件的核心內(nèi)容,它的運(yùn)行正確性直接關(guān)系到它的可用性和用戶滿意度。組合Web服務(wù)的執(zhí)行流程通常用“業(yè)務(wù)流程執(zhí)行語言”(BPEL)進(jìn)行描述。當(dāng)前實(shí)踐表明,由于缺乏有效的測(cè)試技術(shù),組合Web服務(wù)普遍存在BPEL描述與實(shí)現(xiàn)不一致的情形,進(jìn)而無法正確地完成用戶事務(wù)。 本文以此為出發(fā)點(diǎn),提出了基于擴(kuò)展有色Petri網(wǎng)(XCP-Net)的組合Web服務(wù)的在線測(cè)試方法。此方法利用XCP-Net對(duì)BPEL描述的組合Web服務(wù)進(jìn)行建模,并在此基礎(chǔ)上自動(dòng)生成測(cè)試用例,以檢測(cè)處于運(yùn)行態(tài)的組合Web服務(wù)是否準(zhǔn)確地實(shí)現(xiàn)了BPEL描述。 本文首先定義了XCP-Net模型,它在有色Petri網(wǎng)的基礎(chǔ)上實(shí)現(xiàn)了用戶、組合服務(wù)和伙伴服務(wù)之間的交互描述。接下來,本文提出了基于XCP-Net的BPEL建模方法,以完整地表達(dá)BPEL的復(fù)雜語義(如并發(fā)同步結(jié)構(gòu)和死路徑清除)。最后,本文基于所獲得的模型,定義了測(cè)試用例的自動(dòng)生成過程,以實(shí)現(xiàn)組合Web服務(wù)的在線測(cè)試。 本文通過兩個(gè)案例,對(duì)比已有的兩種典型測(cè)試方法(BCG法和枚舉法),分析了所提測(cè)試方法的應(yīng)用表現(xiàn)�；诎咐膶�(shí)驗(yàn)表明,在組合Web服務(wù)的在...

【文章頁數(shù)】：68 頁

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
Abstract
目錄
1 緒論
    1.1 背景與意義
        1.1.1 項(xiàng)目背景
        1.1.2 論文研究意義
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
        1.2.1 當(dāng)前研究現(xiàn)狀
        1.2.2 現(xiàn)有研究分析
    1.3 論文工作和創(chuàng)新點(diǎn)
    1.4 論文組織結(jié)構(gòu)
2 相關(guān)理論和技術(shù)
    2.1 面向服務(wù)架構(gòu)
    2.2 Web服務(wù)
        2.2.1 Web服務(wù)簡(jiǎn)介
        2.2.2 SOAP
        2.2.3 WSDL
    2.3 基于BPEL的服務(wù)組合
        2.3.1 服務(wù)組合簡(jiǎn)介
        2.3.2 BPEL業(yè)務(wù)邏輯
        2.3.3 組合服務(wù)執(zhí)行過程
    2.4 軟件測(cè)試
        2.4.1 Web服務(wù)測(cè)試
        2.4.2 BPEL描述的組合Web服務(wù)測(cè)試
    2.5 本章小結(jié)
3 組合Web服務(wù)描述的XCP-Net建模
    3.1 XCP-Net簡(jiǎn)介
        3.1.1 XCP-Net的定義
        3.1.2 XCP-Net的性質(zhì)
        3.1.3 一個(gè)XCP-Net模型實(shí)例
        3.1.4 XCP-Net模型的運(yùn)行
    3.2 BPEL活動(dòng)的XCP-Net建模
        3.2.1 基本活動(dòng)建模
        3.2.2 結(jié)構(gòu)活動(dòng)建模
        3.2.3 其他活動(dòng)建模
        3.2.4 模型的嵌套迭代、組合與簡(jiǎn)化
    3.3 本章小結(jié)
4 基于XCP-Net的組合Web服務(wù)在線測(cè)試方法
    4.1 測(cè)試框架
    4.2 數(shù)據(jù)流分析
        4.2.1 變量的選取
        4.2.2 定義使用對(duì)的生成
    4.3 測(cè)試路徑的分析
        4.3.1 相關(guān)定義與主要問題
        4.3.2 測(cè)試路徑尋找算法
        4.3.3 測(cè)試路徑的選取
    4.4 測(cè)試用例的生成
        4.4.1 輸入輸出關(guān)系集合的獲取
        4.4.2 測(cè)試輸入數(shù)據(jù)的生成
    4.5 測(cè)試執(zhí)行與結(jié)果分析
    4.6 本章小結(jié)
5 案例分析
    5.1 案例介紹
    5.2 研究過程設(shè)計(jì)
    5.3 測(cè)試實(shí)驗(yàn)
        5.3.1 實(shí)驗(yàn)環(huán)境
        5.3.2 缺陷植入
        5.3.3 生成測(cè)試用例
        5.3.4 測(cè)試結(jié)果與分析
    5.4 案例研究存在的問題
    5.5 本章小結(jié)
6 總結(jié)與展望
    6.1 文章總結(jié)
    6.2 進(jìn)一步的研究
參考文獻(xiàn)
攻讀學(xué)位期間主要的研究成果
致謝



本文編號(hào)：4017729