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

论文摘要

面向对象软件测试是面向对象软件开发中非常重要的一个环节,是保证软件质量、提高软件可靠性的关键。面向对象技术中的封装、继承、多态等机制给整个软件开发周期的分析、设计、实现都带来了巨大的好处,但同时也对软件测试人员提出了新的问题和挑战。到目前为止,国内外的众多研究人员尚未形成一套较为成熟与完善的测试理论与方法。类是面向对象程序语言的基本组成单位,所以类测试是整个面向对象软件测试的关键所在。本论文主要研究一种利用OSD 模型的基于状态的类测试方法。论文首先提出了新的类测试层次划分策略,引入并修改了BBD 块分支图模型和OSD 对象状态图模型,并利用这两种模型进行类测试。论文利用BBD 模型分析类成员方法,结合该模型的特点采用基本路径测试和状态变量组合测试分别进行结构测试和功能测试;利用OSD 模型描述对象和对象状态间的转移,结合程序实例详细研究了OSD 模型的构造方法,并利用OSD 模型生成合理的测试消息序列树,以便于生成测试用例。最后,论文针对传统状态测试方法在发现错误机制上存在的不足,提出了利用OSD 模型与系统分析时设计的状态图模型进行比较的思想来发现传统状态测试难以发现的错误。论文将类测试分为方法测试和状态测试两部分,并将BBD 模型和OSD 模型相结合用于这两部分的测试,给出了一个较为完整的类测试过程,有相当的理论和实用价值。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 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 类示例程序经测试后的代码
• 参考文献
• 致谢
• 攻读硕士研究生期间发表的论文及参与的项目
• 论文独创性声明
• 论文使用授权声明