掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
面向動態環境的服務組合測試技術 版權信息
- ISBN:9787118131994
- 條形碼:9787118131994 ; 978-7-118-13199-4
- 裝幀:一般膠版紙
- 冊數:暫無
- 重量:暫無
- 所屬分類:>
面向動態環境的服務組合測試技術 內容簡介
本書在深入了解工程信息化保障系統業務流程執行語言BPEL(business process execution language)工作流的基礎上,結合面向服務的計算和傳統軟件工程領域軟件測試的相關技術,開展了面向動態環境的服務組合測試技術的研究工作。全書共包含9章,第1章緒論;第2到第7章對面向動態環境的服務組合測試技術關鍵技術,點進行介紹,并在每章結尾進行實驗驗證和結果分析;第8章為測試支撐系統介紹:第9章為測試應用案例。
本書可供從事面向服務的體系架構測試的技術和研究人員閱讀。
面向動態環境的服務組合測試技術 目錄
第1章 緒論
第2章 面向動態環境的異構事件匹配研究
2.1 異構事件匹配問題
2.1.1 啟發式案例
2.1.2 基于模式的事件匹配
2.2 事件結構的定義
2.2.1 事件約束
2.2.2 事件結構
2.3 基于事件結構的異構事件匹配方法研究
2.3.1 事件匹配的A*算法
2.3.2 緊致上界函數
2.3.3 事件匹配增量計算策略
2.3.4 討論
2.4 實驗評估
2.4.1 對比方法
2.4.2 工具實現
2.4.3 實驗設置
2.4.4 實驗結果
2.4.5 效度威脅分析
2.5 本章小結
第3章 面向動態環境的服務組合業務過程間一致性度量研究
3.1 業務過程模型化
3.1.1 業務過程模型化
3.1.2 啟發式案例
3.2 不同抽象層次的業務過程間一致性度量方法研究
3.2.1 事件約束
3.2.2 業務過程間的映射
3.2.3 基于事件約束的業務過程間一致性度量方法
3.2.4 業務過程間不一致情形分析
3.2.5 案例分析
3.2.6 討論
3.3 實驗評估
3.3.1 對比方法
3.3.2 工具實現
3.3.3 實驗設置
3.3.4 實驗結果
3.3.5 效度威脅分析
3.4 本章小結
第4章 面向動態環境的數據感知過程間轉換研究
4.1 修改操作
4.2 數據感知過程間高效轉換方法研究
4.2.1 事件約束圖
4.2.2 數據感知過程間轉換引發約束變化的修改序列
4.2.3 數據感知過程間轉換引發約束變化的 小修改序列
4.2.4 特殊情形分析
4.2.5 討論
4.3 實驗評估
4.3.1 對比方法
4.3.2 工具實現
4.3.3 實驗設置
展開全部
面向動態環境的服務組合測試技術 作者簡介
王洪達,男,博士,海軍勤務學院副教授,天津大學電氣工程流動站博士后。解放軍理工大學設備環境及智能化軍隊重點實驗室畢業,主要研究方向為云計算測試技術。主持中國博士后科學基金1項;天津市自然科學基金1項;軍隊后勤科研重點課題1項。發表學術論文20余篇;授權專利2項。
書友推薦
- >
有舍有得是人生
- >
史學評論
- >
回憶愛瑪儂
- >
苦雨齋序跋文-周作人自編集
- >
莉莉和章魚
- >
朝聞道
- >
煙與鏡
- >
名家帶你讀魯迅:故事新編
本類暢銷