| 摘要 | 第1-7页 |
| ABSTRACT | 第7-13页 |
| 表目录 | 第13-14页 |
| 图目录 | 第14-15页 |
| 第1章 绪论 | 第15-23页 |
| ·研究背景 | 第15-16页 |
| ·研究现状及分析 | 第16-21页 |
| ·国内外研究现状 | 第16-18页 |
| ·国内外主要研究方法分析 | 第18-21页 |
| ·本文的主要工作与贡献 | 第21-22页 |
| ·本文的组织方式 | 第22-23页 |
| 第2章 基础知识 | 第23-33页 |
| ·故障(Error)、错误(Faults)与失败(Failures) | 第23页 |
| ·计算机策略（Computer Security Policy） | 第23-24页 |
| ·软件漏洞（Software Vulnerability） | 第24-26页 |
| ·基于访问控制的安全漏洞定义 | 第25页 |
| ·基于状态空间的安全漏洞定义 | 第25-26页 |
| ·模糊的安全漏洞定义 | 第26页 |
| ·软件故障注入测试 | 第26-28页 |
| ·EAI 模型 | 第28-31页 |
| ·术语(Terminology) | 第28-29页 |
| ·开发错误模型 | 第29页 |
| ·EAI 错误模型 | 第29-31页 |
| ·本章小结 | 第31-33页 |
| 第3章 用包裹函数实现软件故障注入测试 | 第33-47页 |
| ·引言 | 第33-36页 |
| ·研究现状 | 第33-35页 |
| ·本章的研究内容与贡献 | 第35-36页 |
| ·用包裹函数注入软件故障 | 第36-45页 |
| ·包裹函数 | 第36-37页 |
| ·间接环境故障和直接环境故障 | 第37-39页 |
| ·故障注入测试的实现 | 第39-45页 |
| ·测试实例及结果分析 | 第45-46页 |
| ·本章小结 | 第46-47页 |
| 第4章 广义 EAI 模型及其在漏洞测试中的应用 | 第47-67页 |
| ·引言 | 第47-51页 |
| ·研究现状 | 第47-50页 |
| ·本章的研究内容与贡献 | 第50-51页 |
| ·基于广义 EAI 模型的漏洞测试 | 第51-55页 |
| ·广义EAI 模型 | 第51-52页 |
| ·缺陷发现知识库 | 第52-53页 |
| ·测试用例的生成与优化 | 第53-55页 |
| ·测试执行虚拟机 | 第55页 |
| ·本节小结 | 第55页 |
| ·用 Xen 实现基于广义 EAI 模型的软件测试 | 第55-66页 |
| ·Xen 虚拟机 | 第55-58页 |
| ·系统设计 | 第58-62页 |
| ·系统的实现 | 第62-65页 |
| ·验证与分析 | 第65页 |
| ·总结 | 第65-66页 |
| ·本章小结 | 第66-67页 |
| 第5章 基于属性相关分析的测试集缩减方法研究 | 第67-81页 |
| ·引言 | 第67-70页 |
| ·研究现状 | 第67-69页 |
| ·本章的研究内容与贡献 | 第69-70页 |
| ·问题描述 | 第70-71页 |
| ·数据挖掘概念中分类方法简述 | 第71页 |
| ·基于属性相关分析的测试集缩减 | 第71-76页 |
| ·属性相关分析 | 第72-74页 |
| ·分类算法选择 | 第74-76页 |
| ·实例分析 | 第76-79页 |
| ·小结 | 第79-81页 |
| 第6章 用进程完整性实现漏洞检测 | 第81-95页 |
| ·引言 | 第81-83页 |
| ·研究现状 | 第81-83页 |
| ·本章的研究内容与贡献 | 第83页 |
| ·基于进程完整性检测的漏洞测试方法 | 第83-87页 |
| ·源码转换 | 第84-85页 |
| ·进程完整性度量的确定 | 第85-86页 |
| ·进程完整性度量的检测与判断-检测算法 | 第86-87页 |
| ·解决方案 | 第87页 |
| ·基于函数调用的缓冲区溢出检测的实现 | 第87-92页 |
| ·缓冲区溢出原理 | 第87-89页 |
| ·缓冲区溢出检测技术的实现 | 第89-92页 |
| ·实验结果及其分析 | 第92-94页 |
| ·正确性分析 | 第93页 |
| ·时间分析 | 第93-94页 |
| ·本章小结 | 第94-95页 |
| 第7章 总结与展望 | 第95-99页 |
| ·全文总结 | 第95-96页 |
| ·未来工作展望 | 第96-99页 |
| 参考文献 | 第99-105页 |
| 致谢 | 第105-106页 |
| 在读博期间发表的学术论文与取得的研究成果 | 第106-107页 |
