面向软错误的软件检测技术研究
| 摘要 | 第5-7页 |
| Abstract | 第7-8页 |
| 本论文专用术语的注释表 | 第12-16页 |
| 第一章 绪论 | 第16-40页 |
| 1.1 研究背景 | 第16-23页 |
| 1.1.1 单粒子效应的粒子来源 | 第17-19页 |
| 1.1.2 单粒子效应的产生 | 第19-20页 |
| 1.1.3 软错误按后果分类 | 第20-21页 |
| 1.1.4 软错误发展趋势 | 第21-23页 |
| 1.2 硬件防护方法研究现状 | 第23-28页 |
| 1.2.1 工艺级防护 | 第23页 |
| 1.2.2 电路级防护 | 第23-24页 |
| 1.2.3 体系结构级防护 | 第24-27页 |
| 1.2.4 硬件防护方法小结 | 第27-28页 |
| 1.3 软件防护方法研究现状 | 第28-36页 |
| 1.3.1 指令复算方法 | 第28-31页 |
| 1.3.2 症状捕获方法 | 第31-32页 |
| 1.3.3 源码级断言方法 | 第32页 |
| 1.3.4 其他软件防护技术 | 第32-35页 |
| 1.3.5 软件防护方法小结 | 第35-36页 |
| 1.4 本文的主要研究工作及论文组织结构 | 第36-40页 |
| 1.4.1 本文的主要研究工作 | 第36-38页 |
| 1.4.2 创新点及研究成果 | 第38页 |
| 1.4.3 论文组织结构 | 第38-40页 |
| 第二章 软错误下栈的行为分析 | 第40-60页 |
| 2.1 问题描述 | 第40-41页 |
| 2.2 相关研究工作 | 第41-42页 |
| 2.2.1 关于良性后果的研究工作 | 第41页 |
| 2.2.2 关于崩溃的研究工作 | 第41-42页 |
| 2.2.3 关于SDC的研究工作 | 第42页 |
| 2.3 函数调用过程分析 | 第42-44页 |
| 2.4 错误注入系统ProIn及实验配置 | 第44-45页 |
| 2.5 返回地址的注入结果 | 第45-48页 |
| 2.5.1 注入结果分类与分析 | 第46-48页 |
| 2.5.2 注入结果的位分布 | 第48页 |
| 2.5.3 小结 | 第48页 |
| 2.6 ESP的注入结果 | 第48-54页 |
| 2.6.1 ESP对返回地址载入的影响 | 第49-51页 |
| 2.6.2 SDC成因分析 | 第51-52页 |
| 2.6.3 导致SDC的位分布 | 第52-54页 |
| 2.6.4 小结 | 第54页 |
| 2.7 EBP的注入结果 | 第54-57页 |
| 2.7.1 挂起成因分析 | 第54-56页 |
| 2.7.2 SDC成因分析 | 第56-57页 |
| 2.7.3 注入结果的位分布 | 第57页 |
| 2.7.4 小结 | 第57页 |
| 2.8 本章小结 | 第57-60页 |
| 第三章 SDC脆弱指令识别方法 | 第60-78页 |
| 3.1 问题描述 | 第60-61页 |
| 3.2 相关研究工作 | 第61-62页 |
| 3.2.1 静态注入方法 | 第61页 |
| 3.2.2 静态分析方法 | 第61-62页 |
| 3.3 分析框架 | 第62-65页 |
| 3.3.1 模型假设 | 第62页 |
| 3.3.2 基本定义 | 第62-63页 |
| 3.3.3 分析模型 | 第63-65页 |
| 3.4 SDC的错误传播分析 | 第65-67页 |
| 3.4.1 函数间错误传播 | 第65-66页 |
| 3.4.2 函数内部错误传播 | 第66-67页 |
| 3.4.3 内部指令的SDC脆弱性判定 | 第67页 |
| 3.5 SDC脆弱指令识别方法设计 | 第67-69页 |
| 3.6 验证实验 | 第69-73页 |
| 3.6.1 准确率 | 第70-71页 |
| 3.6.2 覆盖率 | 第71-72页 |
| 3.6.3 注入错误数与时间代价 | 第72-73页 |
| 3.6.4 小结 | 第73页 |
| 3.7 SDC脆弱指令特征分析 | 第73-77页 |
| 3.7.1 SDC比例 | 第73-74页 |
| 3.7.2 导致SDC的静态指令的特征 | 第74-75页 |
| 3.7.3 传播特征 | 第75-76页 |
| 3.7.4 小结 | 第76-77页 |
| 3.8 本章小结 | 第77-78页 |
| 第四章 基于不变量的断言检测方法 | 第78-98页 |
| 4.1 引言 | 第78-79页 |
| 4.2 相关研究工作 | 第79-80页 |
| 4.2.1 自动提取 | 第79页 |
| 4.2.2 人工提取 | 第79-80页 |
| 4.2.3 小结 | 第80页 |
| 4.3 问题描述 | 第80页 |
| 4.4 不变量提取方法 | 第80-82页 |
| 4.5 基于渗透率的不变量筛选方法 | 第82-91页 |
| 4.5.1 等于关系的渗透率计算 | 第83页 |
| 4.5.2 范围关系的渗透率计算 | 第83-87页 |
| 4.5.3 渗透率特征 | 第87-91页 |
| 4.6 系统实现 | 第91-92页 |
| 4.7 验证实验 | 第92-96页 |
| 4.7.1 原始程序的错误注入结果 | 第93页 |
| 4.7.2 加固后的错误注入结果 | 第93-96页 |
| 4.7.3 与FaultScreening比较 | 第96页 |
| 4.7.4 小结 | 第96页 |
| 4.8 本章小结 | 第96-98页 |
| 第五章 基于指令复算的断言检测优化 | 第98-106页 |
| 5.1 问题描述 | 第98页 |
| 5.2 相关研究工作 | 第98-99页 |
| 5.3 指令复算部署方法 | 第99-101页 |
| 5.4 系统实现 | 第101页 |
| 5.5 验证实验 | 第101-104页 |
| 5.5.1 Radish与纯指令复算的注入结果 | 第102-104页 |
| 5.5.2 Raish_D的实验结果 | 第104页 |
| 5.5.3 小结 | 第104页 |
| 5.6 本章小结 | 第104-106页 |
| 第六章 总结与展望 | 第106-110页 |
| 6.1 主要研究工作 | 第106-107页 |
| 6.2 下一步的研究方向 | 第107-110页 |
| 致谢 | 第110-112页 |
| 参考文献 | 第112-122页 |
| 作者简介（包括论文和成果清单） | 第122-123页 |
