因果图实例讲解

《因果图实例讲解》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、1.引言51Testing软件测试网}0O5v4?~1N.@0d51Testing软件测试网MK0ez;R 等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输入条件之间的联系、相互组合等。考虑输入条件之间的相互组合，可能会产生一些新的情况。但要检查输入条件的组合不是一件容易的事情，即使把所有输入条件划分成等价类，他们之间的组合情况也相当多。因此必须考虑采用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来考虑设计测试用例。这就需要利用因果图（逻辑模型）。51Testing软件测试网t1B#A@W  因果图（Cause-EffectGraphing

2、）提供了一个把规格转化为判定表的系统化方法，从该图中可以产生测试数据。其中原因是表示输入条件，结果是对输入执行的一系列计算后得到的输出。51Testing软件测试网3g${h4HR 因果图方法最终生成的就是判定表，它适合于检查程序输入条件的各种组合情况。)mF2N7Q8Au6Wl!V051Testing软件测试网"OhO3hgC$D2.因果图介绍51Testing软件测试网#T!l$mh&V:?0

3、51Testing软件测试网2fh].B9y[vo7G7Q2.1图例说明51Testing软件测试网A4xR.?SG:s5XiS51Testin

4、g软件测试网h"rb8Z2@)P0ZO"dV1、4种符号分别表示了规格说明中向4种因果关系。如图2-1所示。%C-^.b"KvKKEA0  0}B!fv}F
G_$

5、051Testing软件测试网hO:N
t%T5L                         图2-1因果图关系51Testing软件测试网p'gK$ecrD51Testing软件测试网^v;P)

6、Sda6A2、因果图中使用了简单的逻辑符号，以直线联接左右结点。左结点表示输入状态（或称原因），右结点表示输出状态（或称结果）。51Testing软件测试网1o#to2[J.o:

7、RHj3、ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。ci和ei均可取值0或1，0表示某状态不出现，1表示某状态出现。51Testing软件测试网)e!{J_#AbN3o0x`x2b(r5gT%P02.2因果图概念ksi$S4x3jw0&A;HHM&K{xm01、关系（图2-1因果图关系）*v:k4VCjRd*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

8、，则ei是1；否则ei为0。“或”可有任意个输入。t4~?Y*p0    ④与：若c1和c2都是1，则ei为1；否则ei为0。“与”也可有任意个输入。Ac-`8[e)c6B7H0+O0gM6D"D(h02、约束N?zu7?^;Z)v/@0  输入状态相互之间还可能存在某些依赖关系，称为约束。例如，某些输入条件本身不可能同时出现。输出状态之间也往往存在约束。在因果图中，用特定的符号标明这些约束。如图2-2所示。51Testing软件测试网xW7V!s(a_v51Testing软件测试网c0zk{lmha;Q
Y0                 

9、            2Y?rOjI0                          图2-2因果图约束51Testing软件测试网U5tvI.Wj51Testing软件测试网%{*iD6Ga*E^(rCA.输入条件的约束有以下4类： %c`R@,]@^
Pj0①E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。 lhi"A'z?0②I约束（或）：a、b和c中至少有一个必须是1，即a、b和c不能同时为0。 51Testing软件测试网w7_N'y_IR]-v③O约束（唯一）；a和b必须有一个，且仅有1个为1。 51Testing

10、软件测试网
R4ySqE,C`p9]④R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。51Testing软件测试网ByoD]VR51Testing软件测试网3v}i6MCa,d3mB.输出条件约束类型51Testing软件测试网YhX2qo
b)L输出条件的约束只有M约束（强制）：若结果a是1，则结果b强制为0。51Testing软件测试网2j)mp0RL.O1E51Testing软件测试网tC4hfF