| 摘要 | 第1-7页 |
| Abstract | 第7-15页 |
| 第1章 绪言 | 第15-19页 |
| ·选题背景及意义 | 第15-16页 |
| ·论文研究内容 | 第16-17页 |
| ·本文结构 | 第17-19页 |
| 第2章 相关技术及研究现状 | 第19-31页 |
| ·软件测试技术相关概念 | 第19-23页 |
| ·软件质量保证与软件测试 | 第19-20页 |
| ·软件测试技术分类 | 第20-22页 |
| ·软件测试阶段 | 第22-23页 |
| ·软件测试技术研究现状 | 第23-30页 |
| ·基于结构的测试用例生成技术 | 第23-27页 |
| ·基于功能的测试用例生成技术 | 第27-28页 |
| ·面向对象的测试及测试用例生成 | 第28-30页 |
| ·小结 | 第30-31页 |
| 第3章 基于EDPN 模型的测试用例自动生成 | 第31-51页 |
| ·面向对象软件测试 | 第31-40页 |
| ·面向对象软件的特点及其对软件测试的影响 | 第31-33页 |
| ·面向对象软件测试的层次划分及测试方法 | 第33-37页 |
| ·UML 图与面向对象软件测试 | 第37-40页 |
| ·事件驱动的PETRI 网测试模型 | 第40-45页 |
| ·EDPN 模型描述 | 第40-43页 |
| ·基于EDPN 模型的类测试 | 第43-44页 |
| ·基于EDPN 模型的测试流程 | 第44-45页 |
| ·基于EDPN 模型的类的状态测试用例自动生成算法 | 第45-50页 |
| ·UML 状态图到EDPN 图的转换 | 第45-46页 |
| ·测试用例自动生成算法 | 第46-48页 |
| ·算法分析 | 第48-50页 |
| ·小结 | 第50-51页 |
| 第4章 基于扩展EDPN 模型的测试用例自动生成 | 第51-74页 |
| ·基于带权EDPN 模型的测试方法 | 第51-56页 |
| ·面向对象系统的结构分析 | 第51-52页 |
| ·面向对象系统的带权EDPN 模型描述 | 第52-53页 |
| ·基于带权EDPN 的迭代分割算法 | 第53-56页 |
| ·基于组合EDPN 模型的类交互测试用例自动生成算法 | 第56-66页 |
| ·类交互测试中的组合问题 | 第56-58页 |
| ·基于正交阵列测试系统的测试数据 | 第58-60页 |
| ·用组合EDPN 模型优化正交阵列测试系统 | 第60-65页 |
| ·算法分析 | 第65-66页 |
| ·基于EMDPN 模型的类层次测试用例自动生成算法 | 第66-73页 |
| ·基于EMDPN 的交互图（EMDPNIG）模型 | 第66-68页 |
| ·基于EMDPN 模型的继承测试 | 第68-72页 |
| ·算法分析 | 第72-73页 |
| ·小结 | 第73-74页 |
| 第5章 基于程序执行和回溯策略的路径分析与测试 | 第74-83页 |
| ·基于程序执行的路径分析 | 第74-79页 |
| ·分支函数与谓词切片 | 第74-77页 |
| ·控制节点与控制路径 | 第77-78页 |
| ·倒置二叉树 | 第78-79页 |
| ·基于回溯策略的测试数据自动生成算法 | 第79-81页 |
| ·基于倒置二叉树的测试数据自动生成算法 | 第79-80页 |
| ·“定义相关控制节点集”求解算法 | 第80-81页 |
| ·算法分析 | 第81-82页 |
| ·小结 | 第82-83页 |
| 第6章 基于选择性冗余的测试数据生成 | 第83-96页 |
| ·测试集简约与选择性冗余 | 第83-84页 |
| ·基于选择性冗余的测试数据自动生成算法 | 第84-90页 |
| ·初始测试数据集的生成算法 | 第84-87页 |
| ·测试数据的增补算法 | 第87-90页 |
| ·算法分析与实验 | 第90-95页 |
| ·小结 | 第95-96页 |
| 第7章 基于成对测试的测试数据自动生成 | 第96-107页 |
| ·成对测试原理 | 第96-97页 |
| ·现有成对测试方法分析 | 第97-100页 |
| ·基于递归方法的成对测试数据生成策略 | 第97-98页 |
| ·基于简约方法的成对测试数据生成策略 | 第98-100页 |
| ·基于匹配组合的成对测试数据自动生成算法 | 第100-103页 |
| ·算法分析与实验 | 第103-106页 |
| ·小结 | 第106-107页 |
| 结论 | 第107-109页 |
| 参考文献 | 第109-119页 |
| 致谢 | 第119-120页 |
| 附录A 攻读学位期间发表论文目录 | 第120-121页 |
| 附录B 攻读学位期间主持与参与的项目 | 第121页 |
