面向動態環境的服務組合測試技術 王洪達 楊曼 9787118131994 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：國防工業
物品所在地：中國大陸
原出版社：國防工業
NT$566
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202405*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：面向動態環境的服務組合測試技術 ISBN：9787118131994 出版社：國防工業 著編譯者：王洪達 楊曼 頁數：148 所在地：中國大陸 *此為代購商品 書號：1658283 可大量預訂，請先連絡。 內容簡介 本書在深入了解工程信息化保障系統業務流程執行語言BPEL（businessprocess 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 實驗設置 4 3 4 實驗結果 4 3 5 效度威脅分析 4 4 本章小結 第5章 基於可滿足性模理論的服務組合測試用例產生方法研究 5 1 預備知識與啟髮式案例 5 1 1 預備知識 5 1 2 啟髮式案例 5 2 併發BPEL活動路徑覆蓋準則 5 3 併發BPEL活動路徑的分解方法 5 4 併發BPEL活動路徑的測試用例產生方法 5 5 實驗驗證 5 5 1 實驗設置 5 5 2 實驗結果與分析 5 5 3 時間複雜度分析 5 6 與相關工作的比較 5 7 本章小結 第6章 基於最優控制的服務組合回歸測試選擇 6 1 預備知識與啟髮式案例 6 1 1 預備知識 6 1 2 啟髮式案例 6 2 回歸測試用例選擇作為一種最優控制問題 6 3 BPEL工作流系統模型 6 4 最優控制策略與演算法 6 5 實驗驗證 6 5 1 實驗設置 6 5 2 實驗結果與分析 6 5 3 時間複雜度分析 6 6 本書方法與相關工作的比較 6 7 本章小結 第7章 基於修改影響分析的服務組合測試用例排序 7 1 預備知識與啟髮式案例 7 1 1 預備知識 7 1 2 啟髮式案例 7 2 BPEL活動的測試重要性 7 3 基於BPEL活動測試重要性的測試用例排序方法 7 4 實驗驗證 7 4 1 實驗設置 7 4 2 實驗結果與分析 7 5 本書方法與相關工作的比較 7 6 本章小結 第8章 面向動態環境的服務組合測試支撐系統 8 1 系統架構 8 2 開發平台及開發工具 8 3 BPEL工作流測試支撐模塊 8 3 1 BPEL工作流建模支撐模塊 8 3 2 BPEL工作流測試用例產生支撐模塊 8 3 3 BPEL工作流測試用例選擇支撐模塊 8 3 4 BPEL工作流測試用例優先順序排序支撐模塊 8 4 本章小結 第9章 面向動態環境的服務組合測試應用案例 9 1 背景描述 9 1 1 某軍港食品信息化保障系統功能組成 9 1 2 某軍港食品信息化保障系統的運行模式 9 2 面向軍港食品信息化保障系統的BPEL工作流測試 9 2 1 測試要求 9 2 2 解決方案 9 2 3 案例分析 9 3 本章小結 參考文獻 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
