| 绪论 | 第1-8页 |
| 第一章 面向对象软件测试概论 | 第8-13页 |
| ·软件测试 | 第8-10页 |
| ·软件测试方法分类 | 第10页 |
| ·面向对象软件测试 | 第10-12页 |
| ·陈火炎等人的面向对象软件测试研究结果 | 第12-13页 |
| 第二章 并发软件测试 | 第13-19页 |
| ·并发系统和并发软件 | 第13-14页 |
| ·并发程序的同步序列 | 第14-16页 |
| ·并发软件测试 | 第16-17页 |
| ·可达性测试与非确定性测试效果的实验比较 | 第17-19页 |
| 第三章 基于共享变量读写分析的Java语言可达性测试框架系统 | 第19-25页 |
| ·Java语言的多线程同步机制 | 第19-20页 |
| ·软件测试框架系统 | 第20-22页 |
| ·基于共享变量读写分析的Java多线程可达性测试框架系统 | 第22-23页 |
| ·系统开发环境 | 第23-25页 |
| 第四章 并发程序可达性测试同步序列集生成策略 | 第25-39页 |
| ·同步序列的形式化定义 | 第25-27页 |
| ·同步事件的数据结构 | 第27-30页 |
| ·同步序列的生成方式 | 第30-31页 |
| ·并发程序模型与MTTest图示法 | 第31-34页 |
| ·基于共享变量读写分析的同步序列集生成策略 | 第34-39页 |
| 第五章 Java多线程程序确定性测试框架系统设计及其实现难点 | 第39-52页 |
| ·JUnit测试框架系统结构 | 第39-43页 |
| ·Java多线程确定性测试框架系统设计和实现 | 第43-46页 |
| ·Java多线程确定性测试框架系统实现难点 | 第46-50页 |
| ·可达性测试框架系统实验实例 | 第50-52页 |
| 第六章 结束语 | 第52-53页 |
| 致谢 | 第53-54页 |
| 参考文献 | 第54-55页 |
