一种基于UML顺序图生成测试数据的方法
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-12页 |
| 第一章 绪论 | 第12-16页 |
| ·课题研究背景 | 第12-13页 |
| ·课题研究现状 | 第13-15页 |
| ·基于UML 的软件测试 | 第13-14页 |
| ·面向路径的测试数据生成 | 第14-15页 |
| ·论文主要工作及组织结构 | 第15-16页 |
| 第二章 顺序图测试数据生成方法研究 | 第16-25页 |
| ·UML 顺序图 | 第16-21页 |
| ·UML2.0 顺序图 | 第16-19页 |
| ·顺序图中的交互 | 第19-21页 |
| ·UML 类图及OCL | 第21-22页 |
| ·基于顺序图的测试数据生成过程 | 第22-24页 |
| ·对顺序图和类图的约定 | 第22-23页 |
| ·测试数据生成过程 | 第23-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 顺序图的控制流分析 | 第25-41页 |
| ·顺序图控制流分析的基础 | 第25-28页 |
| ·控制流分析的现状 | 第25页 |
| ·UML2.0 顺序图控制流的特点 | 第25-28页 |
| ·顺序图的控制流模型 | 第28-33页 |
| ·并发控制流图（CCFG） | 第28-30页 |
| ·UML 顺序图控制流图（SDCFG） | 第30-33页 |
| ·顺序图到SDCFG 图的转换规则 | 第33-38页 |
| ·实例分析 | 第38-40页 |
| ·本章小结 | 第40-41页 |
| 第四章 测试约束的生成 | 第41-58页 |
| ·UML 类图中OCL 约束的分析 | 第41-43页 |
| ·不变量约束 | 第41-42页 |
| ·前置、后置条件约束 | 第42-43页 |
| ·集成类图和顺序图信息的模型 | 第43-48页 |
| ·CIG 图 | 第44-45页 |
| ·CIG 图构建规则 | 第45-48页 |
| ·测试约束的生成 | 第48-52页 |
| ·生成CIG 路径 | 第48-49页 |
| ·生成测试约束 | 第49-51页 |
| ·规范化导航路径 | 第51-52页 |
| ·实例分析 | 第52-57页 |
| ·本章小结 | 第57-58页 |
| 第五章 测试约束的求解 | 第58-68页 |
| ·测试约束求解过程 | 第58-59页 |
| ·固定约束的求解 | 第59-61页 |
| ·可变约束的求解 | 第61-66页 |
| ·使用约束求解方法 | 第62-64页 |
| ·使用边界值分析 | 第64-66页 |
| ·固定约束解和可变约束解的组合 | 第66-67页 |
| ·本章小结 | 第67-68页 |
| 第六章 结束语 | 第68-70页 |
| ·论文总结 | 第68-69页 |
| ·进一步的工作 | 第69-70页 |
| 参考文献 | 第70-75页 |
| 致谢 | 第75-76页 |
| 在学期间的研究成果 | 第76-77页 |
| 附录 | 第77-81页 |
