[因果图实例讲解.docVIP

1.引言51Testing软件测试网 }0O5v4?~1N.@0d51Testing软件测试网MK0ez;R? 等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输入条件之间的联系、相互组合等。考虑输入条件之间的相互组合，可能会产生一些新的情况。但要检查输入条件的组合不是一件容易的事情，即使把所有输入条件划分成等价类，他们之间的组合情况也相当多。因此必须考虑采用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来考虑设计测试用例。这就需要利用因果图（逻辑模型）。51Testing软件测试网 t1B#A@W??因果图（Cause-EffectGraphing）提供了一个把规格转化为判定表的系统化方法，从该图中可以产生测试数据。其中原因是表示输入条件，结果是对输入执行的一系列计算后得到的输出。51Testing软件测试网3g$\{h4HR? 因果图方法最终生成的就是判定表，它适合于检查程序输入条件的各种组合情况。)m F2N7Q8Au6Wl!V051Testing软件测试网Oh O3h g C$D2.因果图介绍51Testing软件测试网#T!l$m hV:?0\|51Testing软件测试网2fh ].B9y[vo7G7Q2.1图例说明51Testing软件测试网A4xR.?SG:s5X i S \51Testing软件测试网hr b8Z2@)P0ZOd V1、4种符号分别表示了规格说明中向4种因果关系。如图2-1所示。%C-^.bKvK KEA0??0} B!fv}F
G_$|051Testing软件测试网h O:N
t%T5L????????????????????????? 图2-1 因果图关系51Testing软件测试网pg K$ec rD51Testing软件测试网^v;P)|Sda6A2、因果图中使用了简单的逻辑符号，以直线联接左右结点。左结点表示输入状态（或称原因），右结点表示输出状态（或称结果）。51Testing软件测试网1o#to2[ J.o:RHj3、ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。ci和ei均可取值0或1，0表示某状态不出现，1表示某状态出现。51Testing软件测试网)e!{\J_#AbN3o0x` x2b(r5gT%P02.2因果图概念ksi$S4x3jw0A;HHMK {xm01、关系（图2-1 因果图关系）*v:k4VCjR d*p0???? 恒等：若ci是1，则ei也是1；否则ei为0。:XO:e#uz-qO0???? 非：若ci是1，则ei是0；否则ei是1。x3[0d9I
m$V
e+wW0???? 或：若c1或c2或c3是1，则ei是1；否则ei为0。“或”可有任意个输入。t4~ ?Y*p0???? 与：若c1和c2都是1，则ei为1；否则ei为0。“与”也可有任意个输入。A c-`8[\e)c6B7H0+O0gM6DD(h02、约束N ?zu7? ^;Z)v/@0?? 输入状态相互之间还可能存在某些依赖关系，称为约束。例如，某些输入条件本身不可能同时出现。输出状态之间也往往存在约束。在因果图中，用特定的符号标明这些约束。如图2-2所示。51Testing软件测试网xW7V!s(a_v51Testing软件测试网c0zk{lmh a;Q
Y0?????????????????????????????2Y? rOjI0?????????????????????????? 图2-2因果图约束51Testing软件测试网U5tvI.Wj51Testing软件测试网%{*i D6Ga*E ^(rCA.输入条件的约束有以下4类：?%c` R@,]@^
P j0 E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。?l hiAz ?0 I约束（或）：a、b和c中至少有一个必须是1，即 a、b 和c不能同时为0。?51Testing软件测试网w7_ Ny _ IR ]-v O约束（唯一）；a和b必须有一个，且仅有1个为1。?51Testing软件测试网
R4ySqE,C ` p9\]R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。51Testing软件测试网B yoD] VR51Testing软件测试网3v }i6MCa,d3m\B.输出条件约束类型51Testing软件测试网YhX2qo
b)L输出条件的约束只有M约束（强制