| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-16页 |
| ·研究背景 | 第11页 |
| ·国内外研究状况 | 第11-13页 |
| ·UML软件工程建模的国内外研究状况 | 第11页 |
| ·软件测试工具的国内外研究状况 | 第11-13页 |
| ·研究意义 | 第13-14页 |
| ·研究目的 | 第14-15页 |
| ·论文的创新点 | 第15页 |
| ·课题的研究内容以及组织结构 | 第15-16页 |
| 第二章 UML在软件工程中的建模一致性问题研究 | 第16-26页 |
| ·研究目标 | 第16页 |
| ·UML语言特性概述 | 第16-17页 |
| ·静态建模 | 第16-17页 |
| ·动态建模 | 第17页 |
| ·一致性问题 | 第17页 |
| ·UML一致性检测方法研究 | 第17-25页 |
| ·基本绘图规范 | 第18-20页 |
| ·形式化模型的方案 | 第20-21页 |
| ·OCL语言的使用 | 第21页 |
| ·XML的储存方案 | 第21-22页 |
| ·模型间一致性检测算法设计 | 第22-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 基于UML的软件自动化测试工具分析,设计与实现 | 第26-55页 |
| ·研究目标 | 第26页 |
| ·自动化测试工具系统需求分析 | 第26-27页 |
| ·系统功能需求分析 | 第26-27页 |
| ·开发环境需求分析 | 第27页 |
| ·UML模型在测试阶段的应用探讨 | 第27-29页 |
| ·使用UML建模技术的原因 | 第27-28页 |
| ·已具备的相关研究成果 | 第28-29页 |
| ·基于UML的软件自动化测试工具架构及功能分析 | 第29-36页 |
| ·Eclipse插件架构 | 第29-30页 |
| ·自动化测试工具系统架构设计 | 第30页 |
| ·系统的功能流程以及相关类 | 第30-32页 |
| ·图形化界面功能设计 | 第32-36页 |
| ·基于UML的软件自动化测试工具系统设计 | 第36-48页 |
| ·可视化编辑页面——UI界面的详细设计 | 第36-41页 |
| ·模板储存器的原理与设计 | 第41-42页 |
| ·后台控制器的详细架构设计 | 第42-48页 |
| ·基于UML的软件自动化测试工具功能模块的实现 | 第48-54页 |
| ·可视化编辑页面的实现 | 第48-51页 |
| ·模板储存器的实现 | 第51页 |
| ·后台控制器的实现 | 第51-54页 |
| ·本章小结 | 第54-55页 |
| 第四章 一致性检测方法和自动化测试工具的使用与评估 | 第55-73页 |
| ·研究目标 | 第55-61页 |
| ·自动化测试工具的使用与有效性评估 | 第61-71页 |
| ·源码项目结构 | 第61页 |
| ·插件的运行和发布 | 第61-62页 |
| ·插件的应用研究 | 第62-65页 |
| ·系统的测试分析 | 第65-66页 |
| ·插件的有效性验证 | 第66-71页 |
| ·用户体验分析 | 第71页 |
| ·本章小结 | 第71-73页 |
| 第五章 结束语 | 第73-75页 |
| ·总结 | 第73-74页 |
| ·展望 | 第74-75页 |
| 参考文献 | 第75-76页 |
| 致谢 | 第76页 |