| 摘要 | 第1-4页 |
| Abstract | 第4-9页 |
| 第一章 绪论 | 第9-23页 |
| ·研究背景与意义 | 第9-10页 |
| ·演化测试技术 | 第10-15页 |
| ·演化测试 | 第10-11页 |
| ·基本概念 | 第11-14页 |
| ·针对分支覆盖的适应度函数计算公式 | 第14-15页 |
| ·研究现状 | 第15-17页 |
| ·工具框架 | 第17-19页 |
| ·论文的主要工作与组织结构 | 第19-23页 |
| 第二章 基于植入的适应度求值技术 | 第23-37页 |
| ·引言 | 第23页 |
| ·依赖分析 | 第23-26页 |
| ·控制依赖 | 第24-25页 |
| ·数据依赖 | 第25-26页 |
| ·ANTLR | 第26页 |
| ·基于逆波兰式的分支距离计算与植入 | 第26-32页 |
| ·分支距离的计算 | 第26-28页 |
| ·符号表的构建 | 第28-30页 |
| ·分支距离计算函数的植入 | 第30-32页 |
| ·基于序列匹配的分支逼近度的计算 | 第32-34页 |
| ·适应度函数计算方法 | 第34-36页 |
| ·本章小结 | 第36-37页 |
| 第三章 针对标志变量问题的适应度函数设计研究 | 第37-55页 |
| ·引言 | 第37-38页 |
| ·标志变量问题 | 第38页 |
| ·针对标志变量的统一适应度计算规则 | 第38-44页 |
| ·非结构化控制流中的标志变量问题 | 第44-45页 |
| ·扩展的通用规则 | 第45-48页 |
| ·实验检验 | 第48-51页 |
| ·工具实现 | 第48-49页 |
| ·实验检验 | 第49-51页 |
| ·工程案例 | 第51-53页 |
| ·相关工作 | 第53-54页 |
| ·本章小结 | 第54-55页 |
| 第四章 嵌套If-Else结构的适应度函数设计研究 | 第55-73页 |
| ·引言 | 第55页 |
| ·传统适应度计算方法针对嵌套If-Else结构所存在的问题 | 第55-58页 |
| ·基于分支距离的适应度计算方法 | 第58-61页 |
| ·针对嵌套If-Else结构的新的适应度计算方法 | 第61-67页 |
| ·实验检验 | 第67-69页 |
| ·工程案例 | 第69-70页 |
| ·本章小结 | 第70-73页 |
| 第五章 Switch-Case结构的适应度函数设计研究 | 第73-91页 |
| ·引言 | 第73页 |
| ·Switch-Case结构的适应度计算问题 | 第73-76页 |
| ·Switch-Case结构的适应度问题 | 第73-75页 |
| ·Switch-Case结构的普遍性 | 第75-76页 |
| ·Switch-Case结构的展平控制依赖图 | 第76-79页 |
| ·现有的Switch-Case结构的控制依赖分析 | 第76-78页 |
| ·Switch-Case结构的展平控制依赖分析 | 第78-79页 |
| ·配对关键分支集合的定义与构造算法 | 第79-81页 |
| ·配对关键分支集合的定义 | 第79-80页 |
| ·配对关键分支集合的构造算法 | 第80-81页 |
| ·Switch-Case结构的适应度计算方法 | 第81-84页 |
| ·关键分支集合的定义 | 第81-82页 |
| ·基于展平控制依赖图的适应度计算方法 | 第82-84页 |
| ·实验检验 | 第84-88页 |
| ·工程案例 | 第88页 |
| ·本章小结 | 第88-91页 |
| 第六章 基于函数调用依赖的适应度函数设计研究 | 第91-105页 |
| ·引言 | 第91页 |
| ·函数调用链上的适应度函数设计问题 | 第91-95页 |
| ·基于函数调用依赖的适应度函数设计 | 第95-101页 |
| ·函数调用依赖分析 | 第95-97页 |
| ·基于函数调用依赖的适应度函数设计 | 第97-99页 |
| ·多条函数调用依赖链的适应度函数设计 | 第99-101页 |
| ·实验检验 | 第101-103页 |
| ·工程案例 | 第103-104页 |
| ·本章小结 | 第104-105页 |
| 第七章 结束语 | 第105-107页 |
| ·本文工作总结 | 第105-106页 |
| ·进一步研究方向 | 第106-107页 |
| 致谢 | 第107-109页 |
| 参考文献 | 第109-117页 |
| 攻读博士学位期间完成的论文 | 第117-118页 |
| 攻读博士学位期间负责和参加的科研 | 第118-119页 |
