一种面向对象系统功能的测试用例生成方法研究

摘要

软件测试对软件质量的保证具有非常重要的意义,随着面向对象分析与设计在软件开发中的大规模应用,面向对象软件测试也成为不可忽视的研究领域。传统的测试技术已经不能保证面向对象软件的正确性,但新近研究出的面向对象测试技术大多针对类测试,类簇级测试特别是系统测试方面的研究尚显薄弱。功能测试在面向对象系统测试中占有相当重要的地位,能否扎实顺利地完成功能测试与能否成功地完成系统测试关系极大,而系统测试是系统投入运行前进行的最后一项也是最重要的一项测试,它直接决定了系统能否达到用户的需求,因此面向对象系统功能测试的研究急待深入。
　　 本文以面向对象系统测试中的功能测试为研究重点,阐述了面向对象测试的三个层次、UML以及对象约束语言OCL,讨论了面向对象系统功能测试的若干方法。在上述基础之上,本文围绕面向对象系统测试中的功能测试,给出了面向对象系统功能测试用例的生成方法。
　　 本文的主要工作包括以下四个部分:
　　 (1)给出用案序列的生成方法。针对系统每个用户建立UML用例图,研究了用案序列的生成过程,给出了用案序列的生成算法,并对算法进行了性能分析。详细给出了参数化的用案序列实例化的方法。
　　 (2)针对每个需求用案给出其操作序列的生成方法。将每个需求用案划分为若干个场景,用规则表达式描述场景,合并场景的规则表达式得到需求用案的规则表达式,通过展开成积项和处理循环得到需求用案的操作序列,利用OCL描述操作序列的前置条件。
　　 (3)系统测试用例及测试预测结果生成方法研究。组合用案序列中各需求用案的操作序列得到变量序列,变量序列指导系统测试用例的生成。利用OCL描述操作序列的后置条件,并以此作为生成系统测试用例测试预测结果的基础。生成决定表。
　　 (4)以基金交易系统为例详细说明与验证了本文提出的面向对象系统功能测试用例生成的方法。

目录

文摘

英文文摘

第一章 绪论

1.1 研究背景及意义

1.2 研究现状

1.3 存在的问题和本文的主要工作

1.4 论文的组织安排

第二章 研究基础

2.1 面向对象系统功能测试与方法

2.1.1 场景法

2.1.2 基于UML活动图的测试方法

2.1.3 功能图法

2.1.4 判定表法

2.2 UML图和面向对象软件测试

2.3 对象约束语言

2.3.1 OCL与UML模型元素

2.3.2 基本类型和值

2.3.3 对象及其属性

2.3.4 集合操作

2.4 小结

第三章 基于UML的面向对象系统功能测试方法研究

3.1 生成用案依赖序列

3.1.1 用需求用案关系图表示需求用案间的依赖关系与并发性

3.1.2 用案序列的生成

3.1.3 带参数的需求用案

3.1.4 将参数化的用案序列实例化

3.1.5 把所有实例化的用案序列集交叉合并成完整的用案序列

3.2 从需求用案顺序图中导出操作序列

3.2.1 场景的确定

3.2.2 用规则表达式表示顺序图

3.2.3 确定操作序列

3.3 生成变量序列

3.4 生成测试预测结果

3.5 建立决定表

3.6 小结

第四章 实例验证与结果分析

4.1 面向对象系统功能测试方法实例验证

4.1.1 用案序列的生成

4.1.2 操作序列的生成

4.1.3 变量序列的生成

4.1.4 测试预测结果的生成与建立决定表

4.2 实例分析

4.3 小结

第五章 结束语

5.1 本文的主要工作和相关创新点

5.2 本文存在的问题与研究展望

参考文献

在校期间参与的科研项目

致谢