嵌入式软件白盒测试中插桩技术的研究与应用
| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第1章 绪论 | 第9-15页 |
| ·课题的背景和意义 | 第9-11页 |
| ·课题的研究现状 | 第11-13页 |
| ·主要研究内容 | 第13页 |
| ·论文组织结构 | 第13-15页 |
| 第2章 白盒测试和插桩技术分析 | 第15-27页 |
| ·白盒测试概念 | 第15-16页 |
| ·白盒测试技术分析 | 第16-18页 |
| ·逻辑覆盖 | 第16-17页 |
| ·基本路径覆盖 | 第17-18页 |
| ·白盒测试评测方法和准则 | 第18-20页 |
| ·覆盖率分析 | 第18页 |
| ·覆盖测试准则 | 第18-20页 |
| ·插桩技术概述 | 第20页 |
| ·插桩技术分析与比较 | 第20-23页 |
| ·目标代码插桩技术与源代码插桩技术 | 第20-22页 |
| ·手工插桩技术和自动插桩技术 | 第22-23页 |
| ·虚拟插桩技术分析 | 第23页 |
| ·嵌入式测试软件CodeTest 插桩技术分析 | 第23-25页 |
| ·本章小结 | 第25-27页 |
| 第3章 嵌入式软件测试中插桩技术的研究 | 第27-43页 |
| ·嵌入式软件测试插桩技术研究 | 第27-28页 |
| ·插桩技术研究目的 | 第27页 |
| ·插桩技术研究路线 | 第27-28页 |
| ·嵌入式软件测试插桩技术问题分析 | 第28-31页 |
| ·问题产生的原因 | 第28页 |
| ·代码膨胀问题 | 第28-29页 |
| ·程序执行效率问题 | 第29页 |
| ·产生Heisenbugs | 第29-31页 |
| ·嵌入式软件测试插桩模型 | 第31-33页 |
| ·通用插桩模型 | 第31-32页 |
| ·嵌入式软件测试的源代码插桩模型 | 第32-33页 |
| ·探针的概念 | 第33-34页 |
| ·覆盖率算法 | 第34-40页 |
| ·语句覆盖算法 | 第34页 |
| ·分支覆盖率算法 | 第34-36页 |
| ·MC/DC 覆盖测试准则 | 第36-40页 |
| ·插桩技术问题解决方法 | 第40-42页 |
| ·本章小结 | 第42-43页 |
| 第4章 嵌入式软件测试插桩模型的设计 | 第43-59页 |
| ·平台的选择 | 第43-44页 |
| ·GCC 编译器剖析 | 第44-47页 |
| ·GCC 编译器的体系结构 | 第44-45页 |
| ·RTL | 第45-47页 |
| ·插桩模型中预处理的实现 | 第47-49页 |
| ·嵌入式软件测试中优化AST 技术 | 第49-52页 |
| ·GCC 的词法分析和语法分析 | 第49页 |
| ·GCC 的抽象语法树 | 第49-51页 |
| ·消除GCC 的抽象语法树冗余信息算法 | 第51-52页 |
| ·嵌入式软件测试中探针函数的设计 | 第52-53页 |
| ·插桩点记录文件 | 第52-53页 |
| ·探针函数 | 第53页 |
| ·嵌入式软件测试中插桩程序的设计 | 第53-57页 |
| ·插桩位置的选择 | 第54-55页 |
| ·插桩策略 | 第55-57页 |
| ·本章小结 | 第57-59页 |
| 第5章 实验评估 | 第59-65页 |
| ·实验环境的建立 | 第59-61页 |
| ·实验结果 | 第61-63页 |
| ·研究评估 | 第63页 |
| ·优点 | 第63页 |
| ·不足 | 第63页 |
| ·本章小节 | 第63-65页 |
| 结论 | 第65-67页 |
| 参考文献 | 第67-71页 |
| 攻读硕士学位期间发表的学术论文 | 第71-73页 |
| 致谢 | 第73页 |
