基于特征符号的程序理解研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-14页 |
| 第一章 引言 | 第14-24页 |
| ·研究背景 | 第14-17页 |
| ·研究现状 | 第17-20页 |
| ·论文工作 | 第20-21页 |
| ·研究思路 | 第20页 |
| ·主要创新点 | 第20-21页 |
| ·论文组织 | 第21-24页 |
| 第二章 程序理解理论、策略和工具回顾 | 第24-46页 |
| ·人工程序理解 | 第24-29页 |
| ·人工理解主要模型和方法 | 第24-29页 |
| ·小结 | 第29页 |
| ·自动理解 | 第29-42页 |
| ·基于Plan程序理解 | 第30-34页 |
| ·其他程序理解策略和工具 | 第34-41页 |
| ·小结 | 第41-42页 |
| ·当前关于程序理解方法和工具 | 第42页 |
| ·抄袭中的相似性诊断 | 第42-44页 |
| ·Halstead：软件科学中的基本单元 | 第43页 |
| ·McCabe秩复杂性度量 | 第43-44页 |
| ·Harrison等：基于嵌套层次的复杂性度量 | 第44页 |
| ·本章小结 | 第44-46页 |
| 第三章 基于逻辑表达式的PLAN辨识 | 第46-58页 |
| ·PR理论回顾 | 第46-47页 |
| ·概述 | 第47-54页 |
| ·PR的前提假设 | 第47-48页 |
| ·PR中的概念及其逻辑表达式形式 | 第48-51页 |
| ·PR中的假设及其逻辑表达式 | 第51-54页 |
| ·采用逻辑表达式消除非匹配PLAN | 第54-57页 |
| ·自下而上式采用逻辑表达式消除非匹配Plan | 第55页 |
| ·自上而下式采用逻辑表达式消除非匹配Plan | 第55-57页 |
| ·本章小结 | 第57-58页 |
| 第四章 基于特征符号PLAN库的构建 | 第58-72页 |
| ·程序中的特征符号 | 第59-62页 |
| ·特征符号的要求 | 第59页 |
| ·特征符号的分类 | 第59-62页 |
| ·一般PLAN表示方法 | 第62-64页 |
| ·基于特征符号PLAN库的建立 | 第64-71页 |
| ·程序段预处理 | 第64-65页 |
| ·元Plan库的建立 | 第65-66页 |
| ·层次式Plan库的建立 | 第66-67页 |
| ·Plan特征的提取 | 第67-68页 |
| ·带特征符号Plan库的建立 | 第68-71页 |
| ·本章小结 | 第71-72页 |
| 第五章 基于程序元的程序特征符号抽取 | 第72-82页 |
| ·程序元的定义和使用 | 第72-73页 |
| ·基于程序元的程序中间形式转换算法 | 第73-75页 |
| ·程序转换算法实例 | 第75-77页 |
| ·基于程序元的特征符号抽取 | 第77-81页 |
| ·特征符号抽取算法实例 | 第81页 |
| ·本章小结 | 第81-82页 |
| 第六章 分层匹配机制和相似性分析 | 第82-96页 |
| ·分层匹配和相似性分析框架 | 第82-84页 |
| ·粗、细两层匹配算法 | 第84-87页 |
| ·基于模糊推理的相似性分析 | 第87-89页 |
| ·相似性问题的提出 | 第87页 |
| ·相似性分析算法 | 第87-89页 |
| ·算法实例 | 第89-95页 |
| ·分层匹配算法实例 | 第89-91页 |
| ·相似性分析算法实例 | 第91-95页 |
| ·本章小结 | 第95-96页 |
| 第七章 基于特征符号程序理解模型原型 | 第96-108页 |
| ·基于特征符号程序理解模型原型系统 | 第96-97页 |
| ·原型各部分功能简介 | 第97-99页 |
| ·Plan库的组织和建立 | 第97页 |
| ·源码处理器 | 第97-98页 |
| ·特征符号产生器 | 第98页 |
| ·特征匹配器 | 第98页 |
| ·相似性分析器 | 第98页 |
| ·集群和并行 | 第98-99页 |
| ·原型系统运行实例 | 第99-108页 |
| ·运行结果 | 第99-106页 |
| ·结果分析 | 第106-108页 |
| 第八章 基于信息检索的代码和中文文档关联 | 第108-118页 |
| ·概述 | 第108-109页 |
| ·关联方法 | 第109-112页 |
| ·原型系统、实验结果和结果分析 | 第112-115页 |
| ·原型系统和实验结果 | 第112-113页 |
| ·实验结果 | 第113-115页 |
| ·结果分析 | 第115页 |
| ·本章小结 | 第115-118页 |
| 第九章 结论和展望 | 第118-122页 |
| ·论文主要工作 | 第118-119页 |
| ·后续研究展望 | 第119-122页 |
| 参考文献 | 第122-136页 |
| 读博期间发表或完成的论文 | 第136-138页 |
| 致谢 | 第138页 |
