| 摘要 | 第8-10页 |
| ABSTRACT | 第10-12页 |
| 第一章 绪论 | 第13-25页 |
| 1.1 研究背景 | 第13-21页 |
| 1.1.1 Typestate性质 | 第13-15页 |
| 1.1.2 运行时验证技术 | 第15-21页 |
| 1.2 主要研究内容和贡献 | 第21-23页 |
| 1.3 论文的组织结构 | 第23-25页 |
| 第二章 相关研究 | 第25-41页 |
| 2.1 Typestate性质分析技术 | 第25-37页 |
| 2.1.1 静态Typestate性质分析技术 | 第25-27页 |
| 2.1.2 动态Typestate性质分析技术 | 第27-29页 |
| 2.1.3 混成Typestate性质分析技术 | 第29-37页 |
| 2.2 指针别名分析 | 第37-39页 |
| 2.3 本章小结 | 第39-41页 |
| 第三章 基于稳定configuration的优化技术 | 第41-53页 |
| 3.1 研究动机 | 第41-42页 |
| 3.2 问题分析 | 第42-43页 |
| 3.3 改进优化 | 第43-46页 |
| 3.4 实验 | 第46-51页 |
| 3.4.1 实验设计 | 第47-48页 |
| 3.4.2 实验结果 | 第48-49页 |
| 3.4.3 分析时间 | 第49-50页 |
| 3.4.4 实验分析与讨论 | 第50-51页 |
| 3.5 本章小结 | 第51-53页 |
| 第四章 基于本地对象的Nop-shadows分析优化技术 | 第53-71页 |
| 4.1 研究动机 | 第53-54页 |
| 4.2 问题分析 | 第54-56页 |
| 4.3 基于本地对象的优化方法 | 第56-62页 |
| 4.3.1 本地对象识别算法 | 第56-58页 |
| 4.3.2 过程间configuration | 第58-60页 |
| 4.3.3 识别干扰configuration的规则 | 第60-62页 |
| 4.4 实验 | 第62-69页 |
| 4.4.1 实验结果 | 第62-65页 |
| 4.4.2 分析时间 | 第65-66页 |
| 4.4.3 configuration数量阀值对优化效果的影响 | 第66-68页 |
| 4.4.4 实验分析与讨论 | 第68-69页 |
| 4.5 本章小结 | 第69-71页 |
| 第五章 基于部分过程间流敏感信息的优化技术 | 第71-89页 |
| 5.1 研究动机 | 第71-72页 |
| 5.2 问题分析 | 第72-74页 |
| 5.3 基于部分过程间流敏感信息的优化方法 | 第74-80页 |
| 5.3.1 精化过程间数据流分析 | 第75-77页 |
| 5.3.2 过程间肯定别名分析 | 第77-78页 |
| 5.3.3 优化方法的工作流程 | 第78-80页 |
| 5.4 实验 | 第80-86页 |
| 5.4.1 实验结果 | 第80-82页 |
| 5.4.2 分析时间 | 第82-84页 |
| 5.4.3 实验分析与讨论 | 第84-86页 |
| 5.5 本章小结 | 第86-89页 |
| 第六章 结论与展望 | 第89-93页 |
| 6.1 工作总结 | 第89-91页 |
| 6.2 未来的研究方向 | 第91-93页 |
| 致谢 | 第93-95页 |
| 参考文献 | 第95-109页 |
| 作者在学期间取得的学术成果 | 第109-110页 |
