因果图与判定表

判定表的组成
条件桩—列出问题的所有条件 条件项—针对条件桩给出的条件列出所有可能的取值 动作桩—列出问题规定的可能采取的操作 动作项—指出在条件项的各组取值情况下应采取的动作
条件桩
条件项
动作桩
动作项
规 则
将任何一个条件组合的 特定取值及相应要执行 的动作称为一条规则。 在决策表中贯穿条件项 和动作项的一列就是一 条规则。
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。
例2：NextData函数判定表测试运用
采用判定表法则可以通过使用“不可能动作”的概念表示 条件的不可能组合，来强调这种依赖关系。 为了获得下一个日期，NextDate函数需要执行的操作只有 如下5种： ① day变量值加1； ② day变量值复位为1； ③ month变量值加1； ④ month变量值复位为1； ⑤ year变量值加1。
B.Beizer指出了适合于使用判定表设计测试用例的条件： 1、规格说明以判定表形式给出，或是很容易转换成判定表。 2、条件的排列顺序不会也不应影响执行哪些操作。 3、规则的排列顺序不会也不应影响执行哪些操作。 4、每当某一规则的条件已经满足，并确定要执行的操作后， 不必检验别的规则。 5、如果某一规则得到满足要执行多个操作，这些操作的执行 顺序无关紧要。 B.Beizer提出这5条必要条件的目的是为了使操作的执行完全依 赖于条件的组合。其实对某些不满足这几条的判定表，同样 可以借以设计测试用例，只是需要增加其它测试用例。
因果图法习题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
Y N －
N N －
建议
请回到本章开头重读
继续读下去 跳到下一章去读
停止阅读，请休息
X X
X
（15） （26） （34） （78）
例1：构造判定表
问题要求：“对功率大于50马力的机器、维 修记录不全且已运行10年以上的机器，应给 予优先的维修处理… …”。这里假定优先维 修：只要功率大于50马力；或记录不全且运 行10年以上；
非：若 c1 是1，则 e1 为0，否则e1为1。
或：若 c1 或 c2 或 c3 是1，则 e1 为1，否则 e1 为0。 与：若 c1 和 c2 都是1，则 e1 为1，否则 e1 为0。
因果图（续）
因果图中用来表示约束关系的约束符号：
a
E
异 I
a b
或 O
a b
唯一
b
c
a
a
R
M
要求
本书阅读指南判定表
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
因果图法习题1
例1：某个软件的规格说明中包含这样的要求： “第一列字符必须是A或B，第二列字符必须 是 一个数字，在此情况下进行文件的修改。但如 果第一列字符不正确，则给出信息L；如果第 二列字符不是数字，则给出信息M。”
原因： 1－－第一列字符是A; 2－－第一列字符是B; 3－－第二列字符是数字。 结果： 21－－修改文件; 22－－给出信息L; 23－－给出信息M。
因果图法习题3
原因: 1. 售货机有零钱找 2. 投入1元硬币 3. 投入5角硬币 4. 押下橙汁按钮 5. 押下啤酒按钮 建立中间结点，表示处理中间状态 11. 投入1元硬币且押下饮料按钮 12. 押下〖橙汁〗或〖啤酒〗的按钮 13. 应当找5角零钱并且售货机有零钱找 14. 钱已付清
因果图法习题3
判定表的生成步骤
（1） 确定规则的个数。 有n个条件的决策表有2n个规则（每个条件取真、假值）。 （2） 列出所有的条件桩和动作桩。 （3） 填入条件项。 （4） 填入动作项，得到初始判定表。 （5） 简化判定表，合并相似规则。 若表中有两条以上规则具有相同的动作，并且在条件项之 间存在极为相似的关系，便可以合并。 合并后的条件项用符号“-”表示，说明执行的动作与该条件 的取值无关，称为无关条件。
黑盒测试的测试用例设计
因果图法 判定表法
输入
软件
输出 黑盒测试不深入代码细节
因果图法
等价类划分法和边界值分析方法都是着重考虑输入条 件，如果程序输入之间没有什么联系，采用等价类划 分和边界值分析是一种比较有效的方法。 但如果输入之间有关系，例如，约束关系、组合关系 ，这种关系用等价类划分和边界值分析是很难描述的 ，测试效果难以保障。 因此必须考虑使用一种适合于描述对于多种条件的组 合，产生多个相应动作的测试方法，因果图正是在此 背景下提出的。
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角硬币。”
结果： 21. 售货机〖零钱找完〗灯亮 22. 退还1元硬币 23. 退还5角硬币 24. 送出橙汁饮料 25. 送出啤酒饮料 备注1：所有原因结点列在左边，所有结果结点列在右边。 备注2：由于 2 与 3 、4 与 5 不能同时发生，分别加上约束条件E。

判定表法
在所有的黑盒测试方法中，基于判定表的测试是最 严格，最具有逻辑性的测试方法。
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
因果图法测试用例设计步骤
(1) 确定软件规格中的原因和结果。分析规格说明中哪些是原因(即 输入条件或输入条件的等价类)，哪些是结果(即输出条件)，并 给每个原因和结果赋予一个标识符。 (2) 确定原因和结果之间的逻辑关系。分析软件规格说明中的语义 ，找出原因与结果之间、原因与原因之间对应的关系，根据这 些关系画出因果图。 (3) 确定因果图中的各个约束。由于语法或环境的限制，有些原因 与原因之间、原因与结果之间的组合情况不可能出现。为表明 这些特殊情况，在因果图上用一些记号表明约束或限制条件。 (4) 把因果图转换为决策表。 (5) 根据决策表设计测试用例。
b
强制
b
因果图中的约束
在实际问题中输入状态相互之间、输出状态相互之间可能存在 某些依赖关系，称为“约束”。对于输入条件的约束有E、I、 O、R四种约束，对于输出条件的约束只有M约束。 E约束(异)：a和b中最多有一个可能为1，即a和b不能同时为1。 I 约束(或)：a、b、c中至少有一个必须为1，即 a、b、c不能同 时为0。 O约束(唯一)：a和b必须有一个且仅有一个为1。 R约束(要求)：a是1时，b必须是1，即a为1时，b不能为0。 M约束(强制)：若结果a为1，则结果b强制为0。
∨
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
例1：构造判定表步骤
1：确定规则的个数。有3个条件，8 种规则。 2：列出所有的条件桩和动作桩。 3：填入条件项。 4：填入动作项。等待初始判定表。 5：简化判定表。
例1：初始判定表
1
条件
2
Y Y N X
3
Y N Y X
4
Y N N X
5
N Y Y X
6
N Y N
7
N N Y
8
N N N
功率大于50马力吗？ 维修记录不全？ 运行超过10年？
判定表化简1
条 件 结 果 1 2 3 A B C D 测试用例 4(E1:A) 6(E2:B/A) 1 0 0 1 0 1 0 0 0
1－5:空白 6空:空白
7(E4:D/A) 8(E3:C) 0 0 1 1 0 0 1 0 0 0 0 0 1 0
1－5：空白 6：C 1－5：123；6：空白 1－5：空白；6：?
判定表化简
化简工作是以合并相似规则为目标的。 若表中有两条或多条规则具有相同的动作，并且其条件 项之间存在着极为相似的关系，则可设法合并。
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
判定表是把作为条件的所有输入的各种组合值以及 对应输出值都罗列出来而形成的表格。 它能够将复杂的问题按照各种可能的情况全部列举 出来，简明并避免遗漏。 因此，利用判定表能够设计出完整的测试用例集合
什么是判定表？
例：在翻开一本技术书的几页目录后，读者看到一张表，名 为“本书阅读指南”。表的内容给读者指明了在读书过程 中可能遇到的种种情况，以及作者针对各种情况给读者的 建议。表中列举了读者读书时可能遇到的三个问题。 若读者的回答是肯定的，标以字母“Y”； 若回答是否定的，标以字母“N”。 三个判定条件，其取值的组合共有8种情况。该表为读者 提供了4条建议，但并不需要每种情况都施行。这里把要 实施的建议在相应栏内标以“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。