| 摘要 | 第1-6页 |
| Abstract | 第6-13页 |
| 第1章 引言 | 第13-18页 |
| ·背景以及相关工作 | 第13-16页 |
| ·软件测试(Software Testing) | 第13-15页 |
| ·重放(Replay) | 第15-16页 |
| ·论文的主要贡献 | 第16-17页 |
| ·论文各部分主要内容及结构 | 第17-18页 |
| 第2章 基于使用模型和可执行规格说明的软件测试框架 | 第18-24页 |
| ·测试框构的描述 | 第18-22页 |
| ·使用模型与功能规格说明的构建 | 第19-22页 |
| ·测试输入器Input Generator | 第22页 |
| ·结果验证器Validator | 第22页 |
| ·测试框架的讨论 | 第22-24页 |
| 第3章 面向重放的软件架构 | 第24-39页 |
| ·架构的描述 | 第24-31页 |
| ·纯实体和纯属性 | 第31-33页 |
| ·纯实体的重放 | 第33-35页 |
| ·非纯实体和非纯属性 | 第35-36页 |
| ·测试软件Tester的数据分析 | 第36-37页 |
| ·性能分析 | 第37-39页 |
| 第4章 测试软件Tester的详细设计 | 第39-54页 |
| ·被测件描述 | 第39-41页 |
| ·被测件slapd功能需求 | 第41-43页 |
| ·测试软件的实现 | 第43-54页 |
| ·测试软件Tester的体系结构 | 第44-46页 |
| ·测试系统中的事件 | 第46-49页 |
| ·一些关键实体的设计与实现 | 第49-54页 |
| 第5章 数据分析 | 第54-72页 |
| ·测试的有效性 | 第54-55页 |
| ·测试的低耗性 | 第55-71页 |
| ·测试的耗费 | 第55-57页 |
| ·低耗费的原因 | 第57-71页 |
| ·数据分析的总结 | 第71-72页 |
| 第6章 结束语 | 第72-73页 |
| ·回顾 | 第72页 |
| ·下一步的工作 | 第72-73页 |
| 参考文献 | 第73-75页 |