虚拟化平台支持的目标码验证技术研究
| 摘要 | 第1-4页 |
| Abstract | 第4-11页 |
| 第1章 绪论 | 第11-21页 |
| ·引言 | 第11-12页 |
| ·软件可靠性概述 | 第12-13页 |
| ·软件可靠性的概念 | 第12页 |
| ·软件可靠性的作用 | 第12-13页 |
| ·保证可靠性的方法 | 第13页 |
| ·软件验证概述 | 第13-16页 |
| ·软件验证的概念 | 第13-14页 |
| ·软件验证的目的 | 第14-15页 |
| ·软件验证的一般方法 | 第15-16页 |
| ·国内外发展现状 | 第16-17页 |
| ·当前软件验证存在的问题 | 第17-18页 |
| ·论文研究背景和内容 | 第18-21页 |
| 第2章 软件验证相关技术综述 | 第21-36页 |
| ·软件验证技术标准和工具 | 第21-24页 |
| ·IEEE Std1012-2004标准 | 第21-22页 |
| ·DO-178B标准 | 第22-24页 |
| ·LDRA及其工具套件 | 第24页 |
| ·目标码验证技术 | 第24-28页 |
| ·目标码验证 | 第24-25页 |
| ·目标码验证范围 | 第25-26页 |
| ·目标码验证常用方法 | 第26-28页 |
| ·虚拟化平台概述 | 第28-30页 |
| ·虚拟化和虚拟化平台 | 第29页 |
| ·虚拟化平台对目标码验证技术的支持 | 第29-30页 |
| ·Bochs概述 | 第30-35页 |
| ·Bochs简介 | 第31页 |
| ·Bochs总体结构 | 第31-32页 |
| ·CPU模型 | 第32-34页 |
| ·调试器模型 | 第34-35页 |
| ·本章小结 | 第35-36页 |
| 第3章 BSVVT验证工具总体设计 | 第36-46页 |
| ·BSVVT总体框架设计 | 第36-37页 |
| ·目标码覆盖 | 第37-38页 |
| ·目标码分支图 | 第38-42页 |
| ·分支节点和分支图 | 第38-39页 |
| ·未记录分支 | 第39-40页 |
| ·多跳转 | 第40-41页 |
| ·分支覆盖 | 第41-42页 |
| ·分支反转与提示 | 第42-44页 |
| ·分支反转 | 第42页 |
| ·分支提示 | 第42-43页 |
| ·分支条件修改 | 第43-44页 |
| ·故障注入和轨迹导出 | 第44-45页 |
| ·交互接口 | 第45页 |
| ·本章小结 | 第45-46页 |
| 第4章 BSVVT工具实现 | 第46-60页 |
| ·目标码覆盖部分 | 第46-47页 |
| ·相关结构 | 第46-47页 |
| ·多区域监控 | 第47页 |
| ·分支图生成部分 | 第47-49页 |
| ·相关结构 | 第48页 |
| ·指令监控与新分支添加 | 第48-49页 |
| ·分支反转与提示部分 | 第49-54页 |
| ·相关结构 | 第51-52页 |
| ·分支反转改造 | 第52-53页 |
| ·比较内容的保存 | 第53-54页 |
| ·故障注入和轨迹导出部分 | 第54-57页 |
| ·相关结构 | 第55-56页 |
| ·条件表达式计算器 | 第56页 |
| ·故障注入实现 | 第56-57页 |
| ·轨迹导出实现 | 第57页 |
| ·新增指令介绍 | 第57-59页 |
| ·本章小结 | 第59-60页 |
| 第5章 实验结果和分析 | 第60-73页 |
| ·平台介绍 | 第60-61页 |
| ·操作流程 | 第61-62页 |
| ·交互模式 | 第61-62页 |
| ·自动模式 | 第62页 |
| ·实验结果 | 第62-67页 |
| ·目标码覆盖 | 第62-63页 |
| ·目标码分支图生成 | 第63-64页 |
| ·分支反转 | 第64-65页 |
| ·故障注入和轨迹导出 | 第65-67页 |
| ·性能分析 | 第67-72页 |
| ·目标码覆盖性能 | 第67-68页 |
| ·分支图和分支反转性能 | 第68-69页 |
| ·故障注入性能 | 第69-70页 |
| ·轨迹导出性能 | 第70-71页 |
| ·总结 | 第71-72页 |
| ·本章小结 | 第72-73页 |
| 第6章 总结和展望 | 第73-75页 |
| ·总结 | 第73页 |
| ·未来展望 | 第73-75页 |
| 参考文献 | 第75-78页 |
| 致谢 | 第78-79页 |
| 作者简介 | 第79页 |
