基于OSD模型的面向对象软件类测试方法研究

摘要

类是面向对象程序语言的基本组成单位,所以类测试是整个面向对象软件测试的关键所在.本论文主要研究一种利用OSD模型的基于状态的类测试方法.论文首先提出了新的类测试层次划分策略,引入并修改了BBD块分支图模型和OSD对象状态图模型,并利用这两种模型进行类测试.论文利用BBD模型分析类成员方法,结合该模型的特点采用基本路径测试和状态变量组合测试分别进行结构测试和功能测试;利用OSD模型描述对象和对象状态间的转移,结合程序实例详细研究了OSD模型的构造方法,并利用OSD模型生成合理的测试消息序列树,以便于生成测试用例.最后,论文针对传统状态测试方法在发现错误机制上存在的不足,提出了利用OSD模型与系统分析时设计的状态图模型进行比较的思想来发现传统状态测试难以发现的错误.论文将类测试分为方法测试和状态测试两部分,并将BBD模型和OSD模型相结合用于这两部分的测试,给出了一个较为完整的类测试过程,有相当的理论和实用价值.

目录

文摘

英文文摘

第一章绪论

1.1论文研究的背景

1.2论文主要研究内容及意义

1.3论文的主要工作及章节安排

1.4关于论文示例程序的说明

第二章面向对象软件概述

2.1面向对象软件的特点及其对测试的影响

2.2面向对象软件测试策略

第三章类测试方法

3.1类测试层次的划分

3.2方法测试

3.3状态测试

第四章基于BBD模型的方法测试

4.1状态变量和状态变量的状态集

4.2 BBD模型

4.3结构测试

4.4功能测试

第五章基于OSD模型的状态测试

5.1状态测试

5.2传统状态测试发现错误的机制

5.3构造OSD模型

5.4利用OSD模型进行错误检测

5.5构造测试消息序列树

第六章总结与展望

6.1论文的创新点

6.2论文研究中存在的问题

6.3未来研究方向

附录一MoveOut类示例程序源代码

附录二MoveOut类示例程序经测试后的代码

参考文献

致谢

攻读硕士研究生期间发表的论文及参与的项目

论文独创性声明

论文使用授权声明

论文说明