| 摘要 | 第4-6页 |
| Abstract | 第6-7页 |
| 1 绪论 | 第14-24页 |
| 1.1 研究背景与动机 | 第14-15页 |
| 1.2 研究现状 | 第15-21页 |
| 1.2.1 人工建模 | 第15-17页 |
| 1.2.2 基于程序切片 | 第17-19页 |
| 1.2.3 基于程序合成 | 第19-20页 |
| 1.2.4 基于库函数文档 | 第20-21页 |
| 1.3 本文工作 | 第21-22页 |
| 1.4 本文的组织结构 | 第22-24页 |
| 2 背景知识 | 第24-32页 |
| 2.1 库函数建模 | 第24-26页 |
| 2.1.1 概念介绍 | 第24-25页 |
| 2.1.2 发展状况 | 第25-26页 |
| 2.2 约束 | 第26-27页 |
| 2.2.1 约束的基本概念 | 第26页 |
| 2.2.2 约束的发展 | 第26-27页 |
| 2.3 Stanford Parser和Randoop | 第27-30页 |
| 2.3.1 Stanford Parser | 第27-29页 |
| 2.3.2 Randoop | 第29-30页 |
| 2.4 本章总结 | 第30-32页 |
| 3 库函数文档分析方法 | 第32-46页 |
| 3.1 方法框架 | 第32-33页 |
| 3.2 Java库函数文档简介 | 第33-34页 |
| 3.3 预处理 | 第34-36页 |
| 3.4 词法分析和语法分析 | 第36-39页 |
| 3.5 语义分析 | 第39-45页 |
| 3.6 本章小结 | 第45-46页 |
| 4 库函数约束模板生成及验证方法 | 第46-68页 |
| 4.1 转换规则定义 | 第46-58页 |
| 4.1.1 Java容器类分析 | 第47-50页 |
| 4.1.2 针对Java容器类的转换规则定义 | 第50-58页 |
| 4.2 约束模板生成及优化 | 第58-62页 |
| 4.2.1 约束模板生成 | 第58-60页 |
| 4.2.2 约束模板优化 | 第60-62页 |
| 4.3 约束模板验证 | 第62-66页 |
| 4.4 本章小结 | 第66-68页 |
| 5 工具原型及实验评估 | 第68-80页 |
| 5.1 工具框架 | 第68-70页 |
| 5.2 实验评估 | 第70-78页 |
| 5.2.1 实验对象 | 第70页 |
| 5.2.2 库函数建模方法的有效性和效率评估 | 第70-72页 |
| 5.2.3 约束模板生成结果和特性评估 | 第72-74页 |
| 5.2.4 约束模板适用性评估 | 第74-76页 |
| 5.2.5 约束模板实用性评估 | 第76-78页 |
| 5.3 本章小结 | 第78-80页 |
| 6 论文总结 | 第80-82页 |
| 6.1 论文主要工作 | 第80-81页 |
| 6.2 未来工作 | 第81-82页 |
| 参考文献 | 第82-89页 |
| 简历与科研成果 | 第89-90页 |
| 致谢 | 第90-91页 |