为什么要进行类行为的测试分析
面向对象的开发相信很多人都非常清楚其基本的理念。而面向对象的测试,在实际测试工作中很少有人提及。在面向对象的测试中,可以大致分为算法、类、子系统、系统四个级别。除了白盒测试外,一般测试人员都在子系统或者系统级别进行测试,很少能够感受到面向对象与面向过程的测试区别——在测试过程中,采用基于业务的、基于处理过程的、基于事件的、基于场景的等的测试方法都适用于面向对象和面向过程的系统测试。而对于面向对象的测试中,对象和类的概念必然会对测试产生影响。而这一影响被很多人都忽略了。特别是类的行为,其封装性、消息传递、多态特性都是传统测试分析中遗漏的,造成潜在且难以发现的BUG。
为什么使用OOPN网
OOPN网是Petri网的发展。
在系统分析和设计时,状态图、时序图、类图等工具都是很好的描述系统的模型。而petri网在描述实际系统运行时的类之间的行为互动,特别是合适用于描述异步的、并发的过程。经典的Petri网是简单的过程模型,由两种节点:库所和变迁,有向弧,以及令牌组成的。
Petri网Petri网的详细介绍参考:Petri网
经过多年的发展,在基本的Petri网上,已经扩展出各种高级Petri网模型。将面向对象的思想和Petri网结合,就形成了面向对象的Petri网(Object Oriented Petri Net,OOPN)。本文讨论的是简化的OOPN网下,对类行为的测试分析的一个实例。
定义OOPN网
OOPN网有很多定义。本文对OOPN的定义如下:
定义:一个面向对象的Petri网是一个5元组,OOPN={P,T,C,G,F},其中
P={P11,P12……},是库所(表示状态)的有限集合,。
T={T11,T12……},是变迁(表示操作)的有限集合
C={gray,red,blue},是颜色的有限集合。
其中,gray:灰色表示同步路径;red:红色表示异步路径,blue:蓝色表示需要并发控制路径。
G={G11,G12……},是消息(调用服务)的有限集合。
F是P、T、G间的有向弧的集合。
业务背景
在一个支付业务中,支付的处理过程可以简要描述为:接收到卡信息,对卡信息进行验证。验证未通过,则提示卡信息错误。验证通过后,调用支付服务。收到支付结果后,更新订单状态。在这个过程中,主要有订单处理类OrderHandle,卡信息类CardInfo,支付服务类PayService,支付回调处理类PayCallBackHandle。
建立OOPN模型
订单处理类与卡信息类交互的OOPN网 支付处理类与支付服务类交互的OOPN网注:G41属于订单类的服务,未列出。
测试分析
通过建立OOPN模型,很明确订单处理类、卡信息类、支付服务类之间的关系。特别是在订单处理类与支付服务类之间的异步路径、并发控制路径是测试的特别关注点。同时也明确了并发点来源是由于之前的异步路径造成的。并发控制路径的要点就是库所(状态)的变迁是唯一的。
用例生成算法
1 将OOPN模型中的变迁T取出,形成{输入库所,变迁,输出库所}的三元组。其中输入库所中,包含门G的,将门作为输入库所。输出库所中,包含门G的,将门作为输出库所。
2 归并所有的三元组。由于输出库所必然是其他三元组的输入库所,所以取输入库所不在输出库所集合中的,作为初始输入库所。将输出库所与输入库所的三元组首位相连,并将连接的三元组标记为已遍历。遇到输出库所作为多个输出库所的,采用深度遍历,直到完成一条路径后再返回走下一节点。若遇到并发控制路径,需要给予并发控制标记。直到输出库所为终态或为异步调用库所,则完成一条路径,加入测试路径集合
3 重复2的过程,当无法找到未遍历的三元组且输入库所不在输出库所集合中时,继续第4步。
4 将测试路径集合中,有相同并发控制标记的测试路径,取出添加到并发测试路径集中。
5 最终得到的测试路径集和并发测试路径集即为测试用例。
对于订单处理类与卡信息类交互的OOPN网,可以得到以下三元组:
(p11,t11,g21)
(g22,t12,p11)
(g23,t13,g31)
(g21,t21,p22)
(g21,t21,p23)
(p22,t22,g22)
(p23,t23,g23)
归并三元组得到测试路径:
(p11,t11,g21,t21,p22,t22,g22,t12,p11)
(p11,t11,g21,t21,p23,t23,g23,t13,g31)
对于支付处理类与支付服务类交互的OOPN网,可以得到以下三元组:
(g31,t31,p32)
(g31,t31,p33)
(p32,t32,g32)
(p33,t33,g33)
(g32,t41,p42)
(g33,t42,p43)
(p42,t43,g41)
(p43,t43,g41)
归并三元组得到2条测试路径:
(g31,t31,p32,t32,g32,t41,p42,t43,g41)
(g31,t31,p33,t33,g33,t42,p43,t43,g41)
得到并发控制测试路径:
(g31,t31,p32,t32,g32,t41*,p42*,t43*,g41*)
(g31,t31,p33,t33,g33,t42*,p43*,t43*,g41*)
*:表示并发控制标记
总结
使用OOPN进行测试分析考虑了对象之间的行为交互,体现了面向对象的封装、消息传递的特性,是能够覆盖到数据流、状态变迁、类之间的消息的同步和异步操作、并发控制的测试分析方法。
网友评论