文档介绍：第3章 软件测试用例的设计
2006-9-19
第3章软件测试用例的设计
※黑盒测试
※白盒测试
※面向对象的测试用例设计
面向对象的测试出现:
面向对象程序的结构不再是传统的功能模块结构,作为一个整体,原有集成测试所要求的逐步将开发的模块搭建在一起进行测试的方法已成为不可能。
面向对象软件抛弃了传统的开发模式,对每个开发阶段都有不同以往的要求和结果,已经不可能用功能细化的观点来检测面向对象分析和设计的结果。
将开发分为面向对象分析(OOA),面向对象设计(OOD),和面向对象编程(OOP)三个阶段。
OOA Test(ori)
面向对象分析的测试;
OOD Test orient object design test
面向对象设计的测试;
OOP Test(orient object programing test)
面向对象编程的测试
OO Unit Test(orient object unit test)
:面向对象单元测试
OO Integrate Test(orient object integrate test)
:面向对象集成测试;
OO System Test(orient object system test):
面向对象系统测试。;
1 面向对象分析的测试(OOA Test)
(1)对认定的对象的测试
系统所描述的对象
(2)对认定的结构的测试
分类结构体现了问题空间中实例的一般与特殊的关系;
组装结构体现了问题空间中实例整体与局部的关系。
(3)对认定的主题的测试
e Miller 的"7+2"
(4)对定义的属性和实例关联的测试
(5)对定义的服务和消息关联的测试
对象之间的通信、消息的测试
面向对象设计的测试(OOD Test)
OOD测试是对类和类结构的一种确定性测试,通过重新组合或加以适当的补充,能方便实现功能的重用和扩增,以不断适应用户的要求。
1)对认定的类的测试:
全面包含OOA分析的对象、服务和属性,尽可能的减少类之间的依赖性
2)对构造的类结构的测试:
类之间的关联测试
3)对类库的支持:
对高质量类层次结构的评估;其强调的重点是软件重用
3 面向对象编程的测试(OOP Test)
在面向对象编程(OOP)阶段,重点不再是功能实现的细节,而是将测试的目光集中在类功能的实现和相应的面向对象程序风格,
1)类是否完成了所要求的功能
2)数据成员是否满足封装的要求
4 面向对象的单元测试(OOUint Test)
OOUnit Test 同Unit Test的区别
传统的单元测试的对象是软件设计的最小单位——模块。
在面向对象的软件进行单元测试时,将类看作是一个模块进行测试,然而类还应可以满足继承和多态的要求。
1:OO测试用例设计方法——有限状态机
有限状态机(FiniteState Machine,简称FSM)是一种具有离散输入输出系统的数学模型,它以一种“事件驱动”的方式工作,可以通过事件驱动下系统状态间的转移,来表达一个控制系统的控制流程。
有限状态机模型可以通过状态转换表或状态转换图表示。有限状态机模型可以用一个四元组来表示(M,S0,x,y,δ,λ)。其中M表示有限状态机,S0表示有限状态机的初始状态,x,y分别表示输入和输出,δ,λ分别为状态函数和输出函数。
FSM的软件测试方法
T(Transition Tour Method)方法:
测试序列要从有限状态机 FSM 的初始状态S0开始,每一个状态至少执行一次,最终测试要返回到初始状态S0。
D(Distinguished Sequence)方法:
采用D方法强调了不同的输出序列(O)。首先对FSM每个状态施加相同的输入序列(I),通过各自不同的输出响应序列来判断FSM的当前状态,以此来进行软件检测。
D方法的关键是计算有限状态机的区分序列DS。