基于UML序列图模型的软件测试研究

摘要

软件测试是软件开发过程中重要的组成部分，是保证软件质量的有效手段。本文主要研究了基于UML序列图模型的软件测试方法和工具实现。
　　鉴于UML模型是一种半形式化的建模，本文首先给出了一种将UML序列图模型转换为LTS模型的规则和方法，利用LTS的分析工具找出模型中的错误和缺陷，以此来检查UML序列图模型的正确性。在生成测试用例的过程中，本文研究了一种通过LTS生成测试用例的规则和算法。之后本文给出了基于UML序列图测试自动化的实现，可以通过生成的测试用例自动生成测试脚本来驱动待测系统运行，然后对执行结果进行比较生成测试结果。
　　最后，本文设计实现了一款基于UML序列图模型的软件测试工具，验证了基于UML序列图模型软件测试自动化方法的可行性。

目录

封面

声明

中文摘要

英文摘要

目录

第一章 绪论

1.1 研究背景

1.2 研究现状

1.3 本文主要研究工作

1.4 本文的组织结构

第二章 相关理论与技术

2.1 基于模型的软件测试

2.2 UML 基础知识

2.3 本章小结

第三章 UML 序列图到 LTS 的转换

3.1 UML 序列图概述

3.2 LTS 的相关理论

3.3 UML 序列图到 LTS 的转换方法

3.4 本章小结

第四章 基于 UML 序列图生成测试用例

4.1 测试充分性准则

4.2 测试场景介绍

4.3 测试用例介绍

4.4 测试用例的生成方法

4.5 本章小结

第五章 基于 UML 序列图测试的自动化

5.1 软件测试的自动化概述

5.2 软件测试的自动化的优点

5.3 软件测试自动化的流程

5.4 软件测试自动化的实现

第六章 基于 UML 序列图的测试工具设计

6.1 Eclipse 插件介绍

6.2 测试工具的实现

6.3 本章小结

第七章 总结与展望

7.1 工作总结

7.2 工作展望

致谢

参考文献