面向服务应用系统可靠性测试方法与技术研究
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 引言 | 第8-12页 |
| ·课题研究的目的和意义 | 第8-9页 |
| ·研究现状 | 第9-10页 |
| ·研究内容与方法 | 第10-11页 |
| ·本文结构 | 第11-12页 |
| 2 相关理论和技术介绍 | 第12-26页 |
| ·面向服务体系架构SOA简介 | 第12-18页 |
| ·SOA的定义 | 第12-13页 |
| ·SOA的实体与结构 | 第13-15页 |
| ·SOA的相关技术 | 第15-18页 |
| ·基于SOA的软件测试 | 第18-20页 |
| ·Web服务测试 | 第18-19页 |
| ·SOA软件的可靠性测试 | 第19-20页 |
| ·TTCN-3简介 | 第20-26页 |
| ·TTCN-3核心语言 | 第21-23页 |
| ·TTCN-3测试体系结构 | 第23-24页 |
| ·TTCN-3图形表示格式 | 第24-26页 |
| 3 基于BPEL服务组合的可靠性测试研究 | 第26-35页 |
| ·基于BPEL的服务组合技术研究 | 第26-30页 |
| ·BPEL相关技术 | 第27-29页 |
| ·BPEL的流程设计 | 第29页 |
| ·BPEL的核心组件 | 第29-30页 |
| ·BPEL到TTCN-3核心语言的转换思想 | 第30-33页 |
| ·BPEL到TTCN-3抽象测试套的生成算法 | 第33-35页 |
| 4 自动生成测试套工具的优化实现 | 第35-45页 |
| ·GFT图形编辑器的设计与实现 | 第35-38页 |
| ·GFT图形编辑器的优化设计 | 第38-45页 |
| ·图形编辑模块中图形的简化 | 第38-41页 |
| ·配置信息转化成XML文件的实现 | 第41-45页 |
| 5 面向服务应用系统可靠性测试平台的实现 | 第45-53页 |
| ·图形编辑模块生成测试套的实现 | 第45-47页 |
| ·BPEL转换TTCN-3抽象测试套的实现 | 第47-48页 |
| ·面向服务应用系统测试编解码器与适配器的实现 | 第48-53页 |
| ·编解码器的实现 | 第49-50页 |
| ·适配器的实现 | 第50-53页 |
| 6 面向服务应用系统可靠性测试平台的应用 | 第53-64页 |
| ·订票服务案例的测试 | 第53-59页 |
| ·测试用例设计 | 第53-58页 |
| ·测试结果 | 第58-59页 |
| ·房屋贷款案例的测试 | 第59-64页 |
| ·测试用例设计 | 第59-63页 |
| ·测试结果 | 第63-64页 |
| 结论 | 第64-66页 |
| 参考文献 | 第66-69页 |
| 申请学位期间发表的学术论文 | 第69-70页 |
| 致谢 | 第70页 |
