| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 1 绪论 | 第11-38页 |
| ·软件测试的意义 | 第11-13页 |
| ·并行程序分析方法研究概述 | 第13-15页 |
| ·并行程序测试方法研究概述 | 第15-34页 |
| ·本文研究的主要内容 | 第34-36页 |
| ·本文组织结构 | 第36-38页 |
| 2 一种改进的不确定性测试方法 | 第38-47页 |
| ·一种不确定性测试的有效结构 | 第38-39页 |
| ·改进的不确定性测试方法 | 第39-45页 |
| ·实验分析 | 第45-46页 |
| ·小结 | 第46-47页 |
| 3 基于稍强先发生于关系的并行程序同步串选择策略 | 第47-62页 |
| ·三种先发生于关系 | 第47-54页 |
| ·稍强先发生于关系 | 第54-56页 |
| ·基于稍强先发生于关系的并行程序同步串选择策略 | 第56-57页 |
| ·案例分析 | 第57-59页 |
| ·实验分析 | 第59-61页 |
| ·小结 | 第61-62页 |
| 4 基于向量时钟的并行程序可靠组合测试策略 | 第62-76页 |
| ·T-way可达性测试 | 第62-63页 |
| ·基于向量时钟的并行程序可靠组合测试策略 | 第63-69页 |
| ·案例分析 | 第69-71页 |
| ·实验分析 | 第71-75页 |
| ·小结 | 第75-76页 |
| 5 基于三种覆盖标准的可达性测试 | 第76-99页 |
| ·全发送接收语句对测试准则 | 第76-78页 |
| ·基于全同步对覆盖标准的可达性测试 | 第78-86页 |
| ·基于全点覆盖标准的可达性测试 | 第86-92页 |
| ·基于全边覆盖标准的可达性测试 | 第92-95页 |
| ·实验分析 | 第95-98页 |
| ·小结 | 第98-99页 |
| 6 基于并行Java程序动态切片的Concolic测试 | 第99-112页 |
| ·Concolic测试 | 第99-101页 |
| ·基于并行Java程序动态切片的concolic测试 | 第101-108页 |
| ·实验分析 | 第108-111页 |
| ·小结 | 第111-112页 |
| 7 全文总结与展望 | 第112-115页 |
| ·主要工作总结 | 第112-114页 |
| ·研究展望 | 第114-115页 |
| 致谢 | 第115-116页 |
| 参考文献 | 第116-130页 |
| 附录 攻读学位期间发表学术论文目录 | 第130页 |