基于UML序列图模型的软件测试研究
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景 | 第7-8页 |
| ·软件测试概述 | 第7-8页 |
| ·软件测试分类 | 第8页 |
| ·研究现状 | 第8-10页 |
| ·基于 UML 活动图生成测试用例的方法 | 第8-9页 |
| ·基于 UML 状态图生成测试用例的方法 | 第9页 |
| ·基于 UML 序列图生成测试用例的方法 | 第9-10页 |
| ·本文主要研究工作 | 第10页 |
| ·本文的组织结构 | 第10-13页 |
| 第二章 相关理论与技术 | 第13-21页 |
| ·基于模型的软件测试 | 第13-17页 |
| ·基于模型的软件测试概述 | 第13页 |
| ·测试模型分类 | 第13-14页 |
| ·基于模型的软件测试流程 | 第14-16页 |
| ·选择合适的测试模型 | 第16-17页 |
| ·基于模型的软件测试的优缺点 | 第17页 |
| ·UML 基础知识 | 第17-20页 |
| ·UML 概述 | 第17-18页 |
| ·UML 模型的特点和应用范围 | 第18-20页 |
| ·选用 UML 模型做测试模型的优点 | 第20页 |
| ·本章小结 | 第20-21页 |
| 第三章 UML 序列图到 LTS 的转换 | 第21-35页 |
| ·UML 序列图概述 | 第21-23页 |
| ·UML 序列图定义 | 第21-22页 |
| ·UML 序列图图形表示 | 第22-23页 |
| ·UML 序列图可测试性分析 | 第23页 |
| ·LTS 的相关理论 | 第23-24页 |
| ·LTS 概述 | 第23页 |
| ·LTS 的图形表示 | 第23-24页 |
| ·UML 序列图到 LTS 的转换方法 | 第24-33页 |
| ·UML 序列图到 LTS 的转换规则 | 第24-26页 |
| ·UML 序列图到 LTS 的转换算法 | 第26-30页 |
| ·UML 序列图到 LTS 的转换实例 | 第30-33页 |
| ·本章小结 | 第33-35页 |
| 第四章 基于 UML 序列图生成测试用例 | 第35-47页 |
| ·测试充分性准则 | 第35-36页 |
| ·测试充分性准则的相关概念 | 第35-36页 |
| ·UML 序列图的测试覆盖准则 | 第36页 |
| ·测试场景介绍 | 第36-37页 |
| ·测试用例介绍 | 第37-38页 |
| ·测试用例的生成方法 | 第38-46页 |
| ·测试用例的生成规则 | 第38-42页 |
| ·测试用例的生成算法 | 第42-44页 |
| ·测试用例的生成实例 | 第44-46页 |
| ·本章小结 | 第46-47页 |
| 第五章 基于 UML 序列图测试的自动化 | 第47-53页 |
| ·软件测试的自动化概述 | 第47页 |
| ·软件测试的自动化的优点 | 第47页 |
| ·软件测试自动化的流程 | 第47-48页 |
| ·软件测试自动化的实现 | 第48-51页 |
| ·软件测试自动化的实现过程 | 第48-50页 |
| ·软件测试自动化的实例 | 第50-51页 |
| ·本章小结 | 第51-53页 |
| 第六章 基于 UML 序列图的测试工具设计 | 第53-61页 |
| ·Eclipse 插件介绍 | 第53-55页 |
| ·Eclipse 平台的基本框架 | 第53-54页 |
| ·Eclipse 插件开发的优缺点 | 第54-55页 |
| ·实现 Eclipse 插件步骤 | 第55页 |
| ·测试工具的实现 | 第55-58页 |
| ·本章小结 | 第58-61页 |
| 第七章 总结与展望 | 第61-63页 |
| ·工作总结 | 第61-62页 |
| ·工作展望 | 第62-63页 |
| 致谢 | 第63-65页 |
| 参考文献 | 第65-68页 |
