基于图形转换的UML模型验证与测试
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-17页 |
| ·选题背景和意义 | 第10-12页 |
| ·相关研究 | 第12-14页 |
| ·本文研究内容 | 第14-15页 |
| ·本章小结以及本文结构 | 第15-17页 |
| 第2章 UML验证与测试概述 | 第17-30页 |
| ·UML基础 | 第17-24页 |
| ·UML主要特点 | 第17-19页 |
| ·UML的语法和语义 | 第19-20页 |
| ·UML建模机制 | 第20-24页 |
| ·UML模型的一致性问题 | 第24-25页 |
| ·产生一致性问题的原因 | 第24-25页 |
| ·UML问题一致性分类 | 第25页 |
| ·UML的测试方法 | 第25-28页 |
| ·UML测试阶段与方法 | 第26-27页 |
| ·UML测试过程与Q问题 | 第27-28页 |
| ·本章小节 | 第28-30页 |
| 第3章 UML中间聚合模型的生成 | 第30-44页 |
| ·设计目标和总体设计 | 第30-31页 |
| ·设计目标 | 第30页 |
| ·总体设计 | 第30-31页 |
| ·UML静态结构一致性验证 | 第31-34页 |
| ·中间聚合模型的生成 | 第34-43页 |
| ·由顺序图构造有向图DG | 第35-41页 |
| ·扩展类结构ECS的生成 | 第41-42页 |
| ·中间聚合模型MAM的生成 | 第42-43页 |
| ·本章小节 | 第43-44页 |
| 第4章 中间聚合模型的测试 | 第44-57页 |
| ·测试路径的生成 | 第44-46页 |
| ·测试用例自动生成 | 第46-53页 |
| ·遗传算法的计算方法 | 第47-48页 |
| ·应用遗传算法自动生成测试用例 | 第48-50页 |
| ·适应度函数以及GA相关算子的确定 | 第50-53页 |
| ·测试的执行 | 第53-56页 |
| ·本章小节 | 第56-57页 |
| 第5章 模型测试工具UPT的设计与实现 | 第57-70页 |
| ·UPT的系统结构 | 第57-62页 |
| ·自动柜员机取款应用实例 | 第62-69页 |
| ·本章小节 | 第69-70页 |
| 第6章 总结和展望 | 第70-72页 |
| ·工作总结 | 第70-71页 |
| ·研究展望 | 第71-72页 |
| 参考文献 | 第72-75页 |
| 致谢 | 第75-76页 |
| 研究生履历 | 第76页 |
