C程序进化测试中的适值计算问题研究
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·引言 | 第7页 |
| ·项目背景 | 第7-8页 |
| ·本文的主要工作和内容安排 | 第8-11页 |
| 第二章 进化测试中的适值计算问题 | 第11-13页 |
| ·进化计算 | 第11页 |
| ·进化测试 | 第11页 |
| ·进化测试中的适值计算问题 | 第11-13页 |
| 第三章 适值计算方法 | 第13-23页 |
| ·分支和分支控制依赖 | 第13页 |
| ·适值函数 | 第13-17页 |
| ·分支逼近度 | 第14-15页 |
| ·分支距离 | 第15-17页 |
| ·C语言适值计算方法 | 第17-23页 |
| ·C语言程序控制流结构 | 第17页 |
| ·C语言程序的层次结构 | 第17页 |
| ·C语言结构的具体适值计算方法 | 第17-23页 |
| 第四章 适值计算中的相关概念 | 第23-29页 |
| ·关于Antlr | 第23页 |
| ·适值计算中的相关概念和方法 | 第23-29页 |
| ·抽象语法树 | 第24-26页 |
| ·符号表和作用域信息 | 第26-29页 |
| 第五章 静态分析 | 第29-35页 |
| ·程序的控制依赖 | 第29-32页 |
| ·顺序结构 | 第29页 |
| ·选择结构 | 第29-32页 |
| ·循环结构 | 第32页 |
| ·相关概念的说明 | 第32-35页 |
| ·全局分支编号 | 第32-33页 |
| ·函数级控制依赖 | 第33页 |
| ·控制依赖文件 | 第33-35页 |
| 第六章 适值植入 | 第35-51页 |
| ·适值植入函数 | 第35-36页 |
| ·适值植入过程 | 第36-41页 |
| ·分支的划分和编号 | 第36页 |
| ·执行序列的记录 | 第36页 |
| ·对称分支的记录 | 第36-37页 |
| ·函数信息的记录 | 第37-38页 |
| ·分支距离的计算植入 | 第38-41页 |
| ·适值植入中要注意的问题 | 第41-48页 |
| ·选择结构的多层嵌套问题 | 第41-42页 |
| ·植入中的语法和语义问题 | 第42-44页 |
| ·运行时类型识别 | 第44-48页 |
| ·函数的识别 | 第48页 |
| ·相关数据结构和方法 | 第48-51页 |
| ·相关数据结构 | 第49-50页 |
| ·相关方法 | 第50-51页 |
| 第七章 实验 | 第51-53页 |
| 结束语 | 第53-54页 |
| 致谢 | 第54-55页 |
| 参考文献 | 第55-57页 |
| 在读期间研究成果 | 第57-59页 |
| 附录A | 第59-60页 |
| 附录B | 第60-61页 |
| 附录C | 第61-62页 |
