| 摘要 | 第1-12页 |
| ABSTRACT | 第12-14页 |
| 第一章 绪论 | 第14-30页 |
| ·课题研究背景 | 第14-18页 |
| ·大规模软件缺陷发掘的发展趋势 | 第14-15页 |
| ·针对二进制软件进行缺陷发掘的重要性 | 第15-16页 |
| ·动态测试用例生成技术及其面向预发布软件测试的挑战 | 第16-18页 |
| ·课题研究重点 | 第18-20页 |
| ·支持测试系统可重定向的元指令集体系结构设计 | 第18-19页 |
| ·基于完备路径可达约束的精确动态测试用例生成技术 | 第19页 |
| ·面向大型二进制软件的动态测试用例生成系统的性能优化 | 第19页 |
| ·输入数据可控指针的精确处理 | 第19-20页 |
| ·相关研究工作 | 第20-24页 |
| ·动态测试用例生成技术 | 第20-22页 |
| ·其他软件预发布阶段的相关测试技术 | 第22-24页 |
| ·本文工作和创新 | 第24-26页 |
| ·章节组织 | 第26-30页 |
| 第二章 支持测试系统可重定向的元指令集体系结构 | 第30-40页 |
| ·支持二进制程序位精确分析的语义抽象模型 | 第30-32页 |
| ·元指令体系结构 | 第32-37页 |
| ·元指令体系结构特征 | 第33-35页 |
| ·非算术运算指令的映射 | 第35-37页 |
| ·32 位x86 指令集体系结构到MetaISA 的映射 | 第37页 |
| ·本章小结 | 第37-40页 |
| 第三章 基于动态测试用例生成的精确可达路径覆盖方法 | 第40-74页 |
| ·问题分析与方法概述 | 第41-47页 |
| ·基本假设 | 第41页 |
| ·问题分析 | 第41-45页 |
| ·方法概述 | 第45-47页 |
| ·路径可达性的完备判定理论 | 第47-56页 |
| ·二进制指令动态执行建模 | 第47-48页 |
| ·路径可达性判定理论 | 第48-51页 |
| ·路径可达性判定约束的构造方法 | 第51-56页 |
| ·DBAPC-F 方法 | 第56-66页 |
| ·分支可达性判定理论 | 第57-59页 |
| ·基于PDSE 的完备分支可达约束收集方法 | 第59-65页 |
| ·支持任意整数运算的位精确约束可满足性求解器HSolver | 第65-66页 |
| ·面向软件可攻击面的DBAPC 方法 | 第66-71页 |
| ·DBAPC 方法实现 | 第71-73页 |
| ·本章小结 | 第73-74页 |
| 第四章 线性时空复杂度的DBAPC 优化方法 | 第74-104页 |
| ·问题分析 | 第74-81页 |
| ·复杂约束的空间需求分析 | 第74-75页 |
| ·复杂约束求解时间需求分析 | 第75-78页 |
| ·方法概述 | 第78-81页 |
| ·单赋值污点变换方法 | 第81-86页 |
| ·单赋值污点变换 | 第81-82页 |
| ·基于单赋值污点变换生成路径约束的方法 | 第82-84页 |
| ·基于单赋值污点变换构造T-PDSE 的空间需求分析 | 第84-86页 |
| ·TSADAG 及其构建 | 第86-91页 |
| ·基于目标分支入口条件相干性的分支可达约束简化方法 | 第91-102页 |
| ·目标分支入口条件相干性的路径约束简化方法与理论 | 第92-96页 |
| ·基于TSADAG 的相干约束收集算法 | 第96-102页 |
| ·本章小结 | 第102-104页 |
| 第五章 精确处理污点可控指针的E-DBAPC 方法 | 第104-160页 |
| ·问题提出与方法概述 | 第105-118页 |
| ·简单固化可变指针的处理对DBAPC 方法的影响 | 第105-107页 |
| ·污点可控指针引用给DBAPC 方法带来的研究难点 | 第107-112页 |
| ·方法概述 | 第112-118页 |
| ·E-TSADAG 及其构建 | 第118-148页 |
| ·全局平面内存模型与内存历史状态记录模型T2GFM | 第118-120页 |
| ·指针读写操作间的数据依赖分析与处理 | 第120-125页 |
| ·E-TSADAG 的构建 | 第125-144页 |
| ·E-TSADAG 构建实例 | 第144-148页 |
| ·面向污点可控指针引用的约束收集算法 | 第148-152页 |
| ·基于路径约束的字节精度的完备指针指向分析算法 | 第152-155页 |
| ·相关工作 | 第155-157页 |
| ·本章小结 | 第157-160页 |
| 第六章 Hunter 系统与实验分析 | 第160-198页 |
| ·Hunter 系统的体系结构与实现 | 第160-170页 |
| ·Hunter 系统体系结构 | 第160-164页 |
| ·操作系统无关的通用进程/线程识别技术 | 第164-166页 |
| ·状态驱动的符号化与具体化混合执行加速技术 | 第166-168页 |
| ·软件缺陷异常捕捉与自动缺陷区分技术 | 第168-169页 |
| ·Hunter 系统的操作流程与运行界面 | 第169-170页 |
| ·测试目标的选择与缺陷发掘结果 | 第170-183页 |
| ·测试目标的选择 | 第170-174页 |
| ·测试平台与测试方法 | 第174-175页 |
| ·缺陷发掘结果 | 第175-183页 |
| ·DBAPC/E-DBAPC 方法及其技术的性能评估与实验分析 | 第183-194页 |
| ·Hunter 系统重定向至不同CPU 体系结构的开销 | 第183-184页 |
| ·DBAPC 方法及其中各项技术的性能评估与分析 | 第184-190页 |
| ·E-DBAPC 方法的性能评估与分析 | 第190-194页 |
| ·Hunter 系统与SAGE 系统的性能对比分析 | 第194-196页 |
| ·本章小结 | 第196-198页 |
| 结束语 | 第198-200页 |
| 致谢 | 第200-202页 |
| 参考文献 | 第202-210页 |
| 攻读博士学位期间已发表和待发表的主要学术论文 | 第210-212页 |
| 攻读博士学位期间参加的主要科研工作 | 第212页 |
