基于UML模型的测试用例生成方法研究与工具实现
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-6页 |
| 目录 | 第6-9页 |
| 第一章 绪论 | 第9-17页 |
| ·技术背景 | 第9-13页 |
| ·黑盒测试的优点与重要性 | 第9-10页 |
| ·软件测试的重点与难点:测试用例的选择 | 第10-11页 |
| ·可视化面向对象建模方法(UML) | 第11-12页 |
| ·软件测试与软件开发过程 | 第12-13页 |
| ·研究意义 | 第13页 |
| ·国内外研究现状 | 第13-14页 |
| ·本文的主要工作 | 第14-15页 |
| ·本文的组织与安排 | 第15-17页 |
| 第二章 基于模型的测试技术 | 第17-22页 |
| ·模型的定义 | 第17-18页 |
| ·测试中常用模型介绍 | 第18页 |
| ·基于模型测试的基本过程 | 第18-19页 |
| ·基于模型测试的优缺点及可能存在的问题 | 第19-20页 |
| ·UML模型在测试方面的优势 | 第20-21页 |
| ·本章小结 | 第21-22页 |
| 第三章 UML各模型的可测试性与测试策略分析 | 第22-31页 |
| ·UML简介 | 第22-24页 |
| ·UML的发展与内容 | 第22-23页 |
| ·UML与软件过程 | 第23-24页 |
| ·模型的可测试性定义 | 第24页 |
| ·UML各模型分析 | 第24-30页 |
| ·用例图分析 | 第24-26页 |
| ·状态图分析 | 第26-27页 |
| ·活动图分析 | 第27-29页 |
| ·交互图分析 | 第29页 |
| ·类图分析 | 第29-30页 |
| ·本章小结 | 第30-31页 |
| 第四章 基于活动图模型的测试用例生成方法 | 第31-54页 |
| ·UML活动图模型分析 | 第31-33页 |
| ·活动图适用范围分析 | 第31-32页 |
| ·活动图模型元素分析 | 第32-33页 |
| ·相关概念与技术 | 第33-35页 |
| ·测试用例 | 第33-34页 |
| ·测试大纲 | 第34页 |
| ·场景技术 | 第34-35页 |
| ·基于活动图模型生成测试用例的总体策略 | 第35-36页 |
| ·测试覆盖准则设计 | 第36-37页 |
| ·基于活动图模型生成测试用例的具体方法 | 第37-49页 |
| ·测试剖面定义 | 第37-38页 |
| ·活动图模型的结构化 | 第38-41页 |
| ·测试场景生成方法研究 | 第41-44页 |
| ·测试数据生成与组合 | 第44-49页 |
| ·基于活动图模型生成测试脚本的方法研究 | 第49-52页 |
| ·脚本技术 | 第50-51页 |
| ·生成方案 | 第51-52页 |
| ·本章小结 | 第52-54页 |
| 第五章 系统设计与实现 | 第54-75页 |
| ·系统结构与组织 | 第54-57页 |
| ·测试用例生成子系统的实现 | 第57-72页 |
| ·活动图模型的结构化 | 第57-61页 |
| ·测试剖面(test profile) | 第61-64页 |
| ·测试数据生成 | 第64-65页 |
| ·测试文档结构 | 第65-66页 |
| ·简单实例介绍 | 第66-72页 |
| ·基于活动图模型的测试脚本自动生成 | 第72-74页 |
| ·本章小结 | 第74-75页 |
| 第六章 总结与展望 | 第75-77页 |
| ·工作总结 | 第75-76页 |
| ·工作展望 | 第76-77页 |
| 附录 | 第77-84页 |
| 1 基于PETAL格式的测试剖面定义 | 第77-80页 |
| 2 活动图模型测试剖面的一个实例 | 第80-84页 |
| 参考文献 | 第84-86页 |
| 致谢 | 第86-87页 |
| 工程硕士学习期间发表的论文 | 第87页 |
