| 摘要 | 第1-4页 |
| ABSTRACT | 第4-6页 |
| 第1章 绪论 | 第6-14页 |
| ·引言 | 第6-7页 |
| ·软件测试技术介绍 | 第7-11页 |
| ·本课题的研究内容 | 第11-14页 |
| 第2章 动态内存错误导致系统崩溃的故障分析 | 第14-24页 |
| ·内存释放异常 | 第14-15页 |
| ·不完整的构造函数定义 | 第15-17页 |
| ·内存泄露 | 第17-19页 |
| ·空指针引用 | 第19页 |
| ·动态内存未分配的非法访问 | 第19-21页 |
| ·赋值运算符的非法使用 | 第21-24页 |
| 第3章 别名近似算法研究 | 第24-38页 |
| ·问题引入 | 第24页 |
| ·相关概念的描述 | 第24-26页 |
| ·可能的别名近似算法 | 第26-36页 |
| ·相关研究及算法结论 | 第36-38页 |
| 第4章 一个基于别名分析的内存泄漏检测算法 | 第38-45页 |
| ·影响内存泄漏错误的操作 | 第38页 |
| ·别名集合的计算 | 第38-41页 |
| ·条件判断对别名分析的影响 | 第41-43页 |
| ·相关算法的研究结论 | 第43-45页 |
| 第5章 结束语 | 第45-46页 |
| 致谢 | 第46-47页 |
| 参考文献 | 第47-51页 |
| 攻读学位期间发表的学术论文 | 第51页 |