| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 绪论 | 第8-11页 |
| §1-1 研究背景和意义 | 第8-9页 |
| §1-2 国内外研究现状 | 第9-10页 |
| §1-3 论文主要研究内容 | 第10页 |
| §1-4 论文的组织结构 | 第10-11页 |
| 第二章 传统测试对于分布式系统的不足 | 第11-23页 |
| §2-1 分布式系统的相关概念 | 第11-14页 |
| 2-1-1 分布式系统概念和特征 | 第11-12页 |
| 2-1-2 分布式系统模型及运行模式 | 第12-14页 |
| §2-2 分布式对象技术 | 第14-17页 |
| 2-2-1 传统的面向对象技术 | 第14-15页 |
| 2-2-2 分布式与对象技术的结合 | 第15-16页 |
| 2-2-3 实现分布式对象的机制 | 第16-17页 |
| 2-2-4 分布式对象模型 | 第17页 |
| §2-3 传统的测试方法对于分布式系统的不足 | 第17-23页 |
| 2-3-1 传统测试方法的不足 | 第17-18页 |
| 2-3-2 传统测试模型及其不足 | 第18-20页 |
| 2-3-3 新的测试过程模型 | 第20-23页 |
| 第三章 分布式系统的测试 | 第23-37页 |
| §3-1 程序测试的基本原理 | 第23-25页 |
| 3-1-1 程序测试的相关定义 | 第23-24页 |
| 3-1-2 分布式程序测试分析 | 第24-25页 |
| §3-2 分布式系统的整体测试框架 | 第25-28页 |
| 3-2-1 静态部分 | 第26-27页 |
| 3-2-2 动态部分 | 第27-28页 |
| §3-3 分布式系统的常用测试方法 | 第28-32页 |
| 3-3-1 面向分布式的黑盒测试 | 第28-29页 |
| 3-3-2 面向分布式的白盒测试 | 第29-31页 |
| 3-3-3 分布式程序的正确性与测试的充分性 | 第31-32页 |
| §3-4 基于事件约束的分布式程序测试 | 第32-37页 |
| 3-4-1 CSPE 约束及其存在的问题 | 第33页 |
| 3-4-2 改进的CSPE 约束 | 第33-35页 |
| 3-4-3 改进CSPE 约束的程序验证规则 | 第35-37页 |
| 第四章 STEEL ROLLER 项目测试过程实践 | 第37-53页 |
| §4-1 STEEL ROLLER 项目介绍 | 第37-40页 |
| 4-1-1 Steel Roller 系统开发背景 | 第37页 |
| 4-1-2 Steel Roller 系统功能和操作流程 | 第37-40页 |
| 4-1-3 Steel Roller 系统实现技术 | 第40页 |
| §4-2 STEEL ROLLER 项目测试实现 | 第40-53页 |
| 4-2-1 制定测试计划 | 第40-42页 |
| 4-2-2 搭建测试环境 | 第42-44页 |
| 4-2-3 测试设计 | 第44-46页 |
| 4-2-4 测试内容 | 第46-51页 |
| 4-2-5 测试的难点和关键点 | 第51-53页 |
| 第五章 结论 | 第53-54页 |
| §5-1 本文的主要结论 | 第53页 |
| §5-2 有待进一步研究的问题 | 第53-54页 |
| 参考文献 | 第54-56页 |
| 致谢 | 第56页 |
