基于路径符号执行的数据相关性分析
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 目录 | 第7-9页 |
| 第一章 绪论 | 第9-13页 |
| ·论文工作背景 | 第9-10页 |
| ·论文工作的内容和意义 | 第10-11页 |
| ·论文内容安排 | 第11-13页 |
| 第二章 并行概论与并行程序 | 第13-19页 |
| ·并行计算机的分类 | 第13-17页 |
| ·并行向量机(PVP) | 第13-14页 |
| ·对称多处理枧(SMP) | 第14-15页 |
| ·大规模并行机(MPP) | 第15页 |
| ·分布式共享存储多处理机(DSM) | 第15-16页 |
| ·机群(Cluster) | 第16-17页 |
| ·几种并行程序的编程模式 | 第17-19页 |
| 第三章 传统的数据相关性测试 | 第19-25页 |
| ·数据相关的定义 | 第19-20页 |
| ·非精确的数据相关性测试 | 第20-22页 |
| ·GCD测试 | 第21页 |
| ·BANERJEE EXTENDED GCD测试 | 第21页 |
| ·BANERJEE测试 | 第21-22页 |
| ·RANGE测试 | 第22页 |
| ·精确的数据相关性测试 | 第22-23页 |
| ·OMEGA测试 | 第22-23页 |
| ·几种相关性测试的比较 | 第23-25页 |
| 第四章 基于路径和符号执行的数据相关性测试 | 第25-37页 |
| ·约束求解工具BONUS | 第25-29页 |
| ·布尔表达式的满足问题 | 第26页 |
| ·BoNuS的实现 | 第26-29页 |
| ·扩展的有限状态自动机(EFSM) | 第29-31页 |
| ·路径生成器 | 第31-34页 |
| ·路径遍历算法 | 第31-33页 |
| ·EFSM一条路径的文法 | 第33-34页 |
| ·路径生成算法在并行化研究中的应用 | 第34-37页 |
| 第五章 数据相关性的静态测试 | 第37-55页 |
| ·程序的输入 | 第37-38页 |
| ·LITTLE C解释器 | 第38-39页 |
| ·流程图的生成 | 第39-48页 |
| ·流程图的遍历和EFSM的生成 | 第48-50页 |
| ·数据相关性的判断 | 第50-52页 |
| ·静态测试的应用 | 第52-55页 |
| ·程序运行依赖于输入数据 | 第52页 |
| ·不可执行路径的判断 | 第52-55页 |
| 第六章 数据相关性的动态测试 | 第55-61页 |
| ·数组变量的处理 | 第55-57页 |
| ·动态测试的应用 | 第57-61页 |
| ·数组下标含有非线性表达式 | 第57-58页 |
| ·数组下标中含有迭代变量 | 第58-61页 |
| 第七章 总结语 | 第61-63页 |
| 发表论文 | 第63-65页 |
| 参考文献 | 第65-67页 |
| 致谢 | 第67页 |
