| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·引言 | 第7页 |
| ·国内外研究现状 | 第7-9页 |
| ·目前存在的问题 | 第9页 |
| ·本文的主要工作及内容安排 | 第9-11页 |
| 第二章 Java 异常处理机制简介 | 第11-14页 |
| ·Java 异常类及其继承结构 | 第11页 |
| ·引发异常的原因 | 第11-12页 |
| ·Java 异常处理的模型 | 第12页 |
| ·Java 异常处理的使用 | 第12-13页 |
| ·小结 | 第13-14页 |
| 第三章 异常处理代码的静态分析 | 第14-38页 |
| ·基本概念 | 第14页 |
| ·计算程序中未处理异常的模型 | 第14-17页 |
| ·Factored Control Flow Graph 简介 | 第17-19页 |
| ·Java 程序中conditional e-c link 的提取 | 第19-29页 |
| ·类继承图的构建算法 | 第19-24页 |
| ·类型分析的算法 | 第24-25页 |
| ·函数调用信息的搜索算法 | 第25-26页 |
| ·函数定义的查找算法 | 第26-27页 |
| ·提取conditional e-c link 的算法 | 第27-29页 |
| ·异常流可视化的相关算法 | 第29-38页 |
| ·基本块的构造算法 | 第29-31页 |
| ·函数内控制流图的构建算法 | 第31-34页 |
| ·函数间控制流图的构建算法 | 第34-35页 |
| ·异常流可视化的核心算法 | 第35-38页 |
| 第四章 Java 异常处理代码的动态测试 | 第38-44页 |
| ·测试异常处理代码的基本思想 | 第38-39页 |
| ·利用Java debugger 测试异常处理代码的方法 | 第39-44页 |
| ·引发与程序状态相关的异常 | 第41-42页 |
| ·引发与程序状态无关的异常 | 第42-44页 |
| 第五章 实验检验 | 第44-47页 |
| ·实验步骤 | 第44页 |
| ·测试实例 | 第44-47页 |
| 结束语 | 第47-48页 |
| 致谢 | 第48-49页 |
| 参考文献 | 第49-51页 |
| 作者在读期间研究成果 | 第51-52页 |
| 附录 A | 第52-54页 |
