面向動態(tài)環(huán)境的服務組合測試技術

第1章 緒論
第2章 面向動態(tài)環(huán)境的異構事件匹配研究
2.1 異構事件匹配問題
2.1.1 啟發(fā)式案例
2.1.2 基于模式的事件匹配
2.2 事件結構的定義
2.2.1 事件約束
2.2.2 事件結構
2.3 基于事件結構的異構事件匹配方法研究
2.3.1 事件匹配的A*算法
2.3.2 緊致上界函數(shù)
2.3.3 事件匹配增量計算策略
2.3.4 討論
2.4 實驗評估
2.4.1 對比方法
2.4.2 工具實現(xiàn)
2.4.3 實驗設置
2.4.4 實驗結果
2.4.5 效度威脅分析
2.5 本章小結
第3章 面向動態(tài)環(huán)境的服務組合業(yè)務過程間一致性度量研究
3.1 業(yè)務過程模型化
3.1.1 業(yè)務過程模型化
3.1.2 啟發(fā)式案例
3.2 不同抽象層次的業(yè)務過程間一致性度量方法研究
3.2.1 事件約束
3.2.2 業(yè)務過程間的映射
3.2.3 基于事件約束的業(yè)務過程間一致性度量方法
3.2.4 業(yè)務過程間不一致情形分析
3.2.5 案例分析
3.2.6 討論
3.3 實驗評估
3.3.1 對比方法
3.3.2 工具實現(xiàn)
3.3.3 實驗設置
3.3.4 實驗結果
3.3.5 效度威脅分析
3.4 本章小結
第4章 面向動態(tài)環(huán)境的數(shù)據(jù)感知過程間轉換研究
4.1 高級修改操作
4.2 數(shù)據(jù)感知過程間高效轉換方法研究
4.2.1 事件約束圖
4.2.2 數(shù)據(jù)感知過程間轉換引發(fā)約束變化的修改序列
4.2.3 數(shù)據(jù)感知過程間轉換引發(fā)約束變化的最小修改序列
4.2.4 特殊情形分析
4.2.5 討論
4.3 實驗評估
4.3.1 對比方法
4.3.2 工具實現(xiàn)
4.3.3 實驗設置
4.3.4 實驗結果
4.3.5 效度威脅分析
4.4 本章小結
第5章 基于可滿足性模理論的服務組合測試用例產(chǎn)生方法研究
5.1 預備知識與啟發(fā)式案例
5.1.1 預備知識
5.1.2 啟發(fā)式案例
5.2 并發(fā)BPEL活動路徑覆蓋準則
5.3 并發(fā)BPEL活動路徑的分解方法
5.4 并發(fā)BPEL活動路徑的測試用例產(chǎn)生方法
5.5 實驗驗證
5.5.1 實驗設置
5.5.2 實驗結果與分析
5.5.3 時間復雜度分析
5.6 與相關工作的比較
5.7 本章小結
第6章 基于最優(yōu)控制的服務組合回歸測試選擇
6.1 預備知識與啟發(fā)式案例
6.1.1 預備知識
6.1.2 啟發(fā)式案例
6.2 回歸測試用例選擇作為一種最優(yōu)控制問題
6.3 BPEL工作流系統(tǒng)模型
6.4 最優(yōu)控制策略與算法
6.5 實驗驗證
6.5.1 實驗設置
6.5.2 實驗結果與分析
6.5.3 時間復雜度分析
6.6 本書方法與相關工作的比較
6.7 本章小結
第7章 基于修改影響分析的服務組合測試用例排序
7.1 預備知識與啟發(fā)式案例
7.1.1 預備知識
7.1.2 啟發(fā)式案例
7.2 BPEL活動的測試重要性
7.3 基于BPEL活動測試重要性的測試用例排序方法
7.4 實驗驗證
7.4.1 實驗設置
7.4.2 實驗結果與分析
7.5 本書方法與相關工作的比較
7.6 本章小結
第8章 面向動態(tài)環(huán)境的服務組合測試支撐系統(tǒng)
8.1 系統(tǒng)架構
8.2 開發(fā)平臺及開發(fā)工具
8.3 BPEL工作流測試支撐模塊
8.3.1 BPEL工作流建模支撐模塊
8.3.2 BPEL工作流測試用例產(chǎn)生支撐模塊
8.3.3 BPEL工作流測試用例選擇支撐模塊
8.3.4 BPEL工作流測試用例優(yōu)先級排序支撐模塊
8.4 本章小結
第9章 面向動態(tài)環(huán)境的服務組合測試應用案例
9.1 背景描述
9.1.1 某軍港食品信息化保障系統(tǒng)功能組成
9.1.2 某軍港食品信息化保障系統(tǒng)的運行模式
9.2 面向軍港食品信息化保障系統(tǒng)的BPEL工作流測試
9.2.1 測試要求
9.2.2 解決方案
9.2.3 案例分析
9.3 本章小結
參考文獻