| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 目录 | 第9-13页 |
| 第一章 绪论 | 第13-23页 |
| ·研究背景 | 第13-17页 |
| ·软件测试与软件正确性 | 第13-14页 |
| ·软件测试技术简介 | 第14-15页 |
| ·软件测试准则 | 第15-17页 |
| ·面向路径的测试数据自动生成问题 | 第17-20页 |
| ·面向路径的测试用例生成 | 第17页 |
| ·面向路径的测试用例自动生成方法 | 第17-20页 |
| ·本文的研究工作 | 第20-22页 |
| ·论文结构安排 | 第22-23页 |
| 第二章 基于动态方法的面向路径的测试数据自动生成方法 | 第23-33页 |
| ·程序的控制流图 | 第23-24页 |
| ·路径约束与分支函数 | 第24-26页 |
| ·z路径覆盖 | 第26-27页 |
| ·程序插桩 | 第27-29页 |
| ·Eclipse平台插件CDT | 第29-30页 |
| ·现有面向路径的测试数据自动生成动态方法 | 第30-32页 |
| ·小结 | 第32-33页 |
| 第三章 分量线性拟合函数驱动的简单条件路径测试数据生成技术 | 第33-51页 |
| ·分量线性拟合函数 | 第33-35页 |
| ·分量线性拟合函数的建立与更新 | 第35-37页 |
| ·分量线性拟合函数的使用 | 第37-41页 |
| ·分支函数的变量相关性判断 | 第41-43页 |
| ·防止陷入局部最优点 | 第43-46页 |
| ·实例 | 第46-49页 |
| ·数组的处理 | 第49-50页 |
| ·小结 | 第50-51页 |
| 第四章 分量线性拟合函数驱动的复合条件路径测试数据生成技术 | 第51-59页 |
| ·C程序中的逻辑运算短路机制 | 第51-54页 |
| ·为复合条件表达式选择分支函数 | 第54-55页 |
| ·实例 | 第55-57页 |
| ·小结 | 第57-59页 |
| 第五章 原型工具与实例研究 | 第59-67页 |
| ·工具结构与功能 | 第59-60页 |
| ·工具运行 | 第60-62页 |
| ·工具实现特性介绍 | 第62-63页 |
| ·实例研究 | 第63-67页 |
| 第六章 总结与展望 | 第67-69页 |
| ·总结 | 第67-68页 |
| ·下一步工作 | 第68-69页 |
| 参考文献 | 第69-73页 |
| 攻读硕士学位期间完成的学术成果 | 第73页 |
| 攻读硕士学位期间参与的科研课题 | 第73-75页 |
| 致谢 | 第75-76页 |
