面向对象软件中类测试的理论和方法.pdf

面向对象软件中类测试的理论和方法 何友鸣 中南财经政法大学信息学院，武汉，430060 摘要 随着面向对象方法的使用日益普及，面向对象软件的质量问题越来越受到人们的重视， 因而面向对象软件测试技术显得非常重要。类是面向对象组成和运行的基本单元，对它的测试也 就显得更加举足轻重了。 关键词面向对象，软件测试，类测试 近十年来，国内外对面向对象软件测试进行了一些探索性的研究，但目前尚未形成一套成 熟与完善的测试理论与方法。笔者在《对面向对象软件测试技术的设想》一文中曾提到。在对传 统软件进行测试时，我们着眼的是程序的控制流或数据流。对类(面向对象软件)进行测试时， 则必须考虑类的对象所具有的状态，着重考察一个对象接收到一个消息序列之后，是否达到了 一个正确的状态。因此，类测试的重点，应是类内方法间的交互和其对象的各个状态，类的测试 用例主要是由方法序列集和相应的成员变量的取值所组成。 1 基于类的软件测试策略 (1)面向对象的单元测试 与传统的软件测试观点不同，面向对象软件的测试不再孤立地测试单个操作，而是将操作 作为类的一部分。对面向对象软件的类测试，可以看成是传统软件的单元测试，但又和传统软 件的单元测试不一样：传统软件的单元测试往往关注模块的算法细节和模块接口间流动的数 据，而面向对象软件的类测试则是由封装在类中的操作和类的状态行为所驱动的。 (2)面向对象软件的集成测试 因为面向对象软件没有层次的控制结构，传统的自顶向下和自底向上集成策略就没有意 testing)，集成对回应系统的一个输入或事件所需的一组类，每个线程被集成井分别测试，应用 回归测试以保证没有产生副作用。第二种称为基于使用的测试(use--based testing)．通过测试 那些几乎不使用服务器类的类(称为独立类)而开始构造系统，在独立类测试完成后，下一层的 使用独立类的类称为依赖类，被测试。这个依赖类层次的测试序列一直持续到构造完整个的系 统。 (3)面向对象软件的系统测试 在系统层次，类连接的细节消失了。传统的黑盒测试方法可被用于驱动有效性测试，此外， 测试用倒可以从对象一行为模型和作为OOA的一部分的事件流程图中导出。 327 2 面向对象软件的类测试 类的测试内容按顺序分为以下3个部分： ①基于方法的测试：测试类中的每一个方法(服务)； ②基于状态的测试：考察类的实例即对象在其生命周期各个状态下的情况{ ③基于响应状态的测试：从类和对象的责任出发，以外界向对象发送特定的消息序列的 方法来测试对象的各个响应状态。 其示意图如图l所示。 类测试可以使用一系列不同的方法； 随机测试、划分测试、基于故障、规约、流 丝刊绷馨I l孺碧陶豁 图、状态的类测试技术等，阱下主要从基 丝刊黼一镐黼H錾瓣i 于状态的以及基于规约的2个方面论述 类测试的思想和方法。 趟徊 (1)基于状态的类测试技术 对象状态测试是面向对象软件测试 的重要部分，同传统的控制流和数据流测试相比，它侧重于对象的动态行为，这种动态行为依 赣于对象的状态。测试对象动态行为能检测出对象成员函数之间通过对象状态进行交互时产 生的错误。图2是基于状态的类测试过程。 类是OO程序的静态部分，对象是动态 部分。对象的行为主要决定于对象状态和对 象状态的转移。面向对象设计方法通常采用 状态转移图建立对象的动态行为模型。状态 转移图用于刻画对象响应各种事件时状态 发生转移的情况，图中结点表示对象的某个 可能状态，结点之间的有向边通常用“事件／ 动作”标出。状态转移图中的结点代表对象 图2基于状态测试过程 的逻辑状态，而非所有可能的实际状态。如 图3的示例中，表示当对象处于状态A时，若接收到事件e则执行相应的操作a且转移到状态 B。因此，对象的状态随各种外来事件发生怎样的变化，是考察对象行为的一个重要方面。 基于状态的测试是通过检查