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

作     者：顾莹莹 

作者单位：上海师范大学 

学位级别：硕士

导师姓名：高建华

授予年度：2005年

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主      题：OSD 模型 BBD 模型 类测试 面向对象软件测试 基于状态的测试 

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