面向动态环境的服务组合测试技术

第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 实验设置