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

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