因果图法－－实例一　

实例[111]一：51Testing软件测试网B,xwbR
“第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改。但如果第一列字符不正确，则给出信息L；如果第二列字符不是数字，则给出信息M。”

首先根据这一规格说明画出因果图。在分析以上的要求以后，可以明确地把原因和结果分开。以下分别给出（左端数字是编号）：
$UK%I I9{-LX.r0原因：51Testing软件测试网v mg d|Vt~8k
  1——第一列字符是A；
6SNF\T0 2——第一列字符是B；
p{0`3o,K5Fh?2_ K0 3——第二列字符是一数字。
os4x5c3}nrkU*_0结果：
7C6^ScLe0  21——修改文件；51Testing软件测试网M?]4Ck'k9pre;UN1I
  22——给出信息L；
QMtiy"b[&@)IX0  23——给出信息M。51Testing软件测试网;_%u-SVG^@(F
我们把原因和结果用上述的逻辑符号联结起来，画成因果图（如下）。图中左列表示原因，右列为结果，编号为11的中间结点是导出结果的进一步原因。51Testing软件测试网
ck`,kt
     因果图实例图51Testing软件测试网Pf| {+i*N9lW"]%C
考虑到原因1和原因2不可能同时为1（即第一列字符不可能是A和B），我们在因果图上可对其施加E约束，这样便得到了具有约束的因果图。51Testing软件测试网gt.f;z%VD;QIa
      具有E约束的因果图
3}p$`Ge
MyK]0根据因果图建立如下的判定表：
m2[%M0NA5{;t0 1 2 3 4 5 6 7 8 51Testing软件测试网V]jL/o$z8OrM#}H
条件（原因） （1） 1 1 1 1 0 0 0 0 51Testing软件测试网p.Cc.W7b I J%H
 （2） 1 1 0 0 1 1 0 0 51Testing软件测试网.m){9pY;y,CNf
 （3） 1 0 1 0 1 0 1 0 
A#@Dx qh(Z i T0 （11）  1 1 1 1 0 0 51Testing软件测试网6JsO;D4l6w+@d
动作（结果） （22）  0 0 0 0 1 1 
K$?0@yxbY^0 （21）  1 0 1 0 0 0 51Testing软件测试网\@k? [V6?q
 （23）  0 1 0 1 0 1 51Testing软件测试网r9E!@n,Fg.|$T
测试用例  A3
*r5ye"Bp0A8 AM51Testing软件测试网+z0l+@)L0GM`
A？ B551Testing软件测试网$i@df ||
B4 BN51Testing软件测试网-~6l7e6NB/I2ga H
B！ C251Testing软件测试网HP
K/Bk
X6 DY51Testing软件测试网J)|/n$[]4su7~
P； 

7C5b2uO`3Q0 51Testing软件测试网8oK4_4ulQt](V

!Q8eU6`OY[g0 51Testing软件测试网3q4Q&m c
u1OQ

 51Testing软件测试网9lxN,hLY"J

 51Testing软件测试网 }L q,o}$Y

c'v2AEb&b8~x"c0 

 51Testing软件测试网f(z3{ba

[ xWk z;y9F+Yquk(y0 51Testing软件测试网^oIg%{(k{

,i:O[1kg0Ri ^0 51Testing软件测试网{pLJn?