| 摘要 | 第6-8页 |
| ABSTRACT | 第8-9页 |
| 目录 | 第10-12页 |
| 第一章 绪论 | 第12-26页 |
| 1.1 研究背景及意义 | 第12-22页 |
| 1.1.1 软件可靠性问题 | 第12-14页 |
| 1.1.2 软件测试的发展与研究现状 | 第14-20页 |
| 1.1.3 课题的研究原因 | 第20-22页 |
| 1.2 本论文的主要研究内容 | 第22-24页 |
| 1.3 文章组织结构 | 第24-26页 |
| 第二章 面向路径的测试数据自动生成 | 第26-38页 |
| 2.1 面向路径测试数据自动生成发展历程 | 第26-30页 |
| 2.1.1 静态测试数据自动生成方法 | 第26-28页 |
| 2.1.2 动态测试数据自动生成方法 | 第28-29页 |
| 2.1.3 动静结合的测试数据自动生成方法 | 第29-30页 |
| 2.2 面向路径测试数据自动生成的研究难点 | 第30-38页 |
| 2.2.1 指针和复杂结构体问题 | 第31-33页 |
| 2.2.2 字符串问题 | 第33-35页 |
| 2.2.3 数组下标问题 | 第35-38页 |
| 第三章 抽象内存模型 | 第38-53页 |
| 3.1 复杂结构体抽象内存模型 | 第39-43页 |
| 3.1.1 结构变量抽象内存表STMTable | 第40-41页 |
| 3.1.2 元变量抽象内存表PMTable | 第41-42页 |
| 3.1.3 结构变量和元变量抽象内存表中变量的寻址 | 第42-43页 |
| 3.2 字符串抽象内存模型 | 第43-50页 |
| 3.2.1 字符串抽象内存表SRMTable | 第43-45页 |
| 3.2.2 基于SRMTable的字符指针操作 | 第45-46页 |
| 3.2.3 基于SRMTable的字符串库函数操作 | 第46-50页 |
| 3.3 数组抽象内存模型 | 第50-51页 |
| 3.4 本章小结 | 第51-53页 |
| 第四章 基于内存建模的复杂结构体测试数据自动生成算法 | 第53-65页 |
| 4.1 结构变量和数值变量赋值语句语义模拟 | 第53-54页 |
| 4.2 结构变量和数值变量判断语句语义模拟 | 第54-56页 |
| 4.3 复杂结构体测试数据自动生成算法 | 第56-58页 |
| 4.4 实例分析 | 第58-64页 |
| 4.5 本章小结 | 第64-65页 |
| 第五章 基于内存建模的字符串和数组测试数据自动生成算法 | 第65-84页 |
| 5.1 基于SRMTABLE的字符串测试数据自动生成算法 | 第65-75页 |
| 5.1.1 字符串赋值语句语义模拟 | 第65-67页 |
| 5.1.2 字符串判断语句语义模拟 | 第67-68页 |
| 5.1.3 基于SRMTable的符号执行算法 | 第68-69页 |
| 5.1.4 字符串测试数据自动生成算法 | 第69-70页 |
| 5.1.5 实例分析 | 第70-75页 |
| 5.2 基于ARMTABLE的数组测试数据自动生成算法 | 第75-83页 |
| 5.2.1 基于ARMTable的符号执行算法 | 第75-76页 |
| 5.2.2 数组测试数据自动生成算法 | 第76-78页 |
| 5.2.3 实例分析 | 第78-83页 |
| 5.3 本章小结 | 第83-84页 |
| 第六章 实验 | 第84-97页 |
| 6.1 C语言自动化单元测试系统UATS | 第84-87页 |
| 6.1.1 单元测试的重要性 | 第84-85页 |
| 6.1.2 UATS概述 | 第85-87页 |
| 6.2 实验一：复杂结构体测试数据生成实验 | 第87-90页 |
| 6.3 实验二：字符串测试数据生成实验 | 第90-93页 |
| 6.4 实验三：数组测试数据生成实验 | 第93-95页 |
| 6.5 本章小结 | 第95-97页 |
| 第七章 总结与展望 | 第97-100页 |
| 7.1 总结 | 第97-99页 |
| 7.2 进一步的研究工作 | 第99-100页 |
| 参考文献 | 第100-110页 |
| 致谢 | 第110-111页 |
| 攻读博士学位期间发表的论文列表 | 第111页 |
