發(fā)布時間：2023-06-03 08:41

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

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

【學位級別】：碩士

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



本文編號：3829007