因果图与判定表
因果图判断表 PPT课件
301010101 结1 果2
29
6.根据原因给出结果 上面的决策表中，不一定每个原因的状态组合都是有效的。要根据因果 图中的约束条件，去掉不可能出现的组合，从决策表中标记出来。并给 出每个可能的原因组合对应的结果。
20
包含性约束
• 包含性约束：各个原因中总有一个为真。即可以同时为真，但不可以 同时为假。举个例子，支付宝买家付款时，有个输入条件（既原因） 是余额支付、网银支付，买家可以选择单独余额支付或者单独网银支 付，也可以同时选择余额支付和网银支付2种方式。但是不可以选择 不支付。
21
必要性约束
• 必要性约束：当原因a为真时，原因b必须同时为真；但是原因b为真 时，原因a既可以为真，也可以为假。举数字证书的例子：现有的业 务规则下，如果申请了数字证书（原因a），那么该用户必然通过了 支付宝认证（原因b）。反之，如果用户通过了支付宝认证，那么不 一定申请了数字证书（a）。
软件测试基础之白话测试设计 -判定表
1
2
Definition - 定义
是分析和表达多逻辑条件下执行不 同操作的情况的工具
3
1.
2.
3.
4.
条件桩
动作桩
条件项
动作项
列出问题所有的条 件
列出问题规定可能 采取的动作
列出针对左列条件 的取值
列出在条件项的各 种取值情况下应该
采取的动作
4
5
6
7
经典问题
13
14
因果关系
15
因果关系
1. 因果图中使用了简单的逻辑符号，以直线联接左右 结点。左结点表示输入状态（或称原因），右结点 表示输出状态（或称结果）
黑盒测试-因果图、判定表
2
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
因果图介绍
恒等 c1 e1
非
c1 c1
e1
或
c2 c3 c1
V
e1
与 c2
∧
e1
3
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
条件的约束 • 输入条件约束
9
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
例子 • 根据因果图建立如下的判定表： 根据因果图建立如下的判定表：
条 件 1 2 3 11 22 21 23 1 1 1 1 //// //// // // // //// 2 1 1 0 //// //// // // // //// 3 1 0 1 1 0 1 0 A3 A8 4 1 0 0 1 0 0 1 AM A 5 0 1 1 1 0 1 0 B5 B4 6 0 1 0 1 0 0 1 BN B 7 0 0 1 0 1 0 0 C2 X6 8 0 0 0 0 1 0 1 DY P： ： 原 因
5
©2007 iSoftStone Holdings Ltd. All Rights Reserved.
步骤
①分析程序规格说明的描述中，哪些是原因，哪 分析程序规格说明的描述中，哪些是原因， 些是结果。 些是结果。原因常常是输入条件或是输入条件 的等价类。而结果是输出条件。 的等价类。而结果是输出条件。 分析程序规格说明的描述中语义的内容， ②分析程序规格说明的描述中语义的内容，并将 其表示成连接各个原因与各个结果的“因果图” 其表示成连接各个原因与各个结果的“因果图” 由于语法或环境的限制， ③由于语法或环境的限制，有些原因和结果的组 合情况是不可能出现的。 合情况是不可能出现的。为表明这些特定的情 况，在因果图上使用若干个特殊的符号标明约 束条件。 束条件。 把因果图转换成判定表。 ④把因果图转换成判定表。 把判定表中每一列表示的情况写成测试用例。 ⑤把判定表中每一列表示的情况写成测试用例。
测试用例设计-错误推测法、判定表、因果图
2.判定表
举例3： 分析— 条件桩：1. 导入单位工程为清单计价；
2. 当前工程为定额计价工程，存在“导入清单计价工程”菜单； 3. “导入措施项目”勾选； 4. 导入窗口点“确定”； 5. 提示窗口点“确定” 动作桩：21. 执行导入清单计价工程操作； 22. 选择的项目工程文件或单位工程的定额计价工程，则给提示； 23. 选择的项目工程文件或单位工程的定额计价工程，系统自动弹出导 入GBQ的选项窗口； 24. 措施项目不被导入，提示导入成功； 25. 措施项目被导入，提示导入成功； 26. 退出提示窗口
25 N N N N N N N N N N N N N N N N
26 N N N N N N N N N N N N N N N N
2.判定表
举例3： 简化判定表—
1
2
3
5
6
7
9
17 25
条件 1 桩2
Y
Y
Y
Y
Y
Y
Y
NN
Y
Y
Y
Y
Y
Y
N
Y
N
3
Y
Y
Y
N
N
N ———
4
Y
Y
N
Y
Y
N ———
5
Y
N—
况不可能出现，为表明这些特殊情况，在因果图上用一些记号表明约束或限制 条件； 转换：把因果图转换为判定表； 输出：把判定表的每一列拿出来作为依据，设计测试用例
3.因果图
举例1： 需求—
“……对于功率大于50马力的机器，并且维修记录不全或已运行10年以上的机器
，应给予优先的维修处理……”
Y
N ————
因果图判定表综合示例1-自动售货机
一、测试项要求如下：有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。
其规格说明如下：若投入5角钱或1元钱灯是亮的，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红二、分析以上要求，得出原因和结果：原因：1、售货机有零钱找2、投入1元钱3、投入5角钱4、选择橙汁5、选择啤酒结果：21、售货机“零钱找完”灯亮22、退还1元钱23、找回5角钱24、送出橙汁饮料25、送出啤酒饮料三、因果图如下：思路：逐个分析条件，看它与其它哪些条件之间有制约关系，都会影响哪些结果，把这种制约影响关系画出四个角度着手画因果图。
又由于条件1为真和为假时导致的结果不同，所以为真和为假两种情况下的因果图都要画出来，否因果图中出现的中间节点为：11、需要找回5角钱12、选择了橙汁或啤酒13、售货机能够找出5角钱14、钱已结清，可以送出饮料四、根据因果图画出判定表1、条件2、3不能同时为1123456789101有零钱找1111111111四、根据状态图完成判定表12=or(4,5)11=and(2,12)13=and(1,11)14=or(3,13)21=not(1)22=and(11,not(1))23=1324=and(4,14)五、将这16条规则分别转化测试用例其它用例略1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。
当售货机没有零钱找，则一个显示〖零零钱找，则显示〖零钱找完〗的红灯不会亮，在送出饮料的同时退还5角硬币。
系画出来，直到所有条件都被分析、所有结果都被覆盖。
本例中，条件1、2、4；1、2、5；3，4；3，5之间存在情况下的因果图都要画出来，否则覆盖不到所有结果。
1234567892012345678111111000000000000示〖零钱找完〗的红间存在制约关系，从这。
因果图实例讲解[教育]
![因果图实例讲解[教育]](https://img.taocdn.com/s3/m/3f4ca67f7f21af45b307e87101f69e314332fa72.png)
1.引言等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输入条件之间的联系、相互组合等。
考虑输入条件之间的相互组合，可能会产生一些新的情况。
但要检查输入条件的组合不是一件容易的事情，即使把所有输入条件划分成等价类，他们之间的组合情况也相当多。
因此必须考虑采用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来考虑设计测试用例。
这就需要利用因果图（逻辑模型）。
因果图（Cause-EffectGraphing）提供了一个把规格转化为判定表的系统化方法，从该图中可以产生测试数据。
其中原因是表示输入条件，结果是对输入执行的一系列计算后得到的输出。
因果图方法最终生成的就是判定表，它适合于检查程序输入条件的各种组合情况。
2.因果图介绍2.1图例说明1、4种符号分别表示了规格说明中向4种因果关系。
如图2-1所示。
图2-1 因果图关系2、因果图中使用了简单的逻辑符号，以直线联接左右结点。
左结点表示输入状态（或称原因），右结点表示输出状态（或称结果）。
3、ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。
ci和ei均可取值0或1，0表示某状态不出现，1表示某状态出现。
2.2因果图概念1、关系（图2-1 因果图关系）①恒等：若ci是1，则ei也是1；否则ei为0。
②非：若ci是1，则ei是0；否则ei是1。
③或：若c1或c2或c3是1，则ei是1；否则ei为0。
“或”可有任意个输入。
④与：若c1和c2都是1，则ei为1；否则ei为0。
“与”也可有任意个输入。
2、约束输入状态相互之间还可能存在某些依赖关系，称为约束。
例如，某些输入条件本身不可能同时出现。
输出状态之间也往往存在约束。
在因果图中，用特定的符号标明这些约束。
如图2-2所示。
图2-2因果图约束A.输入条件的约束有以下4类：①E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。
②I约束（或）：a、b和c中至少有一个必须是1，即a、b 和c不能同时为0。
测试用例设计方法之判定表和因果图
测试⽤例设计⽅法之判定表和因果图⼀、判定表等价类边界值分析法主要关注单个或者多个输⼊类条件的测试，并未考虑到输⼊条件之间的各种组合，输⼊条件与输出结果之间有相互制约关系的测试1、概念： 存在多个输⼊条件、多个输出结果，输⼊和输⼊之间有组合关系，输⼊和输出之间有依赖或者制约关系2、判定表的组成： -条件桩：所有输⼊条件、如⽋费状态、关机状态 -动作桩：所有的可能的输出结果，如允许主被叫、不允许主被叫 -条件项：单个条件的取值范围，⼀般都是有效等价类和⽆效等价类 -表⽰⽅式 -字符： -真/有效等价类/Y -假/⽆效等价类/N -数字 -真/有效等价类/Y -假/⽆效等价类/N -动作项：基于每⼀种条件的组合，得到确认的结果，如打不通、打得通3、设计测试⽤例的步骤： 1、明确条件桩（找到所有的属兔条件） 2、明确动作桩（找到所有的输出结果） 3、对条件桩进⾏组合 4、明确每个组合对应的动作桩（每个输⼊条件组合的情况下的输出结果） 5、设计测试⽤例，每⼀⾏对应⼀条测试⽤例4、判定表的应⽤场景： -多输⼊组合场景，即输⼊与输⼊之间有组合案例⼀、若⽤户⽋费或者关机则不允许主被叫； 步骤：1、找到所有的输⼊条件 2、找到输⼊条件的组合 3、找到组合对应的输出结果案例⼆、订单状态订单检查，如果⾦额⼤于500元，⼜未过期，则发出批准单和提货单；如果⾦额⼤于500元，但过期了，则不发批准单与提货单；如果⾦额⼩于500元，则不论是否过期都发出批准单和提货单；在过期的情况下，不论⾦额⼤⼩还需要发出通知单。
案例三、⽂件修改如果想对⽂件进⾏修改，输⼊的第⼀列字符必须是A/B，第⼆列字符必须是⼀个数字，如果第⼀列字符不正确，则给出信息L；如果第⼆列字符不正确，则给出信息M。
⼆、因果图（扩展） ------------------ ⼀般直接⽤判定表 因果图设计⽅法是对判定表的扩展 -概念：⽤图解的⽅法表⽰输⼊的各组合关系，写出判定表，进⽽设计测试⽤例的⼀种⽅法 -适⽤范围：适⽤于分析程序输⼊条件的各种组合情况，以及输⼊和输出之间的依赖关系 -核⼼： -因：即输⼊条件 -果：即输出结果 -基本符号（重点掌握） -恒等：条件成⽴，结果成⽴ -⾮（~）NOT: 条件成⽴，结果不成⽴，条件不成⽴，结果成⽴ -或（V）OR：只要有⼀个条件成⽴，结果就成⽴；所有条件都不成⽴时，结果才不成⽴ -与 ^ and：多个条件必须同时成⽴，结果成⽴；只要有⼀个条件不成⽴，结果就不成⽴。
[黑盒测试基本方法]之因果图与判定表
![[黑盒测试基本方法]之因果图与判定表](https://img.taocdn.com/s3/m/4c5b8d245901020207409c9a.png)
测试用例设计方法之因果图法与判定表1.因果图法1.1.前言从用自然语言书写的程序规格说明的描述中找出因（输入条件）和果（输出或程序状态的改变），可以通过因果图转换为判定表。
因果图法即因果分析图，又叫特性要因图、石川图或鱼翅图，它是由日本东京大学教授石川馨提出的一种通过带箭头的线，将质量问题与原因之间的关系表示出来，是分析影响产品质量的诸因素之间关系的一种工具。
1.2.定义因果图法是一种适合于描述对于多种输入条件组合的测试方法，根据输入条件的组合、约束关系和输出条件的因果关系，分析输入条件的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件涉及的各种组合情况。
因果图法一般和判定表结合使用，通过映射同时发生相互影响的多个输入来确定判定条件。
因果图法最终生成的就是判定表，它适合于检查程序输入条件的各种组合情况。
采用因果图法能帮助我们按照一定的步骤选择一组高效的测试用例，同时，还能指出程序规范中存在什么问题，鉴别和制作因果图。
因果图法着重分析输入条件的各种组合，每种组合条件就是“因”，它必然有一个输出的结果，这就是“果”。
1.3.因果关系因果图的表示中输入与输出间的因果关系有四种：1）恒等关系：当输入条件发生，会产生对应输出，当输入条件不发生时，不会产生都会应输出。
2）非关系：与恒等关系相反。
3）或关系：多个输入条件中，只要有一个发生，则会产生对应输出。
4）与关系：多个输入条件中，只有所有输入项发生时，才会产生对应输出。
特定的符号标明因果关系如下（图1.3.1）:图1.3.1因果图的表示中输入与输入间的约束关系有四种：1）异(E)：所有输入中至多一个输入条件发生。
2）或(I)：所有输入中至少一个输入条件发生。
3）唯一(O)：所有输入中有且只有一个输入条件发生。
4）要求(R)：所有输入中只有一个输入条件发生，则其它输入也会发生。
特定的符号标明输入与输入间约束关系如下（图1.3.2）:图1.3.2因果图的表示中输出条件约束类型（见图1.3.2）：1）输出条件的约束只有M约束(强制)：若结果a是1，则结果b强制为0。
因果图法实例
1.某软件规格说明书包含这样的要求：第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改，但如果第一列字符不正确，则给出信息L；如果第二列字符不是数字，则给出信息M。
解答：1)根据题意，原因和结果如下：原因：1——第一列字符是A；2——第一列字符是B；3——第二列字符是一数字。
结果：21——修改文件；22 ——给出信息L；23——给出信息M。
2)其对应的因果图如下：11为中间节点；考虑到原因1和原因2不可能同时为1，因此在因果图上施加E 约束。
3)根据因果图建立判定表。
表中8种情况的左面两列情况中，原因①和原因②同时为1，这是不可能出现的，故应排除这两种情况。
表的最下一栏给出了6种情况的测试用例，这是我们所需要的数据。
2.有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。
其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。
若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。
1)分析这一段说明，列出原因和结果原因：1——售货机有零钱找2——投入1元硬币3——投入5角硬币4——押下橙汁按钮5——.押下啤酒按钮结果：21——售货机〖零钱找完〗灯亮22——退还1元硬币23——退还5角硬币24——送出橙汁饮料25——送出啤酒饮料2)画出因果图，如图所示。
所有原因结点列在左边，所有结果结点列在右边。
建立中间结点，表示处理的中间状态。
中间结点：11——投入1元硬币且押下饮料按钮12——押下〖橙汁〗或〖啤酒〗的按钮13——应当找5角零钱并且售货机有零钱找14——钱已付清3)转换成判定表：4)在判定表中，阴影部分表示因违反约束条件的不可能出现的情况，删去。
第16列与第32列因什么动作也没做，也删去。
最后可根据剩下的16列作为确定测试用例的依据。
决策表 因果图
等价类、边界值：判定输入条件项的合法性决策表、因果图：判定输入条件项的逻辑关系决策表(判定表)优点：它能把复杂的问题按各种可能的情况一一列举出来，简明而易于理解，也可避免遗漏。
适用条件：B. Beizer 指出了适合使用判定表设计测试用例的条件：①规格说明以判定表形式给出,或很容易转换成判定表。
②条件的排列顺序不会也不影响执行哪些操作。
③规则的排列顺序不会也不影响执行哪些操作。
④每当某一规则的条件已经满足,并确定要执行的操作后,不必检验别的规则。
⑤如果某一规则得到满足要执行多个操作,这些操作的执行顺序无关紧要。
B. Beizer提出这5个必要条件的目的是为了使操作的执行完全依赖于条件的组合。
其实对于某些不满足这几条的判定表，同样可以借以设计测试用例，只不过尚需增加其它的测试用例罢了。
因果图前面介绍的等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输入条件之间的联系。
如果在测试时必须考虑输入条件的各种组合，可能的组合数将是天文数字。
因此必须考虑使用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来考虑设计测试用例，这就需要利用因果图。
因果图方法最终生成的就是决策表。
它适合于检查程序输入条件的各种组合情况。
利用因果图生成测试用例的基本步骤是：▪分析软件规格说明描述中，哪些是原因（即输入条件或输入条件的等价类），哪些是结果（即输出条件），并给每个原因和结果赋予一个标识符。
▪分析软件规格说明描述中的语义，找出原因与结果之间，原因与原因之间对应的是什么关系? 根据这些关系，画出因果图。
▪由于语法或环境限制，有些原因与原因之间，原因与结果之间的组合情况不可能出现。
为表明这些特殊情况，在因果图上用一些记号标明约束或限制条件。
▪把因果图转换决策定表。
▪把决策表的每一列拿出来作为依据，设计测试用例。
通常，在因果图中，用Ci表示原因，Ei表示结果，其基本符号如图5.15所示。
各结点表示状态，可取值“0”或“1”。
测试用例设计方法2——因果图判定表
测试用例设计方法2——因果图判定表判定表法判定表是分析和表达多种输入情况下执行不同动作的工具，判定表方法主要用于处理程序输入条件的不同组合，但是要求条件的组合必须是bool类型，而且条件和预期的结果都是可以分析出来的。
判定表能够有效地弥补等价类和边界值方法的不足，使得输入条件之间的组合和相互影响得到充分的测试。
使用判定表的一般思路是：1、需求分析，分析出条件和结果之间的各种组合2、将条件和结果分别填入判定表3、讲条件和结果进行二进制排列4、针对每一项组合，分析出结果，并去除无效项，是判定表得到简化。
在合并判定表时，如果条件之中只有一个不同，则可以合并。
如果判定表的组合不够多，建议不要进行合并，这样可以测试的充分一些。
5、每一列生成一个测试用例以阅读指南的例子来设计一个判定表：从例子中可以看到，不同的条件组合使用判定表方法可以充分弥补等价类边界值得不足，但是当输入条件过多时，使用判定表会产生大量测试用例。
而其无效用例不易发现，更不能覆盖条件之间的先后关系。
因此，在一定情况下，使用判定表还需要因果图的帮忙。
--------------------------------------------------------------------------------因果图因果图用于描述系统之间的输入输出，输入输出之间的约束关系和因果关系。
因果图与判定表往往结合使用，使用因果图可以得到判定表。
使用因果图的方法：1、分析输入输出并进行标识2、分析输入和输入、输入和输出之间的关系3、将得到的关系使用因果图的方法表示出来4、根据因果图得到判定表5、依据判定表生成测试用例这里分析一个自动售货机的因果图分析方法：条件：有一个处理单价为5角的自动售货机，当投入5角或1元硬币时，选择橙汁或啤酒，饮料出来；若自动售货机没有零钱，则显示零钱照完，亮红灯，这时候投入的1元被退出来，饮料不送出来。
如果有零钱，则出饮料并找5角钱。
因果图判定表工程方法
因果图判定表工程方法目录1.概述 (4)2.适用范围 (4)3.工程方法定义 (5)3.1.因果图 (5)3.2.判定表 (6)4.接口描述 (6)4.1.工程方法使用环境 (6)4.2.输入 (7)4.3.输出 (7)5.应用分析及指导 (7)5.1.应用分析 (7)5.2.应用指导 (7)6.测试分部的应用及案例 (9)6.1.无线测试分部简化实例 (9)6.1.1.工程方法的输入 (9)6.1.2.标识输入与输出 (9)6.1.3.画出因果图 (9)6.1.4.转换为判定表 (9)6.1.5.判定表简化 (10)6.1.6.生成测试项目 (10)7.相关表格 (10)8.工具需求 (10)9.附录 (11)10.参考文档 (11)因果图、判定表工程方法关键词：阶段、活动、工程方法、SDV/SIT、因果图、判定表摘要：本文详细描述了测试设计过程中因果图、判定表工程方法缩略语清单：1. 概述因果图、判定表是一种充分考虑系统输入之间的组合、约束以及和输出因果关系的用例设计方法。
因果图用于描述系统的输入、输出，以及输入和输出之间的因果关系，输入和输入之间的约束关系，因果图的绘制过程是对被测试系统外部特征的建模过程。
判定表可以由因果图转换得到，它用于对所有输入进行组合和筛选，并得到对应的输出。
因果图和判定表两种方法在实际使用中结合紧密，往往同时使用，此时可以理解因果图为判定表的前置过程。
此外，对于一些简单的系统，或输入与输出已经非常明确的系统，判定表可以单独使用。
因果图和判定表的方法在业界广泛使用，是非常成熟的两种工程方法。
它们不仅应用在测试设计过程中，同时在开发设计过程中也有应用。
2. 适用范围适用阶段：因果图和判定表的工程方法适用于测试方案设计阶段的特性测试设计活动中使用适用业务：因果图和判定表的方法是一种通用的测试设计方法，可以适用于所有类型的业务以下情况下不适宜使用本工程方法：1.输入和输出不明确，或输入与输出因果关系不明确的情况下。
黑盒测试_判定表因果图
功率大于50马力吗？
Y Y Y
条 维修记录不全吗？ 件 动 进行优先处理 作 作其他处理
运行超过10年吗？
1，2合并，5，7合并，6，8合并
举例：维修机器问题(续)
（5）化简；
(1) 功率大于50马力吗？ Y Y — (2) Y N Y (3) Y N N (4) N — Y (5) N — N
（4）
填 写 判 定 表
⑴ ⑵ ⑶ ⑷ ⑸ ⑹ ⑺ ⑻ F F F F F F F F F F F T F T T T F F T F T F T T F T F F T T F T
a = c？ b = c？
非三角形
— — —
不等边三角形
动 等腰三角形 作
等边三角形 不可能
年增1x1114m3d1d2d3d4xxm4d4d5x1114m3d1d2d3d4xxm4d4d5nextdate函数的测试用例用例id月份日期年预期输出1341520012001年4月16日443020012001年5月1日54312001不可能6911520012001年1月16日1013120012001年2月1日1114121520012001年12月16日15123120012002年1月1日1621520012001年2月16日1722820042004年2月29日1822820012001年3月1日1922920042004年3月1日202292001不可能21222302001不可能用例id月份日期年预期输出1341520012001年4月16日443020012001年5月1日54312001不可能6911520012001年1月16日1013120012001年2月1日1114121520012001年12月16日15123120012002年1月1日1621520012001年2月16日1722820042004年2月29日1822820012001年3月1日1922920042004年3月1日202292001不可能21222302001不可能判定表技术适用的应用程序的特征?判定表技术适用的应用程序的特征
测试用例--因果图、判定表法
测试⽤例--因果图、判定表法因果图、判定表法⼀、应⽤场合 在界⾯中有多个控件，控件之间有组合或限制关系，不同的输⼊组合会对应不同的输出结果，如果想弄清楚不同的输⼊组合到底对应哪些输出结果，可以使⽤因果图/判定表法。
(因果图/判定表法⽐较适合测试组合数量较少的情况，⼀般少于20种)⼆、因果图 因（原因）：输⼊条件 果（结果）：输出结果 因果图：就是通过画图的⽅式来表⽰输⼊条件（因）和输出结果（果）之间的关系。
三、因果图中的图形符号 1、基本图形符号 表⽰的是因与果之间的关系 恒等 如果a=1 ，那么b=1 如果a=0，那么b=0 与 与的含义：只有所有条件都为1时，结果为1，有任何⼀个条件为0（或者所有条件为0）那么结果为0. 简化：全1为1，有0为0 分析过程如下图： 与的图形符号： 或 或的含义：只有所有条件都为0时，结果为0，有任何1个条件为1（或者所有条件为1）时，结果为1 简化：全0为0，有1为1 或的关系图形符号： ⾮：取反 如果a=1，那么b=0 如果a=0，那么b=1 2、限制关系图形符号 限制关系图形要么在因（输⼊条件）之间，要么在果（输出结果）之间。
互斥（E-exclude） 含义：可以不选，如果选只能选1个 唯⼀（O-Only） 含义：有且只有1个（必须要选，⽽且只能选1个） 唯⼀和互斥的区别： 互斥可以不选 唯⼀必须要选1个 包含（I-include） 含义：⾄少选1个（可以多选，不能不选，最少得选1个） 要求（R-required） 含义：如果a=1 那么要求b必须是1，反之如果a=0，那么b值⽆所谓 屏蔽（M-masked） 含义：当a=1时，b=0 当a=0，b的值有可能是1，也有可能是0四、测试步骤 被测程序：交通⼀卡通充值模拟系统 步骤1：了解需求，找出所有的输⼊条件（因） 投币50元 投币100元 充值50元 充值100元 步骤2：找出所有的输出结果（果） 成功充值并退卡 找零 错误提⽰并退卡 将因和果填⼊《判定表》中 步骤3：找出输⼊条件之间的组合和限制关系。
因果图法+判定表+正交试验法自我学习（转）
因果图法+判定表+正交试验法⾃我学习（转）1. 因果图法考虑到输⼊组合的情况有3个部分：1. 因=输⼊条件2. 中间结点=输出值必须的前提条件3. 果=输出条件通过有4种符号：1. 恒等，即因=1，果=1；因=0，果=0。
即果跟随因的变化⽽变2. ⾮，即因=1，果=0；因=0，果=1。
即因和果是对⽴的，永远不会统⼀3. 或，即有N个因中有1个因=1（⾄少有2个因），即果=1。
即只要有⼀个因达到规定的需求，果就能出现4. 与，即有N个因中（⾄少有2个因），每因都必须=1，果才会出现。
即只有全部的因都符合条件了，果才会出现与程序语⾔做⽐较：1. 恒等等于=2. ⾮等于!=3. 或等于||4. 与等于&&4种约束条件：1. E（互斥），相当于“⾮”2. I（包含），相当于“或”3. O（惟⼀），表⽰a和b当中必须有⼀个成⽴，且只有⼀个成⽴4. R（要求），相当于“恒等”5. M（屏蔽），表⽰当a=1时，b=0；⽽a=0时，b的值不确定通⽤因果图画法：1. 判定表驱动法由4个部分组成：1. 条件桩：列出问题的所有条件，次序⽆所谓2. 动作桩：列出问题规定可能采取的操作，顺序⽆约束3. 条件项：列出针对该问题所列条件的取值，在所有可能情况下的真假值4. 动作项：列出在条件项的各种取值情况下应该采取的动作5. 规则：任何⼀个条件组合的特定取值及其相应要执⾏的操作因果图与判定表的关系：因果图法是找出因和果，通过因果图转换为判定表1. 正交试验法正交试验设计⽅法是从⼤量的试验数据中挑选适量的、有代表性的点，即使⽤已经造好的表格“—”正交表来安排试验并进⾏数据分析例：为提⾼某化⼯产品的转化率，选择了三个有效因素进⾏条件试验，A=反应温度，B=反应时间，C=⽤碱量，且A：80~90度B：90~150分钟C：5%~7%⽬的：弄清因⼦A，B，C哪个对转化率，是主要的，次要的，从⽽确定最适合的条件，即在试验范围内选取三个⽔平：A：A1=80度，A2=85度，A3=90度B：B1=90分钟，B2=120分钟，B3=150分钟C：C1=5%，C2=6%，C3=7%当然选择因⼦是可以定量的，可以根据因⼦间的各⽔平距离⽽确定第1种—全⾯试验法优点：对各因⼦与指标间的关系剖析的⽐较清楚，但试验次数太多第2种—简单对⽐法1. ⾸先固定B、C于B1、C1，使A变化：B1C1——A1——A2——A3（好结果）若结果A3最好，则固定A于A3，C还是C1，使B变化依次下去对⽐优点：试验次数少，但选战代表性差故：我们就兼顾这2种⽅法的优点。
第02章_因果图法解析
什么是因果图？
因果图的组成（关系和约束）
因果图法设计测试用例的步骤
因果图与判定表的关系
引言
等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输 入条件之间的组合、输入条件之间的相互制约关系。这样虽然各种输入条件可 能出错的情况都已经测试到了，但多个输入条件组合起来可能出错的情况却被 忽视了。 但要检查输入条件的组合不是一件容易的事情，即使把所有输入条件划分 成等价类，他们之间的组合情况也相当多。因此必须考虑采用一种适合于描述 对于多种 条件的组合，相应产生多个动作的形式来考虑设计测试用例。这就需 要利用因果图（逻辑模型）。 因果图法能帮助测试人员按照一定的步骤，高效的开发测试用例，以检测 程序输入条件的各种组合情况，它是将自然语言转化为形式语言规格说明的一 种严格方法。 注：与判定表法区别？
T F F
F F F
c4:过失
A1:扣年终风险金 的4% A2:扣年终风险金 的2% A3:扣当月薪资的 8% A4:扣当月薪资的 4%
T
T
T
T
F
T
T
F
T
F
√
F
T
F
F
F
F
√ √ √
当输入条件过多时，使用判定表会产生 大量测试用例，而且也不能表达条件之 间的各种（先后）关系。 在一定情况下，那还有没有其他适合的 方法呢？
案例2
某软件规格说明书包含这样的要求：第一列字符必须
是A或B，第二列字符必须是一个数字，在此情况下进 行文件的修改，但如果第一列字符不正确，则给出信 息N；如果第二列字符不是数字，则给出信息M。
用因果图法测试上述程序。
步骤1：分析原因和结果
因果图与判定表
1
E ∨
22 11
~
∧
2
21
3
~
23
判定表
1
条件 （原 因）
2 1 1 0
3 1 0 1 1 0 1 0 A2
4 1 0 0 1 0 0 1 AV
5 0 1 1 1 0 1 0 B4
6 0 1 0 1 0 0 1 BT
7 0 0 1 0 1 0 0 V4
8 0 0 0 0 1 0 1 RW
1 2 3 11 22 21 23
例2：NextData函数判定表测试运用
采用判定表法则可以通过使用“不可能动作”的概念表示 条件的不可能组合，来强调这种依赖关系。 为了获得下一个日期，NextDate函数需要执行的操作只有 如下5种： ① day变量值加1； ② day变量值复位为1； ③ month变量值加1； ④ month变量值复位为1； ⑤ year变量值加1。
－ Y N
Y N －
N N －
建议
请回到本章开头重读
继续读下去 跳到下一章去读
停止阅读，请休息
X X
X
（15） （26） （34） （78）
例1：构造判定表
问题要求：“对功率大于50马力的机器、维 修记录不全且已运行10年以上的机器，应给 予优先的维修处理… …”。这里假定优先维 修：只要功率大于50马力；或记录不全且运 行10年以上；
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
因果图法习题3
原因: 1. 售货机有零钱找 2. 投入1元硬币 3. 投入5角硬币 4. 押下橙汁按钮 5. 押下啤酒按钮 建立中间结点，表示处理中间状态 11. 投入1元硬币且押下饮料按钮 12. 押下〖橙汁〗或〖啤酒〗的按钮 13. 应当找5角零钱并且售货机有零钱找 14. 钱已付清
因果图法习题3
黑盒测试的测试用例设计
因果图法 判定表法
输入
软件
输出 黑盒测试不深入代码细节
因果图法
等价类划分法和边界值分析方法都是着重考虑输入条 件，如果程序输入之间没有什么联系，采用等价类划 分和边界值分析是一种比较有效的方法。 但如果输入之间有关系，例如，约束关系、组合关系 ，这种关系用等价类划分和边界值分析是很难描述的 ，测试效果难以保障。 因此必须考虑使用一种适合于描述对于多种条件的组 合，产生多个相应动作的测试方法，因果图正是在此 背景下提出的。
结果： 21. 售货机〖零钱找完〗灯亮 22. 退还1元硬币 23. 退还5角硬币 24. 送出橙汁饮料 25. 送出啤酒饮料 备注1：所有原因结点列在左边，所有结果结点列在右边。 备注2：由于 2 与 3 、4 与 5 不能同时发生，分别加上约束条件E。
判定表法
在所有的黑盒测试方法中，基于判定表的测试是最 严格，最具有逻辑性的测试方法。
例2：NextData函数判定表测试运用
采用判定表法则可以通过使用“不可能动作”的概念表示 条件的不可能组合，来强调这种依赖关系。 为了获得下一个日期，NextDate函数需要执行的操作只有 如下5种： ① day变量值加1； ② day变量值复位为1； ③ month变量值加1； ④ month变量值复位为1； ⑤ year变量值加1。
因果图法习题2
原因： 1－前6列是空白 2－第1－5列是正确的标号 3－第6列是字母C 结果： 动作A—正确执行 E1:执行动作A 动作B－处理标号 E2:执行动作B后再执行动作A 动作C－错误处理 E3:执行动作C 动作D－处理续行 E4:执行动作D后再执行A
因果图法习题2
1 E1
O
2
E2
~
3 • 1－前6列是空白 • 2－第1－5列是正确的标号 • 3－第6列是字母C
判定表是把作为条件的所有输入的各种组合值以及 对应输出值都罗列出来而形成的表格。 它能够将复杂的问题按照各种可能的情况全部列举 出来，简明并避免遗漏。 因此，利用判定表能够设计出完整的测试用例集合
什么是判定表？
例：在翻开一本技术书的几页目录后，读者看到一张表，名 为“本书阅读指南”。表的内容给读者指明了在读书过程 中可能遇到的种种情况，以及作者针对各种情况给读者的 建议。表中列举了读者读书时可能遇到的三个问题。 若读者的回答是肯定的，标以字母“Y”； 若回答是否定的，标以字母“N”。 三个判定条件，其取值的组合共有8种情况。该表为读者 提供了4条建议，但并不需要每种情况都施行。这里把要 实施的建议在相应栏内标以“X”，其它建议相应的栏内 什么也不标。
1 1 1
中间结 果
动作 （结 果）
测试用例
因果图法习题2
例2：FORTRAN语言的语法规定是非常严格的。在一个 程序行中，第1－5列是标号区，第6列是续行区。 (1) 如果前6列是空白，则执行动作A。 (2) 如果第1－5列有标号且是正确的标号，则执行 动作B后再执行动作A； (3) 反之，若是错误的标号，则执行动作C。 (4) 如果第6列不是空白而是字母C则执行动作D后 再执行A； (5) 反之，执行动作C。
本书阅读指南判定表
1
问题
2
Y Y N
3
Y N Y
4
Y N N
5
N Y Y X
6
N Y N
7
N N Y
8
N N N
你觉得疲倦吗？ 你对内容感兴趣吗？ 书中的内容使你糊涂吗？
Y Y Y X
建议
请回到本章开头重读 继续读下去 跳到下一章去读 停止阅读，请休息
X
X
X
X X
X
判定表组成
判定表通常由4个部分组成： 条件桩：列出了问题的所有条件。通常认为列出的条件的次序 无关紧要。 动作桩：列出了问题规定可能采取的操作。这些操作的排列顺 序，没有约束。 条件项：列出针对它左列条件的取值，在所有可能情况下的真 假值。 动作项：列出在条件项的各种取值情况下应该采取的动作。 规则：任何一个条件组合的特定取值及相应要执行的操作。在 判定表中贯穿条件项和动作项的一列就是一条规则。
Y Y Y X
动作
进行优先维修 做其它处理
X
X
X
例1：化简后的判定表
1
功率大于50马力吗？
条件
2 N Y Y X
3 N Y N
4 N N －
Y － － X
维修记录不全？ 运行超过10年？
动作
进行优先维修 做其它处理
X
X
例2：NextData函数判定表测试运用
例2： NextDate函数输入为month(月份)、day(日期)和 year(年)，输出为输入后一天的日期。例如，如果输 入为：1964年8月16日，则输出为1964年8月17日。要 求输入变量month、day和year都是整数值，并且满足 以下条件： Con1． 1≤month≤12 Con2． 1≤day≤31 Con3． 1900≤year≤2050
判定表化简
化简工作是以合并相似规则为目标的。 若表中有两条或多条规则具有相同的动作，并且其条件 项之间存在着极为相似的关系，则可设法合并。
Y
N
Y
N
Y
N
Y
－
Y
N
Y
－
Y
X
N
X
－
X
N
N
N
X
X
X
化简后的本书阅读指南判定表
1 2 3 4
问题
你觉得疲倦吗？ 你对内容感兴趣吗？ 书中的内容使你糊涂吗？
－ Y Y X
判定表的组成
条件桩—列出问题的所有条件 条件项—针对条件桩给出的条件列出所有可能的取值 动作桩—列出问题规定的可能采取的操作 动作项—指出在条件项的各组取值情况下应采取的动作
条件桩
条件项
动作桩
动作项
规 则
将任何一个条件组合的 特定取值及相应要执行 的动作称为一条规则。 在决策表中贯穿条件项 和动作项的一列就是一 条规则。
因果图基本符号
因果图中用来表示4种因果关系的基本符号： c1 e1
c1
恒等
e1
～ 非
c1
c1
∨
c2
c3
e1
c2
∧
e1
或
与
因果图4种基本关系
在因果图的基本符号中，图中的左结点ci表示输入 状态(或称原因)，右结点ei表示输出状态(或称结果) 。ci 与 ei 取值0或1，0表示某状态不出现，1则表示 某状态出现。 恒等：若 c1 是1，则 e1 也为1，否则 e1 为0。
因果图法测试用例设计步骤
(1) 确定软件规格中的原因和结果。分析规格说明中哪些是原因(即 输入条件或输入条件的等价类)，哪些是结果(即输出条件)，并 给每个原因和结果赋予一个标识符。 (2) 确定原因和结果之间的逻辑关系。分析软件规格说明中的语义 ，找出原因与结果之间、原因与原因之间对应的关系，根据这 些关系画出因果图。 (3) 确定因果图中的各个约束。由于语法或环境的限制，有些原因 与原因之间、原因与结果之间的组合情况不可能出现。为表明 这些特殊情况，在因果图上用一些记号表明约束或限制条件。 (4) 把因果图转换为决策表。 (5) 根据决策表设计测试用例。
－ Y N
Y N －
N N －
建议
请回到本章开头重读
继续读下去 跳到下一章去读
停止阅读，请休息
X X
X
（15） （26） （34） （78）
例1：构造判定表
问题要求：“对功率大于50马力的机器、维 修记录不全且已运行10年以上的机器，应给 予优先的维修处理… …”。这里假定优先维 修：只要功率大于50马力；或记录不全且运 行10年以上；
∨
E3 E4
~
• • • •
E1:执行动作A E2:执行动作B后再执行动作A E3:执行动作C E4:执行动作D后再执行A
判定表
1 条件 1 2 Y Y 2 Y Y 3 Y N 4 Y N 5 N Y 6 N Y 7 N N 8 N N
3
结果 E1 E2 E3 E4 测试用例
Y
N
Y
N
X
Y
N
X
Y
N
X X
0 1 1 0 0
1－5：xyz 6：空白
判定表化简2
1
条件（ 原因）
3 0 1
4 0 0
1 2
1 0
3
动作（ 结果）
0
1
0
1
1
1
A
B
C D
0
1 0
第1－5列 第6列 第1－5列
1
1 0
第6列 第1－5列
0
1 1
第6列
测试用例
空白
空白
xyz 123
空白 空白
空白 空白
ቤተ መጻሕፍቲ ባይዱ
C ?
因果图法习题3
例3，有一个处理单价为5角钱的饮料的自动售货机软 件测试用例的设计。其规格说明如下： (1) 若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖 啤酒〗的按钮，则相应的饮料就送出来。 (2) 若售货机没有零钱找，则一个显示〖零钱找完〗 的红灯亮，这时在投入1元硬币并押下按钮后，饮料 不送出来而且1元硬币也退出来； (3) 若有零钱找，则显示〖零钱找完〗的红灯灭，在 送出饮料的同时退还5角硬币。”