面向服務(wù)的體系架構(gòu)SOA(Service Oriented Architecture)基于服務(wù)來組織計算資源,具有良好的互操作性和松耦合性,促進(jìn)了分布式計算和軟件技術(shù)的發(fā)展。它的主要內(nèi)容Web服務(wù)的應(yīng)用受到了廣泛關(guān)注,但是單個的Web服務(wù)并不能很好地滿足用戶日益增長的需求,通過某種技術(shù)將現(xiàn)有的細(xì)粒度服務(wù)集成起來以提供功能更強(qiáng)大的服務(wù),可以很好地解決這個問題。BPEL(Business Process Execution Language)正是這樣一種語言技術(shù),由XML編寫,可用來描述Web服務(wù)之間的業(yè)務(wù)行為。為了保證Web服務(wù)組合的正確性,有必要對其進(jìn)行全面、充分的測試,測試用例生成作為服務(wù)組合測試的第一階段,其作用不可小覷,而測試用例的生成又依賴著測試準(zhǔn)則的制定。服務(wù)組合正確性最直觀的體現(xiàn)就是針對特定的輸入能夠得到預(yù)期的輸出,變量的定義與使用之間的關(guān)聯(lián)是最好的體現(xiàn)輸入與輸出之間關(guān)系的方式。因此以數(shù)據(jù)流覆蓋為測試準(zhǔn)則對確保服務(wù)組合的正確性是直接有效的。目前常見的服務(wù)組合測試用例生成大多針對控制流展開,特別針對數(shù)據(jù)流相關(guān)測試準(zhǔn)則而開展的服務(wù)組合測試研究還不多。因此本文針對數(shù)據(jù)流中的ALL...

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

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

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 研究背景
    1.2 服務(wù)組合測試用例生成的研究現(xiàn)狀
    1.3 研究內(nèi)容
    1.4 論文章節(jié)安排
    本章小結(jié)
第二章 相關(guān)理論介紹
    2.1 Web服務(wù)簡介
        2.1.1 Web服務(wù)和SOA的關(guān)系
        2.1.2 Web服務(wù)協(xié)議棧
        2.1.3 Web服務(wù)描述
    2.2 基于BPEL的服務(wù)組合介紹
        2.2.1 BPEL概念
        2.2.2 BPEL結(jié)構(gòu)
        2.2.3 BPEL元素
        2.2.4 BPEL活動
        2.2.5 BPEL中的變量定義和使用
    2.3 傳統(tǒng)軟件測試與服務(wù)組合測試比較
    2.4 傳統(tǒng)軟件測試用例生成方法介紹
    本章小結(jié)
第三章 BPEL服務(wù)組合的建模
    3.1 EBFG的形式化定義
    3.2 節(jié)點(diǎn)及邊的符號表示
    3.3 EBFG的構(gòu)造
    本章小結(jié)
第四章 BPEL服務(wù)組合的數(shù)據(jù)流分析
    4.1 數(shù)據(jù)流技術(shù)概述
        4.1.1 數(shù)據(jù)流測試基本概念
        4.1.2 數(shù)據(jù)流測試覆蓋準(zhǔn)則
    4.2 服務(wù)組合中的變量分析
    4.3 基于數(shù)據(jù)流覆蓋的測試路徑生成
        4.3.1 擴(kuò)展傳統(tǒng)的數(shù)據(jù)流分析方法
        4.3.2 定義-使用對計算
        4.3.3 測試路徑計算
    4.4 測試路徑約束條件獲取
    本章小結(jié)
第五章 測試用例生成
    5.1 測試用例生成模型
    5.2 利用遺傳算法生成測試數(shù)據(jù)
        5.2.1 遺傳算法簡介
        5.2.2 遺傳算法生成測試數(shù)據(jù)的操作流程
        5.2.3 遺傳算法生成測試數(shù)據(jù)的實(shí)現(xiàn)
    5.3 測試用例合成
    本章小結(jié)
第六章 自動化工具實(shí)現(xiàn)及實(shí)驗(yàn)
    6.1 自動化工具設(shè)計
        6.1.1 開發(fā)環(huán)境
        6.1.2 工具基本框架
        6.1.3 建模模塊的實(shí)現(xiàn)
        6.1.4 數(shù)據(jù)流分析及測試路徑獲取模塊的實(shí)現(xiàn)
        6.1.5 測試用例模塊的實(shí)現(xiàn)
        6.1.6 工具的用戶界面
    6.2 測試用例評價指標(biāo)
    6.3 實(shí)例分析
        6.3.1 建模
        6.3.2 數(shù)據(jù)流分析
        6.3.3 測試用例生成
    6.4 與其他方法的比較
        6.4.1 實(shí)驗(yàn)設(shè)計
        6.4.2 結(jié)果分析及比較
    本章小結(jié)
總結(jié)與展望
    總結(jié)
    展望
參考文獻(xiàn)
攻讀碩士學(xué)位期間發(fā)表的學(xué)術(shù)論文
致謝



本文編號：3829007