| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 目录 | 第11-13页 |
| 图目录 | 第13-15页 |
| 表目录 | 第15-16页 |
| 缩略词目录 | 第16-17页 |
| 第1章 引言 | 第17-25页 |
| ·论文的研究意义 | 第17-21页 |
| ·并行软件的正确性确认问题 | 第17页 |
| ·基于模型的软件测试技术是解决软件正确性确认问题的主要技术 | 第17-18页 |
| ·着色Petri网是描述并行软件行为的重要模型 | 第18-19页 |
| ·研究基于着色Petri网模型的并行软件测试方法具有重要意义 | 第19-21页 |
| ·论文的贡献 | 第21-23页 |
| ·论文的组织 | 第23-25页 |
| 第2章 相关研究概述 | 第25-35页 |
| ·并行软件测试技术的研究现状 | 第25-27页 |
| ·着色Petri网 | 第27-31页 |
| ·基于Petri网的测试方法研究现状 | 第31-33页 |
| ·本文的研究问题 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 第3章 基于迹等价的CP-nets模型化简算法 | 第35-63页 |
| ·问题的提出 | 第35-37页 |
| ·基于迹等价的CP-nets模型化简算法及其等价性证明 | 第37-51页 |
| ·对CP-nets的扩展和本章相关定义综述 | 第37-41页 |
| ·基于迹等价的CP-nets模型化简算法 | 第41-46页 |
| ·化简算法的迹等价性证明 | 第46-51页 |
| ·模型化简算法的化简效果分析 | 第51-58页 |
| ·模型化简算法的化简效果分析与示例 | 第51-55页 |
| ·模型化简算法的在不同结构的模型片段中的适用性和化简效果分析 | 第55-57页 |
| ·模型化简算法的化简效果分析结论 | 第57-58页 |
| ·实例分析：BT软件化简实例 | 第58-60页 |
| ·本章小结 | 第60-63页 |
| 第4章 针对待测行为线性序列的测试例生成算法 | 第63-89页 |
| ·问题的提出 | 第63-64页 |
| ·测试序列生成算法预备知识 | 第64-73页 |
| ·基于待测行为线性序列的测试例生成算法及其覆盖性证明 | 第73-82页 |
| ·基于待测行为线性序列的测试例生成算法描述 | 第73-76页 |
| ·基于待测行为线性序列的测试例生成算法的覆盖性证明 | 第76-79页 |
| ·基于待测行为线性序列的测试例生成算法的效率分析 | 第79-82页 |
| ·实例分析：BT软件测试例生成实例 | 第82-87页 |
| ·本章小结 | 第87-89页 |
| 第5章 针对冗余序列的测试序列优化算法 | 第89-111页 |
| ·问题的提出 | 第89-91页 |
| ·针对多路并行行为的测试序列优化算法 | 第91-101页 |
| ·多路并行行为中测试序列的冗余性分析 | 第91-95页 |
| ·针对多路并发中冗余序列的测试序列优化算法中用到的概念和操作 | 第95-98页 |
| ·针对多路并发中冗余序列的测试序列优化算法描述和应用实例 | 第98-101页 |
| ·针对内部行为的测试序列优化算法 | 第101-103页 |
| ·实例分析：BT软件测试序列优化实例 | 第103-108页 |
| ·本章小结 | 第108-111页 |
| 第6章 结束语 | 第111-115页 |
| ·本文工作总结 | 第111-112页 |
| ·下一步研究工作 | 第112-115页 |
| 参考文献 | 第115-125页 |
| 致谢 | 第125-127页 |
| 作者攻读博士学位期间科研和获奖情况 | 第127-128页 |
