第3章软件测试用例的设计3——面向对象的测试学案.ppt

3.3面向对象的测试用例设计 面向对象的测试出现： 面向对象程序的结构不再是传统的功能模块结构，作为一个整体，原有集成测试所要求的逐步将开发的模块搭建在一起进行测试的方法已成为不可能。 面向对象软件抛弃了传统的开发模式，对每个开发阶段都有不同以往的要求和结果，已经不可能用功能细化的观点来检测面向对象分析和设计的结果。 将开发分为面向对象分析（OOA），面向对象设计（OOD），和面向对象编程（OOP）三个阶段。 1 面向对象分析的测试（OOA Test） （1）对认定的对象的测试 系统所描述的对象 （2）对认定的结构的测试 分类结构体现了问题空间中实例的一般与特殊的关系； 组装结构体现了问题空间中实例整体与局部的关系。 （3）对认定的主题的测试 George 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。 U（ Unique Input/Output Sequences）方法： 测试序列要求每一个状态都有不同的输入输出序列，也就是唯一的输入输出序列（UIO）。 W方法：W方法的关键是找到特征序列值W_set。W_set可以区分出每一个状态的序列。对于M中的每一个状态，输入W_set中的序列，所得到最后一位输出均不同。 例题 例考虑RPG（ Role-playing Game）游戏中城门这样一个简单的对象，它具有打开（Opened）、关闭（Closed）、上锁（Locked）、解锁（Unlocked）四种状态。当玩家到达一个处于状态Locked的门时，如果此时他已经找到了用来开门的钥匙，那么他就可以利用它将门的当前状态转变为Unlocked，进一步还可以通过旋转门上的把手将其状态转变为Opened，从而成功进入城内，城门关闭，成功进入下一关。 分析： 城门有四个状态：S0：Locked状态；S1：Unlocked状态；S2：Opened状态；S3：Closed状态。 玩家的输入有四个不同的值：A：unlockDoor；B：openDoor；C：closeDoor；D：lockDoor 玩家的输出有两个不同的值： 0：未进入城门，玩家不升级； 1：进入城门，玩家升级； 此外设立R，为reset设置，使得状态能够回复到初始状态S0。 T方法： R，A，B，C，D，A，B，C，D，A，D，A，B，C，