类的集成测试级别研究

则表示 ｃ 存在和 的单 向关联 。 。 从图 １ 以看 出， Ｂ是 Ａ的子类且 可 类
和类 Ｅ存在着关联 ， 显然 Ｂ依赖类 Ａ和类 Ｅ， 对类 Ｂ的测试要放在对类 Ａ和类 Ｅ的 测试之后进行。但是从图 １ 中并不能容易 地看出类 的测试级别 ， 尤其是考虑 了多态 性的情况 ， 因此需要 首先进行类 的依赖分 析 。 引 根据 ３ 种关系的定义可以定义 ３ 条依
文章编号 ： ６ １ ７２ ２ ０ ） ． １４ ７ １７ ． ４ （０ ６ ０ ０ ９ ． １ ２ ０
类 的 集成 测试 级 别 研 究
何 涛 孙跃勇２ ，
（． １上海大学计算机学院， 上海 ２０ ７ ；． ００ ２２ 复旦大学计算机科 学与工程 系， 上海 ２ ０３ ） ０ ４ ３
成测试时就不得不考虑这些类之间的关系［ｌ １ 。
１ 类之 间的关 系
在面向对象的系统中类之间最常见的关系是继承（ｎ ｅ ｔ ｃ）聚集 （ ｇｒｇｔ ｎ 、 Ｉｈｒ ａ ｅ 、 ｉｎ Ａ ｇｅａｏ ）关联 （ ｓ ｃ ｔ ｎ 。 ｉ Ａ ｓ ｉ ｉ ） ｏ ａｏ
（） １继承指的是子类可以共享父类（ 或祖先类） 属性和操作。父类中定义 了其所有子类 的公共属性和操作 ， 在 子类中除了定义 自己特有的属性和操作外 ， 还可以对父类（ 或祖先类 ） 中的操作重新定义其实现方法。
摘要 ： 为了减少类测试 中集成 测试 的桩模块 的数量 ， 分析 了类之间的依赖关 系 ， 提出确定类 的静态测 试级别 和
动态测试级别的算法 。
关 键 词 ： 向对 象； ； 面 类 集成测试
文献标识 码 ： Ａ 中图分类号 ： Ｐ １ Ｔ ３２
集成测试的 目的是通过测试来发现和接 口有关 的错误 ， 即把通过了单元测试的模块组装起来测试。在面 向 对象的软件中， 类是基本的测试单元 ， 在多个类之间可能存在多种不 同的关系 ， 如关联 、 聚集和继 承等 ， 在进行集
继承指出类之间的“ 一般一特殊关系” “ ，特殊” 类与“ 一般 ” 类之间的关系是“ — 的关系 ， ｉａ ｓ” 例如汽车是特殊类 ， 交通工具是一般类 ， 则汽车是一种交通工具。 Ｃａ ｅｉｅ … … ｝ ｌｓ ｈ ｌ ｓＶ ｃ ｛
Ｃａｓ ａ： ｕｌ ｈｃ ｛ … ｝ ｌ ｒ ｐｂｉ Ｖｅｉｅ … ｓＣ ｃ ｌ
２ 类 的依 赖分析
类之间的继承 、 关联和聚集关 系使得在整个类图中存在着依赖关 系［ 比如 Ｃ ｒ 引， ａ 要依 赖 Ｖｅｉｅ还要依赖 ｈｃ ， ｌ
Ｅ ｇ ｅ Ｔｒ； ｎ ｉ 和 ｉ 由于多态性的存在 ， ｎ ｅ 使得依赖关系更为复杂 ， 如果类 Ｅ ｇｎ 还有子类 Ｓ ｂ ｎｉ ， 由于可能存在 ｎｉ ｅ ｕ Ｅ ｇ ｅ则 ｎ
动态绑定 ， ｒ ａ Ｃ 还可能潜在地依赖 Ｓ ｂ ｎ ｉ 。 ｕＥ ｇｎ ｅ
收 稿 日期 ：ｏ ５０ —１ ２ ｏ ．３３
维普资讯
第２期
何涛等 ： 类的集成测试级别研 究
ห้องสมุดไป่ตู้
１５ ９
为 了表述方便 ， 在表示类之 间的关 系 的边上加上标识来 区分各种 不同 的关 系。 如果从类 Ｃ 到类 的边上标识为 Ｉ则表 。 ， 明Ｃ 是 Ｃ ｌ ２的子类 ； 如果从 类 Ｃ 到类 Ｃ １ ２ 的边上标识为 Ａ 则表示 是 Ｃ 的聚集 ｇ ｌ 类； 如果从类 Ｃ 到类 的边上标识为 Ａ ｌ ｓ
以上Ｃ ＋代码表明类 Ｃ ｒ ＋ ａ 继承了类 Ｖ ｈ ｌ的属性和操作。类 Ｃ ｒ ｅｉｅ ｃ ａ 和类 Ｖ ｈ ｌ之间是继承 的关系。 ｅｉｅ ｃ （） ２ Ａ由 Ｂ 组成或者说 Ｂ是 Ａ的一部分 。这就是通常所说 的继承或者在 ＵＭＬ中所说的整体 一部分关 系和 聚合 一 组成。整体 一 部分关系意味着结构粒度的多级别 。例如 ： 一个给定类 的行为就可以作为其本身的语境 ， 并 按照更小粒度 的协作类进行设计 。这些低级别的协作类构成 了高级别 的协作类 的聚合 。例如 ， 一个 Ａ Ｍ 对象 Ｔ
具有 ｒ ｄ ｃｒ（（ ｅ —ａｄ ）读卡） ａ 的责任。假如将这个操作看成它 自己的语境 ， 并且使用许多用例来确定读 卡的时候会 涉
及到什么 ， 那么就很快能发现涉及到许多其它类 ， 例如读卡器 、 监视器 、 键盘等。这些就是 Ａ Ｍ 的低级别 聚合 Ｔ 类。类似的， 假如现在关注 ｒ ｄ ｐｓ ｏｄ ） ｅ — ａｓ ｒ（这个行为 ， ａ ｗ 它是读卡器聚合对象 的责任（ Ａ Ｍ 是一个整体不 同） 与 Ｔ ， 就可以发现粒度更细的类 ， 例如卡接收器或者卡弹 出器、 磁条 阅读器 、 注册等 ， 所有读卡器的低级类反 过来 也是 Ａ Ｍ 的低级别类 。因此 ， Ｔ 聚合可能是多级别的。 （） ３ 关联表示类的实例之间存在的某种关系， Ａ的实 例映射到 Ｂ的实例 ， 这种关系叫关联 。作为一个结构特
赖 规则 。
图 １ Ｕ 类图 ＭＬ
规则 Ｉ如果存在类 ｃ 继承了 或和 ： ｌ
存在单向关联 ， Ｃ 依赖 ｃ ； 则 ｌ ａ 规则 Ｉ： Ｉ如果从 到 Ｃ 存在一条标识为 Ａ 的边 ， １ ｇ 则表示 ｃ 是 的聚集类 ， Ｃ 依赖 。 Ｉ 即 ｌ
维普资讯
第 ２ 卷第 ２ ｌ 期
２０ ０ ６年 ４月
成
都 信
息
工
程
学
院 学
报
Ｖｏ． １２１ＮＯ． ２
Ａｐ ．２ ０ ｒ ０６
Ｊ ＵＲＮＡ ＨＥ Ｏ Ｌ ＯＦ Ｃ ＮＧＩ ＮＩ ＲＳ Ｔ （Ｆ Ｉ Ｆ Ｍ Ａ ｏＮ ＴＥ ＨＮ ＤＧＹ ） Ｕ ＶＥ Ｉ Ｙ ） Ｎ ＯＲ Ｕ ＴＩ Ｃ ＯＬ
性， 关联是同一个类的两个实例之间的映射 （ 一元关联 ）或者是 Ａ类 的实例与 Ｂ类 的实例之 间的映射 （ 元 关 ， －
联）或者是类的实例与类的集合的实例的映射（ 元关联） ， ｎ 。当 ｎ大于 ２的时候 ， 元关联就会非 常复杂 ， ｎ 而且通 常不可能直接实现。因此 ， 当设计中包含高于二元的关联时 ， 这种设计通常需要重新评估 ２。