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

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