BPEL流程的故障模式及其静态分析技术的研究
| 摘要 | 第1-8页 |
| ABSTRACT | 第8-11页 |
| 目录 | 第11-15页 |
| 第一章 绪论 | 第15-28页 |
| ·研究工作的背景和意义 | 第15-22页 |
| ·面向服务架构SOA | 第15-17页 |
| ·基于BPEL的服务组合 | 第17-19页 |
| ·组合服务的测试验证问题 | 第19-20页 |
| ·缺陷检测的必要性 | 第20-22页 |
| ·主要研究工作 | 第22-24页 |
| ·论文的结构和主要内容 | 第24-25页 |
| ·论文研究的创新点 | 第25-27页 |
| 本章参考文献 | 第27-28页 |
| 第二章 BPEL概述及测试方法 | 第28-56页 |
| ·web服务和BPEL | 第28-34页 |
| ·web服务和面向服务计算SOC | 第28-29页 |
| ·web服务技术 | 第29页 |
| ·服务组合的编制与编排 | 第29-30页 |
| ·基于BPEL的服务组合思想 | 第30-34页 |
| ·软件测试及缺陷分析 | 第34-35页 |
| ·软件测试 | 第34页 |
| ·缺陷检测 | 第34-35页 |
| ·BPEL测试概述 | 第35-41页 |
| ·模型检测 | 第36-38页 |
| ·白盒测试 | 第38-39页 |
| ·基于故障的软件测试方法 | 第39-41页 |
| ·BPEL结构中典型故障描述 | 第41-47页 |
| ·变量处理问题 | 第41-46页 |
| ·未初始化变量故障 | 第42-43页 |
| ·选择失败故障 | 第43-45页 |
| ·参数不匹配故障 | 第45-46页 |
| ·意义不完整性判断 | 第46-47页 |
| ·当前研究现状 | 第47-50页 |
| ·本章小结 | 第50-53页 |
| 本章参考文献 | 第53-56页 |
| 第三章 BPEL静态缺陷检测方法研究 | 第56-68页 |
| ·背景介绍 | 第56-57页 |
| ·缺陷检测框架 | 第57-59页 |
| ·算法分析及应用 | 第59-64页 |
| ·缺陷建模 | 第59-60页 |
| ·缺陷状态机计算原理 | 第60-61页 |
| ·检测算法 | 第61页 |
| ·应用实例分析 | 第61-64页 |
| ·相关研究工作 | 第64-65页 |
| ·本章总结 | 第65-66页 |
| 本章参考文献 | 第66-68页 |
| 第四章 路径对检测精度的影响研究 | 第68-91页 |
| ·变量信息对缺陷状态合并的影响 | 第68-71页 |
| ·活动执行条件判断 | 第68-70页 |
| ·缺陷状态合并 | 第70-71页 |
| ·属性相关变量的判断 | 第70-71页 |
| ·属性状态条件的合并 | 第71页 |
| ·死路径语义下路径敏感性分析 | 第71-76页 |
| ·死路径描述 | 第72-73页 |
| ·一个误报的例子 | 第73-75页 |
| ·BPEL缺陷描述 | 第75-76页 |
| ·扩展状态机和BPEL控制流图 | 第76-79页 |
| ·死路径语义下路径敏感缺陷检测 | 第79-86页 |
| ·检测框架 | 第79-80页 |
| ·抽象解释 | 第80-81页 |
| ·检测算法 | 第81-84页 |
| ·算法应用 | 第84-86页 |
| ·相关工作 | 第86-87页 |
| ·本章小结 | 第87-88页 |
| 本章参考文献 | 第88-91页 |
| 第五章 BPEL流程数据竞争检测研究 | 第91-105页 |
| ·BPEL流程时序影响因素分析 | 第91-92页 |
| ·示例流程 | 第92-94页 |
| ·BPEL数据竞争分析 | 第94-96页 |
| ·BPEL变量对检测精度的影响 | 第94-95页 |
| ·时序关系的静态抽象 | 第95页 |
| ·竞争条件 | 第95-96页 |
| ·数据竞争检测方法 | 第96-102页 |
| ·加权向量时钟 | 第96-97页 |
| ·加权时序约束图 | 第97-98页 |
| ·BPEL扩展时钟建模 | 第98-100页 |
| ·BPEL可视化建模 | 第98-99页 |
| ·事件权值计算 | 第99页 |
| ·加权向量时钟属性 | 第99-100页 |
| ·实验分析 | 第100-102页 |
| ·并发性衡量 | 第101页 |
| ·案例研究 | 第101-102页 |
| ·本章小结 | 第102-103页 |
| 本章参考文献 | 第103-105页 |
| 第六章 流程间死锁检测研究 | 第105-118页 |
| ·相关介绍 | 第105-106页 |
| ·死锁 | 第105-106页 |
| ·BPEL的同步和异步交互 | 第106页 |
| ·BPEL死锁特征 | 第106-109页 |
| ·单一流程内部的死锁 | 第107页 |
| ·流程间的消息通信死锁 | 第107-109页 |
| ·流程摘要 | 第109-110页 |
| ·基于流程摘要的死锁检测 | 第110-114页 |
| ·流程依赖关系 | 第110-111页 |
| ·流程摘要分析 | 第111-112页 |
| ·流程间死锁检测算法 | 第112-113页 |
| ·实例及分析 | 第113-114页 |
| ·相关工作 | 第114-115页 |
| ·本章小结 | 第115-116页 |
| 本章参考文献 | 第116-118页 |
| 第七章 BPEL缺陷检测工具BPELDTS | 第118-123页 |
| ·系统框架 | 第118-119页 |
| ·BPEL解析与建模 | 第119-121页 |
| ·BPEL的EMF模型 | 第119页 |
| ·BPEL建模 | 第119-121页 |
| ·缺陷检测结果 | 第121-123页 |
| 第八章 结束语 | 第123-125页 |
| ·论文总结 | 第123-124页 |
| ·进一步的研究工作 | 第124-125页 |
| 攻读博士学位期间发表的论文 | 第125-126页 |
| 致谢 | 第126页 |
