| 第1章 通讯系统嵌入式平台 | 第1-12页 |
| ·概述 | 第8页 |
| ·通讯系统嵌入式平台的特点 | 第8-12页 |
| ·软硬件平台无关性 | 第9页 |
| ·高效的任务调度 | 第9-10页 |
| ·分布式计算 | 第10页 |
| ·高效的内存访问 | 第10页 |
| ·编程语言和设计方法的选择 | 第10-12页 |
| 第2章 单元测试 | 第12-16页 |
| ·概述 | 第12页 |
| ·面向过程软件单元 | 第12-14页 |
| ·面向过程软件单元的组成 | 第12-13页 |
| ·面向过程软件单元的界定方法 | 第13-14页 |
| ·单元测试方法 | 第14页 |
| ·软件单元测试的现状分析 | 第14-16页 |
| ·软件单元测试的现状 | 第14-15页 |
| ·软件单元测试目前需要解决的问题 | 第15-16页 |
| 第3章 通讯系统嵌入式平台下的单元测试设计 | 第16-37页 |
| ·单元测试架构 | 第16-17页 |
| ·被测单元的界定 | 第17-21页 |
| ·被测单元的提取 | 第21-24页 |
| ·软件模块单元提取的完整性检查 | 第23页 |
| ·定位代码变更所影响到的软件单元 | 第23-24页 |
| ·代码运行分支的自动覆盖 | 第24-33页 |
| ·传统的路径覆盖度测试方法 | 第24-25页 |
| ·影响路径覆盖度测试的因素 | 第25-26页 |
| ·代码运行分支自动覆盖方法概述 | 第26-27页 |
| ·数据型桩调用关系图的遍历 | 第27-29页 |
| ·数据型桩的输出和程序调用的时间及空间之间的关系 | 第29-30页 |
| ·数据型桩调用位置的定位 | 第30-32页 |
| ·实现被测单元程序运行分支自动覆盖的核心算法 | 第32-33页 |
| ·单元测试功能的验证 | 第33-34页 |
| ·静态数据访问越界检测 | 第34页 |
| ·堆栈数据访问越界检测 | 第34-36页 |
| ·程序死循环检测 | 第36-37页 |
| 第4章 AUTF自动化单元测试框架 | 第37-54页 |
| ·总体介绍 | 第37-39页 |
| ·单元测试的基本工作流程 | 第39-41页 |
| ·结合AUTF单元测试框架进行单元测试的基本工作流程(反向工程法) | 第39-40页 |
| ·结合AUTF单元测试框架进行单元测试的基本工作流程(正向工程法) | 第40-41页 |
| ·回归测试流程 | 第41页 |
| ·AUTF主要功能介绍 | 第41-45页 |
| ·生成单元所属软件模块相应的符号表信息 | 第41-42页 |
| ·符号表信息链接功能 | 第42页 |
| ·单元相交部分的检测功能 | 第42页 |
| ·函数归属单元检测功能 | 第42页 |
| ·软件模块单元完整性检查功能 | 第42页 |
| ·被测单元提取功能 | 第42页 |
| ·自动生成桩函数模板功能 | 第42-43页 |
| ·静态数据越界访问检测功能 | 第43页 |
| ·栈数据越界访问检测功能 | 第43页 |
| ·其他类型数据越界访问检测功能 | 第43-44页 |
| ·程序死循环检测功能 | 第44页 |
| ·路径覆盖度检测功能 | 第44-45页 |
| ·代码执行效率检测功能 | 第45页 |
| ·单元测试配置管理功能 | 第45页 |
| ·一个测试实例 | 第45-54页 |
| ·测试目标 | 第45页 |
| ·被测程序 | 第45-46页 |
| ·提取后的被测单元源程序 | 第46-48页 |
| ·桩函数设计 | 第48-50页 |
| ·测试驱动 | 第50-51页 |
| ·验证输出结果 | 第51-52页 |
| ·测试完整性检测 | 第52-54页 |
| 第5章 AUTF自主研制部分和现有测试工具的比较 | 第54-62页 |
| ·与Rational Purify的比较 | 第54-57页 |
| ·静态数据区访问越界检测 | 第54-55页 |
| ·堆栈数据区访问越界检测 | 第55-56页 |
| ·程序死循环检测 | 第56-57页 |
| ·和Bounds Cheeker的比较 | 第57-60页 |
| ·和Cunit单元测试框架的比较 | 第60-62页 |
| 第6章 结论 | 第62-63页 |
| 参考文献 | 第63-65页 |
| 致谢 | 第65-66页 |
| 附录A 研究生在读期间参与的主要项目 | 第66页 |