可信计算平台动态测试系统的设计与实现
| 表目录 | 第1-7页 |
| 图目录 | 第7-9页 |
| 摘要 | 第9-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第11-18页 |
| ·课题的研究背景 | 第11-12页 |
| ·课题的研究意义 | 第12-13页 |
| ·国内外研究现状 | 第13-16页 |
| ·动态测试研究现状 | 第13-15页 |
| ·可信计算评测相关研究现状 | 第15-16页 |
| ·课题的研究内容 | 第16-17页 |
| ·论文的结构安排 | 第17-18页 |
| 第二章 相关理论与技术 | 第18-27页 |
| ·可信计算平台特征 | 第18-24页 |
| ·TPM 关键技术 | 第18-20页 |
| ·TSS 关键技术 | 第20-24页 |
| ·动态测试技术 | 第24-27页 |
| ·传统动态测试方法 | 第24-25页 |
| ·Fuzz 测试方法 | 第25-26页 |
| ·符号化执行方法 | 第26-27页 |
| 第三章 可信计算平台测试关键技术 | 第27-48页 |
| ·概述 | 第27-28页 |
| ·测试用例自动生成方法 | 第28-37页 |
| ·测试用例描述方法 | 第28-33页 |
| ·测试用例初始生成 | 第33-35页 |
| ·动态污点传播输入依赖分析 | 第35-37页 |
| ·测试用例注入方法 | 第37-39页 |
| ·基于API 的数据注入方法 | 第38页 |
| ·基于Web 服务的数据注入方法 | 第38页 |
| ·环境变量注入方法 | 第38-39页 |
| ·测试结果的监测与反馈 | 第39-47页 |
| ·基于分支轨迹存储机制的动态代码跟踪 | 第39-42页 |
| ·动静结合二进制代码覆盖率评估 | 第42-43页 |
| ·错误和异常检测 | 第43-45页 |
| ·基于二分回溯查找的异常序列快速定界算法 | 第45-47页 |
| ·本章小结 | 第47-48页 |
| 第四章 测试系统的设计与实现 | 第48-55页 |
| ·原型系统设计原则 | 第48页 |
| ·原型系统框架 | 第48-49页 |
| ·测试用例生成和注入模块 | 第49-50页 |
| ·二进制代码监测引擎 | 第50-51页 |
| ·代码覆盖率和轨迹可视化模块 | 第51-54页 |
| ·小结 | 第54-55页 |
| 第五章 测试与分析 | 第55-64页 |
| ·测试对象 | 第55-57页 |
| ·Windows 系统下的可信计算平台 | 第55-56页 |
| ·Linux 系统下的可信计算平台 | 第56-57页 |
| ·其他测试对象 | 第57页 |
| ·测试内容 | 第57-61页 |
| ·测试结果 | 第61-64页 |
| ·可信平台测试结果分析 | 第61-62页 |
| ·代码覆盖率分析 | 第62页 |
| ·执行轨迹可视化测试 | 第62-64页 |
| 结束语 | 第64-66页 |
| 参考文献 | 第66-69页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第69-70页 |
| 致谢 | 第70页 |
