新書推薦：
《
迷人的化学（迷人的科学丛书）
》
售價：HK$
143.4
《
宋代冠服图志（详尽展示宋代各类冠服 精美插图 考据严谨 细节丰富）
》
售價：HK$
87.4
《
形似神异：什么是中日传统政治文化的结构性差异
》
售價：HK$
55.8
《
养育不好惹的小孩
》
售價：HK$
77.3
《
加加美高浩的手部绘画技法 II
》
售價：HK$
89.4
《
卡特里娜（“同一颗星球”丛书）
》
售價：HK$
87.4
《
伟大民族：从路易十五到拿破仑的法国史（方尖碑）
》
售價：HK$
188.2
《
古今“书画同源”论辨——中国书法与中国绘画的关系问题兼中国画笔墨研究
》
售價：HK$
132.2
|
| 內容簡介： |
本书在深入了解工程信息化保障系统业务流程执行语言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 本章小结
参考文献
|
|
購物車/收銀台(
0
) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
