| 第一章 绪论 | 第1-12页 |
| ·研究背景 | 第7-8页 |
| ·LDRA软件测试工具主机功能模块介绍 | 第8-10页 |
| ·本文的组织安排 | 第10-12页 |
| 第二章 静态分析工具的组成 | 第12-23页 |
| ·程序预处理 | 第13页 |
| ·词法分析器 | 第13页 |
| ·程序插装器 | 第13-19页 |
| ·语法分析器 | 第19页 |
| ·符号表 | 第19-21页 |
| ·静态分析模块 | 第21-23页 |
| 第三章 程序分片技术 | 第23-29页 |
| ·程序分片技术概述 | 第23-25页 |
| ·WEISER的程序分片方法 | 第25-27页 |
| ·基于程序依赖图的分片 | 第27-29页 |
| 第四章 简单语句分析 | 第29-36页 |
| ·基本概念 | 第29-31页 |
| ·Ds、Ps以及关系λs、μs和ρs的计算方法 | 第31-32页 |
| ·结论及证明 | 第32-36页 |
| 第五章 程序并行成份分析方法 | 第36-50页 |
| ·程序级并行成份分析 | 第36-43页 |
| ·子程序级并行成份分析 | 第43-50页 |
| 第六章 总结 | 第50-51页 |
| ·工作小结 | 第50页 |
| ·进一步工作 | 第50-51页 |
| 参考文献 | 第51-53页 |
| 在校期间参与项目和发表论文情况 | 第53-54页 |
| 致谢 | 第54页 |