基于扩展对象关系图的集成测试研究.docVIP

基于扩展对象关系图的集成测试研究 　　摘要：测试顺序是面向对象软件集成测试中的一个重要问题。本文提出使用扩展对象关系图作为测试模型研究面向对象软件集成测试顺序问题，并给出计算测试顺序的算法以及设计测试用例的策略。 　　关键词：扩展对象关系图；集成测试；测试顺序；多态 　　中图分类号：TP311文献标识码：A文章编号：1009-3044(2008)14-20938-02 　　 　　1 引言 　　 　　面向对象软件特有的封装、继承、多态和动态绑定等特征产生了传统语言根本不存在的错误类型，因此传统的软件测试技术不能直接应用到面向对象软件测试中来。面向对象软件测试相对于面向对象软件分析、设计和编程来说还没有引起足够的重视，尤其是多态对面向对象软件集成测试的影响还需要进一步研究。多态是面向对象软件特有的特征，凡是父类对象出现的地方都可以用子类对象进行替换的多态称为对象多态；同一个消息可以被不同对象接受而产生不同行为的多态称为消息多态。 　　测试顺序（Test Order）是面向对象软件集成测试研究的一个重要问题。文献[1-4]提出利用对象关系图（Object-Oriented Graph）研究测试顺序，但是这些文献都没有涉及到多态对测试顺序的影响。文献[5]在对象关系图上增加因消息多态引起的动态依赖信息，构成扩展对象关系图（Extended Object-Oriented Graph），作为研究测试顺序的测试模型，但是该文没有考虑对象多态对交互测试的影响以及没有给出哪些类之间需要进行两两交互测试以及它们之间的测试顺序。本文在文献[5]的基础之上，在扩展对象关系图中增加对象多态信息，并设计算法计算哪些类之间需要进行交互测试以及它们之间的测试顺序。 　　 　　2 扩展对象关系图 　　 　　对象关系图在文献[1]中首次作为面向对象回归测试的测试模型。程序P的对象关系图是一个有向图，其中的结点表示程序P中的类，有向边表示程序P中类间的依赖关系。继承、聚集和关联关系是面向对象模型中三种最为广泛使用的类间依赖关系。继承意味着基类中定义的特性可以自动在所有的子类中定义；聚集意味着一个对象是另一个对象的一个组成部分；关联意味着两个对象之间存在着更一般的关系，A关联B表示A会存取B中的数据成员或A会向B传递消息。 　　定义2.1 G=(V,L,E)表示边上加标签的有向图，其中V={V1,V2,…,Vn}是结点的有限集合，L={L1,L2,…,Lk}是标签的有限集合，边集E#8838;V×V×L是带标签的边的有限集合。 　　定义2.2 面向对象程序P的对象关系图是一个边上加标签的有向图ORG=(V,L,E)，其中集合V中的结点表示程序P中的类，标签集L={I,Ag,As}中的元素表示边上的标签集合，边集E=EI∪EAg∪EAs的定义如下： 　　定义2.3 EI#8838;V×V×L是一个有向边的集合，EI中的有向边反映的是P中类之间的继承关系。 　　定义2.4 EAg#8838;V×V×L是一个有向边的集合，EAg中的有向边反映的是P中类之间的聚集关系。 　　定义2.5 EAs#8838;V×V×L是一个有向边的集合，EAs中的有向边反映的是P中类之间的关联关系。 　　 　　定义2.6 如果一个类在对象关系图中既没有被其它类包含又不是其它类的子类，则称该类为主类。例如，图1中类A和类F是主类。 　　定义2.7 设D1(X)是类X静态依赖的所有类构成的集合。 　　类X静态依赖类Y当且仅当在对象关系图中存在一条从类X到类Y的有向路径。例如，图1中的D1(A)={B,C,D,F,G,H}。 　　定义2.8 设D2 (X)是类X静态和动态依赖的所有类构成的集合。 　　动态依赖关系可以从静态关系中推导出来。如果类Y是类X的服务类，则在程序执行的时候，类X及其所有直接或间接子类动态依赖Y及其所有直接或间接子类。例如，图1中的D2(A)={B,C,D,F,G,H,F1,F2}。如果在对象关系图中用虚边表示动态依赖信息，则构成的对象关系图称为扩展对象关系图。图2是图1加上动态依赖信息之后形成的扩展对象关系图。 　　 　　3 测试顺序 　　 　　测试顺序是面向对象软件集成测试研究的一个重要问题。在面向对象软件集成测试阶段，构造一个类对象或类成员函数的测试桩的代价非常昂贵。因此，假如使用已经测试过的组件去测试将要被测试的组件，则可以减少构造测试桩的工作量。这个策略的基本思想就是首先测试独立的组件，然后根据依赖关系测试有依赖关系的组件。例如，如果测试人员首先测试服务类，然后再测试客户类，则可以减少构造测试桩的工作量。拓扑排序可以用来计算无环对象关系图的测试顺序。例如，图1的测试顺序为B-C-G-H-F-F1-F2 -D-A-