新書推薦：
《
2049：未来10000天的可能
》
售價：HK$
75.9
《
复利效应
》
售價：HK$
48.4
《
莫雷诺心理学：慢性焦虑（西班牙临床心理学家经典入门指南，焦虑症与恐惧症治愈手册。冲破情绪困局，揭示焦虑本质）
》
售價：HK$
54.8
《
莫雷诺心理学：克服强迫症（第5版，西班牙临床心理学家经典入门指南，强迫症的诱因、病症与治疗，收录强迫症自测表）
》
售價：HK$
54.8
《
杰出投资者的情绪管理课：揭秘巴菲特不住在华尔街的真相（德国年度财经图书奖）
》
售價：HK$
87.8
《
粤港澳大湾区协同发展报告（2024）
》
售價：HK$
178.2
《
中国美术全集：陶瓷器（一部汇集中华五千年文化的大型图集）
》
售價：HK$
1680.0
《
科技革命与日本现代化
》
售價：HK$
174.6
|
| 內容簡介： |
本书在深入了解工程信息化保障系统业务流程执行语言BPEL（businessprocess execution language）工作流的基础上，结合面向服务的计算和传统软件工程领域软件测试的相关技术，开展了面向动态环境的服务组合测试技术的研究工作。全书共包含9章，第1章绪论；第2到第7章对面向动态环境的服务组合测试技术关键技术点进行介绍，并在每章结尾进行实验验证和结果分析；第8章为测试支撑系统介绍；第9章为测试应用案例。
來源：香港大書城megBookStore,http://www.megbook.com.hk
本书可供从事面向服务的体系架构测试的技术和研究人员阅读。
|
| 目錄：
|
第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 本章小结
参考文献
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
