并发软件测试理论与技术研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 1 绪论 | 第10-24页 |
| ·软件测试的意义 | 第10-12页 |
| ·并发程序分析与测试研究概述 | 第12-21页 |
| ·本文研究的主要内容 | 第21-23页 |
| ·论文组织结构 | 第23-24页 |
| 2 可达性测试与CONCOLIC 测试 | 第24-40页 |
| ·可达性测试 | 第24-34页 |
| ·CONCOLIC 测试 | 第34-38页 |
| ·小结 | 第38-40页 |
| 3 可达性测试方法改进 | 第40-52页 |
| ·现有可达性测试方法存在的问题 | 第40-43页 |
| ·改进的可达性测试方法 | 第43-49页 |
| ·改进后的测试方法具有的优点 | 第49-51页 |
| ·小结 | 第51-52页 |
| 4 一种可达性测试准则 | 第52-70页 |
| ·全发送接收语句对测试准则 | 第52-54页 |
| ·全发送接收语句对可达性测试方法 | 第54-60页 |
| ·算法分析 | 第60-62页 |
| ·案例 | 第62-68页 |
| ·满足ASRSP 测试准则的最小测试序列集 | 第68-69页 |
| ·小结 | 第69-70页 |
| 5 一种CONCOLIC 测试序列选择算法 | 第70-92页 |
| ·CONCOLIC 测试存在的问题 | 第70-72页 |
| ·三种先发生于关系 | 第72-81页 |
| ·弱先发生于等价关系 | 第81-82页 |
| ·基于弱先发生于等价关系的测试序列选择算法 | 第82-86页 |
| ·算法分析 | 第86-87页 |
| ·案例分析 | 第87-89页 |
| ·算法实验与分析 | 第89-91页 |
| ·小结 | 第91-92页 |
| 6 总结与展望 | 第92-95页 |
| ·主要工作总结 | 第92-93页 |
| ·研究展望 | 第93-95页 |
| 致谢 | 第95-96页 |
| 参考文献 | 第96-113页 |
| 附录 攻读学位期间发表学术论文目录 | 第113页 |
