| 第一章 引言 | 第1-15页 |
| ·课题背景 | 第9-10页 |
| ·研究的内容及意义 | 第10页 |
| ·论文的章节安排 | 第10-11页 |
| ·软件测试综述 | 第11-15页 |
| 第二章 嵌入式系统与面向嵌入式系统的软件测试 | 第15-22页 |
| ·嵌入式系统概述 | 第15-17页 |
| ·嵌入式系统的概念及特点 | 第15-16页 |
| ·边界扫描测试技术JTAG | 第16页 |
| ·嵌入式系统的软件 | 第16-17页 |
| ·嵌入式系统的软件测试 | 第17-21页 |
| ·测试的方法与技术 | 第17-18页 |
| ·测试的过程 | 第18-20页 |
| ·测试环境的选择 | 第20-21页 |
| ·小结 | 第21-22页 |
| 第三章 嵌入式系统的软件测试平台设计的研究 | 第22-44页 |
| ·系统的框架及处理流程 | 第22-23页 |
| ·预处理 | 第23-27页 |
| ·短跳转 | 第24页 |
| ·宏调用 | 第24页 |
| ·预处理的数据结构定义及处理流程图 | 第24-27页 |
| ·词法分析、语法分析 | 第27-29页 |
| ·程序插桩 | 第29-32页 |
| ·插桩选择记录文件 | 第29-30页 |
| ·插桩后的文件 | 第30页 |
| ·插桩位置 | 第30页 |
| ·探针函数的设计 | 第30-31页 |
| ·插桩策略 | 第31页 |
| ·动态测试结果 | 第31-32页 |
| ·测试用例模块的概要设计 | 第32-42页 |
| ·测试用例的使用过程及处理流程 | 第33页 |
| ·测试用例脚本语言选择和C 语言接口 | 第33-38页 |
| ·测试用例与测试平台和被测代码的交互设计说明 | 第38-41页 |
| ·功能测试用例的设计方法 | 第41页 |
| ·性能测试用例的设计方法 | 第41-42页 |
| ·软件仿真工具的确定 | 第42-43页 |
| ·小结 | 第43-44页 |
| 第四章 软件仿真模拟器Cereal 的分析与改进 | 第44-63页 |
| ·对Cereal 的测评 | 第44-47页 |
| ·存储区访问方式及访问函数的分析 | 第47-48页 |
| ·Cereal 的命令行工具 | 第48页 |
| ·对Cereal 存储区的访问及修改 | 第48-51页 |
| ·断点机制及其数据结构 | 第51-54页 |
| ·Cereal 中的指令仿真与hex 格式程序的运行 | 第54-58页 |
| ·Cereal_text 环境下的自定义命令实现及TCL 环境移植 | 第58-62页 |
| ·小结 | 第62-63页 |
| 第五章 覆盖测试中分支路径数的计算 | 第63-76页 |
| ·覆盖测试的分类 | 第63-64页 |
| ·基本块理论在计算分支路径中的应用 | 第64-74页 |
| ·程序流图与程序复杂性度量 | 第74-75页 |
| ·算法复杂度分析 | 第75页 |
| ·小结 | 第75-76页 |
| 第六章 8051 汇编语言测试系统的原型实现 | 第76-86页 |
| ·Lex 与Yacc 结合实现词法、语法分析 | 第76-81页 |
| ·程序插桩与覆盖测试 | 第81-83页 |
| ·实验结果 | 第83-85页 |
| ·小结 | 第85-86页 |
| 第七章 研究工作总结与展望 | 第86-88页 |
| ·工作总结 | 第86页 |
| ·进一步的研究 | 第86-88页 |
| 致谢 | 第88-89页 |
| 参考文献 | 第89-90页 |
| 附录1 | 第90-93页 |
| 附录2 | 第93-96页 |
| 附录3 | 第96-101页 |
| 附录4 | 第101-105页 |
| 附录5 | 第105-108页 |
| 个人简历、在学期间的研究成果及发表的学术论文 | 第108页 |
| 1. 科研项目情况 | 第108页 |
| 2. 论文发表情况 | 第108页 |
| 3. 个人简历 | 第108页 |