一个基於WS-BPEL的网际服务组合资料流测试方法.ppt

NTUT-CSIE 廖光勳 一個基於WS-BPEL的網際服務組合資料流測試方法 劉建宏、陳淑玲*、廖光勳 國立台北科技大學資訊工程學系 南台科技大學管理與資訊系* 前言 何謂WS-BPEL Web Service Business Process Execution Language 網際服務商業流程執行語言 程式化標籤語言 可將一群鬆散耦合的網際服務串連成新的商業服務，滿足企業在商業流程管理上的需求 相關的測試議題 未考量WS-BPEL流程中資料的定義(Definition)與使用(Use)關係 未考量平行語意下可能發生的資料引用異常情形 解決方案 基於WS-BPEL規範的網際服務組合資料流測試方法 協助測試人員分析資料引用異常問題以及推導測試路徑 建立適當的測試案例來驗證資料流程的正確性 概述 WS-BPEL資料流分析 建構WS-BPEL資料流程圖 測試案例推導 結語及未來研究方向 WS-BPEL資料流分析 WS-BPEL的資料變數類型 WS-BPEL資料變數的定義與使用關係 定義與使用資料變數的行為 平行活動資料流分析 WS-BPEL的資料變數類型 訊息變數(message variable) 作為WS-BPEL流程與網際服務介面之間的溝通 透過解析WS-BPEL流程定義中的夥伴連結(partner link)及對應的網際服務WSDL文件得知 計數變數(counter variable) 循環執行(forEach)活動的執行次數計數 作為循環執行活動是否繼續執行的判斷依據 自定變數 WS-BPEL 流程執行時資料運算或暫存處理的依據 WS-BPEL資料變數的定義與使用關係 定義關係 流程的執行造成資料變數的內容被寫入時，視為一種定義資料變數的行為 使用關係 運算使用關係(c-use) 資料變數被引用為資料寫入的行為 判定使用關係(p-use) 資料變數在條件判斷式中被使用的行為 定義使用鏈 (Definition-Use Chain) 同一資料變數在定義與使用之間未被重複定義的流程執行路徑 定義與使用資料變數的行為 Basic Activity Receive Reply Invoke Assign Wait Structured Activity If While Repeat Until Pick For Each Flow Switch 定義與使用資料變數的行為分類 Basic Activity - Receive 定義與使用資料變數的行為分類 Basic Activity - Reply 定義與使用資料變數的行為分類 Basic Activity - Invoke 定義與使用資料變數的行為分類 Basic Activity - Assign 定義與使用資料變數的行為分類 Basic Activity - Wait 定義與使用資料變數的行為分類 Structured Activity - If 定義與使用資料變數的行為分類 Structured Activity - While 定義與使用資料變數的行為分類 Structured Activity - Repeat Until 定義與使用資料變數的行為分類 Structured Activity - Pick 定義與使用資料變數的行為分類 Structured Activity - For Each 定義與使用資料變數的行為分類 Structured Activity - Flow 定義與使用資料變數的行為分類 Structured Activity - Switch WS-BPEL資料流分析 WS-BPEL的資料變數類型 WS-BPEL資料變數的定義與使用關係 定義與使用資料變數的行為 平行活動資料流分析 平行活動資料流異常 資料變數內容的遺失(lost data) 資料變數在平行資料流中同時定義，將可能造成先被定義的資料變數被後定義的資料變數內容所覆蓋，使資料變數內容遺失 資料變數內容的缺漏(missing data) 資料變數在被使用前未先定義其內容，以致在使用該資料變數時發生問題 平行活動資料流異常 資料變數內容的遺失(lost data) 資料變數內容的缺漏(missing data) 平行活動資料流 – 考量連結語意 資料變數內容的遺失(lost data) 資料變數內容的缺漏(missing data) 建構WS-BPEL資料流程圖 WS-BPEL符號標示 資料變數的定義、使用關係標示 建構WS-BPEL資料流程圖 WS-BPEL符號標示 建構WS-BPEL資料流程圖 資料變數的定義、使用關係標示 定義關係 Def ( variable name, normal node number