基于UML活动图模型的测试用例自动生成方法研究
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景 | 第7-8页 |
| ·软件测试定义 | 第7-8页 |
| ·软件测试分类 | 第8页 |
| ·国内外研究现状 | 第8-10页 |
| ·基于 UML 活动图生成测试用例的方法 | 第9页 |
| ·基于 UML 状态图生成测试用例的方法 | 第9页 |
| ·基于 UML 序列图和协作图生成测试用例的方法 | 第9-10页 |
| ·本文主要研究工作 | 第10页 |
| ·本文的组织结构 | 第10-13页 |
| 第二章 相关理论与技术 | 第13-23页 |
| ·基于模型的软件测试 | 第13-18页 |
| ·模型的概念 | 第13页 |
| ·典型的测试模型 | 第13-16页 |
| ·基于模型的软件测试过程 | 第16-17页 |
| ·基于模型的软件测试的优缺点 | 第17-18页 |
| ·UML 基础知识 | 第18-22页 |
| ·UML 简介 | 第18-19页 |
| ·UML 的构成 | 第19-21页 |
| ·UML 的语法和语义 | 第21页 |
| ·UML 模型在测试方面的优势 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 UML 活动图到 Petri 网的转换 | 第23-39页 |
| ·UML 活动图和相关概念 | 第23-26页 |
| ·UML 活动图可测试性分析 | 第23-24页 |
| ·UML 活动图的结点表示 | 第24-26页 |
| ·Petri 网的相关理论 | 第26-28页 |
| ·Petri 网概述 | 第26页 |
| ·Petri 网的定义 | 第26-27页 |
| ·Petri 网的图形表示方法 | 第27页 |
| ·Petri 网的几个重要性质 | 第27-28页 |
| ·UML 活动图到 Petri 网的转换方法 | 第28-38页 |
| ·UML 活动图到 Petri 网的转换规则 | 第29-32页 |
| ·UML 活动图到 Petri 网的转换算法 | 第32-34页 |
| ·UML 活动图到 Petri 网的转换实例 | 第34-38页 |
| ·本章小结 | 第38-39页 |
| 第四章 基于 UML 活动图测试用例的自动生成 | 第39-57页 |
| ·测试充分性准则 | 第39-43页 |
| ·测试充分性准则的相关概念 | 第39-41页 |
| ·UML 活动图的测试覆盖准则 | 第41-43页 |
| ·测试用例 | 第43-44页 |
| ·测试场景 | 第44页 |
| ·测试用例的生成方法 | 第44-54页 |
| ·UML 活动图到有向图的转换 | 第45-52页 |
| ·测试用例的生成算法 | 第52-54页 |
| ·测试用例的生成实例 | 第54页 |
| ·本章小结 | 第54-57页 |
| 第五章 测试用例自动生成工具设计 | 第57-63页 |
| ·Eclipse 插件介绍 | 第57-58页 |
| ·Eclipse 插件开发的优缺点 | 第57页 |
| ·Eclipse 插件描述文件 | 第57-58页 |
| ·测试用例自动生成工具 | 第58-61页 |
| ·本章小结 | 第61-63页 |
| 第六章 总结与展望 | 第63-65页 |
| ·工作总结 | 第63-64页 |
| ·工作展望 | 第64-65页 |
| 致谢 | 第65-67页 |
| 参考文献 | 第67-71页 |
| 作者在读期间的研究成果 | 第71-72页 |
