因果图测试用例
因果图判定表综合示例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示〖零钱找完〗的红间存在制约关系，从这。
因果图测试用例
3．建立判定表
判定表的建立应该依据软件规格说明，步骤如下：
1．确定规则的个数，假如有N个条件，每个条件有两个取值（0，1），故又2n种规则。
2．列出所有的条件桩和动作桩
3．填入条件项
4．填入动作项，制定初始判定表
发出
发出提货单
发出
发出
发出
发出通知单
发出
简化：比如〉500未过期和〈=500未过期。这两个条件项导致的结果是一样的，并且条件项之间很相似，我们就可以将它们合并成如下表：
金额
〉500和〈=500
〉500
〈=500
状态
未过期
已过期
已过期
发出批准单
发出
发出
发出提货单
发出
发出
发出通知单
发出
这里再引入一个概念--规则，以上判定表里，右部的每一列（条件项和对应的动作项）都是一条规则。每一条规则都可以转化为测试用例，测试用例如下表：
出错率是指在使用软件过程中，用户出现了多少错误，这些错误有多严重，从错误中是否容易恢复等。
练习：
1．订购单的检查。
如果金额超过500元，又未过期，则发出批准单和提货单；
如果金额低于500元，则不论是否过期都发出批准单和提货单，在过期的情况下还需要发出通知单。
金额
〉500
〉500
〈=500
〈=500
状态
未过期
已过期
未过期
已过期
发出批准单
发出
发出
<-10000
-10000到+10000
>+10000
软件测试用例之因果图法
软件测试⽤例之因果图法
简介
从⽤⾃然语⾔书写的程序规格说明的描述中找出因（输⼊条件）和果（输出或程序状态的改变），可以通过因果图转换为判定表。
因果图法即因果分析图，⼜叫特性要因图、⽯川图或鱼翅图，它是由⽇本东京⼤学教授⽯川馨提出的⼀种通过带箭头的线，将质量问题与原因之间的关系表⽰出来，是分析影响产品质量的诸因素之间关系的⼀种⼯具。
作⽤
因果图法是⼀种适合于描述对于多种输⼊条件组合的测试⽅法，根据输⼊条件的组合、约束关系和输出条件的因果关系，分析输⼊条件的各种组合情况，从⽽设计测试⽤例的⽅法，它适合于检查程序输⼊条件涉及的各种组合情况。
因果图法⼀般和判定表结合使⽤，通过映射同时发⽣相互影响的多个输⼊来确定判定条件。
因果图法最终⽣成的就是判定表，它适合于检查程序输⼊条件的各种组合情况。
采⽤因果图法能帮助我们按照⼀定的步骤选择⼀组⾼效的测试⽤例，同时，还能指出规范中存在什么问题，鉴别和制作因果图。
因果图法着重分析输⼊条件的各种组合，每种组合条件就是“因”，它必然有⼀个输出的结果，这就是“果”。
基本步骤
利⽤因果图导出测试⽤例⼀般要经过以下⼏个步骤：
1）分析软件规格说明的描述中哪些是原因，哪些是结果。
原因是输⼊或输⼊条件的等价类，结果是输出条件。
给每个原因和结果并赋予⼀个标识符，根据这些关系，画出因果图。
2）因果图上⽤⼀些记号表明约束条件或限制条件。
3）对需求加以分析并把它们表⽰为因果图之间的关系图。
4）把因果图转换成判定表。
5）将判定表的每⼀列作为依据，设计测试⽤例。
测试用例设计—自动售货机因果图分析
测试用例设计—自动售货机因果图分析命题设计了一个自动售货机软件测试用例，用于处理单价为50美分的饮料。
规格如下:如果你放入50美分或1元硬币，并按下按钮[橙汁]或[啤酒]，相应的饮料将交付如果自动售货机没有零钱，红灯将显示[零钱已经被换了]，然后在放入1元硬币并按下按钮后，饮料将不会被递送，并且1元硬币将退出。
如果有零钱，显示“换出”的红灯将熄灭，50美分将在饮料交付时返还。
分析根据这个命题，我们可以分析自动售货机业务中存在5个条件和5个结果。
条件如下:1。
自动售货机有零钱。
投入1元硬币3。
投入50美分硬币4。
按下橙汁按钮5。
按下啤酒按钮结果:1。
自动售货机[换出]灯亮着。
当自动售货机没有变化时，会出现红灯2。
当硬币投入1元并且自动售货机没有零钱时，返还1元硬币。
3.当硬币投入1元时，返还50美分。
当自动售货机4有变化时。
发送橙汁饮料5。
发送啤酒饮料因果图-绘制条件和结果有变化红灯亮1元1元50美分，啤酒50美分，橙汁因果图-绘制简单关系在绘制空白条件和结果后，我们可以标记1为主题中最直接和最简单的因果条件。
条件“有变化”和结果“红灯亮”之间的关系是“没有”。
当“有零钱”时，红灯不亮，而当自动售货机“没有零钱”时，红灯必须亮。
2年，有条件的“投1元”和有条件的“投50分”是一种“E”关系。
这两个动作不能同时发生，即1元钱和50美分(不能同时发生)；但是，我们允许“没有1元钱”和“没有50美分”(同时可能是假的)3，“啤酒选择”条件和“橙汁选择”条件为“e”关系，这两个动作不能同时发生，即“啤酒选择”和“橙汁选择”(不能同时为真)；但是我们允许“不喝啤酒”和“不喝橙汁”(这可能同时是错误的)4，条件“啤酒选择”和条件“橙汁选择”相当于程序处理过程，即价格和系统处理方法都是相同的，因此这两个条件可以组合成一个中间节点此外，在两个条件之间使用“或”的关系5。
请注意，有条件的“1元”和有条件的“50美分”不是等价关系。
黑盒测试学生成绩因果图测试用例
黑盒测试学生成绩因果图测试用例引言本文档旨在为黑盒测试学生成绩因果图模型提供测试用例。
通过这些测试用例，我们将验证学生成绩因果图模型的功能和性能，以确保其正常运行并生成准确可靠的学生评估结果。
目标学生成绩因果图模型的主要目标是根据学生的各项学习指标，预测他们的成绩。
因此，测试用例将以以下方面进行测试：1. 输入变量的准确性和完整性 2. 因果图模型的准确性和可靠性 3. 输出结果的准确性和一致性测试用例用例一：输入变量测试序号测试步骤预期结果1输入学生姓名和学号学生姓名和学号被正确接受2输入学生的平时作业成绩（>=0）平时作业成绩被正确接受3输入学生的考试成绩（>=0）考试成绩被正确接受4输入学生的出勤状况（百分比）出勤状况被正确接受5输入学生的课堂表现（0-10）课堂表现被正确接受6输入学生的参与度（0-10）参与度被正确接受7输入学生的作业提交状况（百分比）作业提交状况被正确接受8输入学生的学习时间（分钟）学习时间被正确接受9输入学生的自觉程度（0-10）自觉程度被正确接受用例二：模型准确性测试序号测试步骤预期结果1输入多个学生的各项学习指标，如平时作业、考试成绩等模型能够正确计算学生的预测成绩2输入一个学生的学习指标，并将同一学生的指标再次输入进行重复测试模型应该生成相同的预测成绩3输入学生的学习指标中有一项或多项缺失模型应该能够正确处理缺失的学习指标4输入学生的学习指标中有异常值模型应该能够正确处理异常值5输入学生的学习指标中有不合理的组合模型应该能够警告或处理不合理的组合6输入学生的学习指标中的数据有误模型应该能够识别并纠正错误的学习指标用例三：输出结果测试序号测试步骤预期结果1输入多个学生的各项学习指标，模型能够生成准确的预包括平时作业、考试成绩等测成绩2输入多个学生的学习指标，并将同一学生的指标再次输入进行重复测试模型生成的预测成绩应该相同3输入学生的学习指标中有一项或多项缺失模型应该能够对缺失的指标进行插补并生成预测成绩4输入学生的学习指标中有异常值模型应该能够对异常值进行处理并生成预测成绩5输入学生的学习指标中有不合理的组合模型应该能够警告或处理不合理的组合6输入学生的学习指标中的数据有误模型应该能够识别并纠正错误的学习指标结论通过对学生成绩因果图模型的黑盒测试用例的执行，可以验证模型的输入变量处理、模型准确性和输出结果的正确性。
软件测试第四章--因果图讲解
（4）把因果图转换为决策表。 （5）根据决策表中的每一列设计测试用例。
3.6.3 因果图法测试举例
实例 用因果图法测试以下程序。
程序的规格说明要求：输入的第一个字符必须是#或*， 第二个字符必须是一个数字，此情况下进行文件的修改；如 果第一个字符不是#或*，则给出信息N，如果第二个字符不 是数字，则给出信息M。
和果（输出结果或程序状态的改变），画出因果图。
（2）将得到的因果图转换为判定表。 （3）为判定表中每一列所表示的情况设计一个测试用例。
因果图法的简介（续）
使用因果图法的优点：
（1）考虑到了输入情况的各种组合以及各个输入情况之间的 相互制约关系。
（2）能够帮助测试人员按照一定的步骤，高效率的开发测试 用例。
a
R
b
要求
R约束(要求)：a是1时，b必须是1，即a为1时，b不能为0。
因果图（续）
因果图中用来表示约束关系的约束符号：
a
M
b
强制
M约束(强制)：若结果a为1，则结果b强制为0。
因果图（续）
因果图中用来表示约束关系的约束符号：
E 异
a
I
b 或
a
a
O
b b
唯一
c
a
a
R
M
要求
b
强制
b
因果图（续）
因果图法最终生成的是决策表。利用因果图生成测试用例的 基本步骤如下：
（1）分析软件规格说明中哪些是原因（即输入条件或输入条 件的等价类），哪些是结果（即输出条件），并给每个原因 和结果赋予一个标识符。
黑盒测试用例--因果图设计法
黑盒测试用例－－因果图设计法
•因果图：是一种简化了的逻辑图，能直观地表明程序输入条件（原因）和输出动作（结果）之间的相互关系
•因果图法：是借助图形来设计测试用例的一种系统方法，特别适用于被测试程序具有多种输入条件，程序的输出又依赖于输入条件的各种的情况。
描述：
1.年薪制员工：严重过失，扣年终风险金的4%；
过失，扣年终风险金的2%
2.非年薪制员工：严重过失，扣当月薪资的8%
过失，扣当月薪资的4%
要求：如果年薪制员工既是过失又是严重过失则扣年终风险金的4% ；非年薪制员工既是过失又是严重过失扣当月薪资的8%
首先列出原因和结果
其次画出因果图：
再次：转换为判定表：
最后：分析测试用例
因果图的优点、缺点：
优点：不论输入条件的组合多么复杂，总可以按照上面的例子给出的步骤找出测试用例。
不足：输入条件的组合数2ª随a的上升急剧增长，当a较大时，因果图的结构将变得十分复杂，而把因果图转换为判定表则更为麻烦。
转自：哈尔滨软件测试交流/。
因果图测试法附简单实例
I(包含、或)。C1 C2两个原因至少有一个出 现。
因果图的约束条件
原因--->原因
R(需求)。C1出现时C2必定出现。但C1的值 与C2无关。
O(唯一)。C1、C2两个原因必须有一个出现， 且仅有一个出现。
因果图的约束条件
结果--->结果
M(屏蔽)。Ef1出现时，Ef2必定不出现；Ef1 不出现时，Ef2则不确定。
若投入3张一元钞票，按下“可乐、冰红茶或雪碧”按钮后， 饮料自动送出； 若投入1张五元的钞票，则在送出饮料后退还两元零钱。
实例分析
自动售货机售卖可乐、冰红茶和雪碧三种饮料，单价都是3元。自动售货机 只接受面值五元或一元的钞票。 若投入3张一元钞票，按下“可乐、冰红茶或雪碧”按钮后，饮料自动送出；若 投入1张五元的钞票，则在送出饮料后退还两元零钱。
C4 选择冰红茶 E
C5 选择冰雪碧
Cm3
投入5元
Cm2
投入3元
Cm4
出货
实例分析
完整的因果图
投入3张一元纸币 C1
E 投入1张五元纸币 C2
I
选择可乐
C3
Cm3
投入5元
Cm2
投入3元
Cm4
出货
选择冰红茶
C4
E
选择冰雪碧 C5
Cm1
选择了饮料
E1 退还两元零钱 E2 可乐出货 E3 冰红茶 E4 雪碧出货
（1）确定软件规格(需求)中的原因和结果，给每个结果原因加上标示符
原因
C1：投入3张一元纸币 C2：投入1张五元纸币 C3：选择可乐 C4：选择冰红茶 C5：选择雪碧
结果
E1：退还两元零钱 E2：可乐出货 E3：冰红茶出货 E4：雪碧出货
因果图法测试举例(精)
• 实例3：有一个处理单价为5角钱的饮料的 自动售货机软件测试用例的设计。其规格 说明如下：
–若投入5角钱或1元钱的硬币，压下【橙汁】 或【啤酒】的按钮，则相应的饮料就送出来 –若售货机没有零钱找，则一个显示【零钱 找完】的红灯亮，这时在投入1元硬币并押 下按钮后，饮料不送出来而且1元硬币也退 出来 –若有零钱找，则显示【零钱找完】的红灯 灭，在送出饮料的同时退还5角硬币
4
2
因果图法测试举例
• 建立中间节点，表示处理中间状态
• • • • 11.投入1元硬币且押下饮料按钮 12.押下【橙汁】或【啤酒】的按钮 13.应当找5角零钱并且售货机有零钱找 14.钱已付清
3
因果图法测试举例
• （2）画出因果图。所有原因节点列在左边， 所有结果节点列在右边 • （3）由于2与3，4与5不能同时发生，分别 加上约束条件E • （4）因果图 • （5）转换成决策表
1
因果图法测试举例
（1）分析这一段说明，列出原因和结果
原• 4.押下橙汁按钮 • 5.押下啤酒按钮
结果: • 21.售货机【零钱找 完】灯亮 • 22.退还1元硬币 • 23.退还5角硬币 • 24.送出橙汁饮料 • 25.送出啤酒饮料
测试用例设计—自动售货机因果图分析
测试用例设计—自动售货机因果图分析命题有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。
其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。
若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。
分析根据该命题，我们可以分析出，自动售货机的业务中一共存在5个条件和5个结果，分别是：条件：1.售货机有零钱找2.投入1元硬币3.投入5角硬币4.押下橙汁按钮5.押下啤酒按钮结果：1.售货机〖零钱找完〗灯亮当售货机中没有零钱的时候就有亮红灯2.退还1元硬币当投入1元，而且售货机中没有零钱可找的时候3.退还5角硬币 当投入1元，而且售货机中有零钱可找的时候4.送出橙汁饮料5.送出啤酒饮料因果图－画条件和结果有零钱选橙汁选啤酒投5角投1元红灯亮出橙汁出啤酒找5角找1元因果图－画简单关系在画完空白的条件和结果之后，我们可以将题目中最直接和简单的因果条件标出1、条件“有零钱”和结果“红灯亮”是一个“非”的关系，当“有零钱”的时候，红灯是不亮的，而当售货机中“没有零钱”的时候，红灯必须要亮的。
2、条件“投1元”和条件“投5角”是一个“E ”的关系，这两个动作不可能同时发生，即同时投入1元钱和5角钱（不能同时为真）；但是我们允许即“不投入1元钱”也“不投入5角钱”（可以同时为假）。
3、条件“选啤酒”和条件“选橙汁”是一个“E ”的关系，这两个动作不可能同时发生，即同时“选择啤酒”和“选择橙汁”（不能同时为真）；但是我们允许即“不选择啤酒”也“不选择橙汁”（可以同时为假）。
4、条件“选啤酒”和条件“选橙汁”对于程序处理过程是等价的，即二者无论是价格还是系统的处理方法都是相同的，因此这两个条件可以合并为一个中间节点。
而且这两个条件之间使用“或”的关系。
测试用例设计--因果图
测试⽤例设计--因果图1、为什么采⽤因果图测试⽤例的测试⽅法？判定表设计法在设计测试⽤例的过程中，考虑了输⼊与输⼊存在约束约束关系，没有考虑到输⼊与输出之间的约束关系。
简单的业务逻辑可以⽤判定表解决，复杂的约束关系就不太适合了。
2、什么是因果图设计法？因果图在软件测试⽤例的设计过程中，⽤于描述输⼊与输⼊、输⼊与输出之间存在的约束关系。
针对需求规格，将原因和影响分为2组4类：输⼊与输出、输⼊与输⼊。
输⼊与输出的关系主要有：恒等、⾮、与、或恒等：若输⼊条件发⽣，则⼀定会产⽣对应的输出，若输⼊条件不发⽣，则⼀定不会产⽣对应的输出⾮：若输⼊条件发⽣，则⼀定不会产⽣对应的输出，若输⼊条件不发⽣，⼀定会产⽣对应的输出与：多个输⼊条件，只有所有输⼊条件发⽣时，才会产⽣对应的输出或：在多个输⼊条件中，只要有⼀个发⽣，则会产⽣对应输出。
输⼊与输⼊之间同样存在异、或、唯⼀、要求等4种关系异（所有输⼊条件中⾄多有⼀个发⽣，可以⼀个条件条件也不发⽣）或（所有输⼊条件⾄少有⼀个输⼊条件发⽣，也可以多个条件共存）唯⼀（所有输⼊条件有且只有⼀个发⽣）要求（所有输⼊条件中只要有⼀个条件发⽣，其他的输⼊也会发⽣）3、因果图设计测试⽤例步骤？⼀、根据需求确定原因（输⼊）和结果（输出）⼆、根据需求中输⼊与输出的关系，输⼊与输⼊之间的关系，画出因果图三、画出判定表，根据因果图，得到最终的最终判定表四、根据判定表得到⽤例规则，在结合等价类和边界值⽤例设计⽅法细化测试⽤例4、因果图设计测试⽤例的优缺点？优点：能够帮助测试⽤例设计者快速了解需求，理解业务逻辑，然后快速设计判定表，从⽽得到所需的测试⽤例，在因果关系复杂的系统中，可采⽤该⽅法缺点：在使⽤规则的过程中注意规则的规模5、因果图设计测试⽤例⽰例？第⼀步：根据需求找出输⼊（原因）和输出（结果）输⼊（原因）：第⼀列是A（C1）第⼀列是B（C2）第⼆列是数字（C3）中间结点：第⼀列为A或者B（C12）输出（果）：输出M（E1），修改⽂件（E2），输出L（E3）第⼆步：把相同类型的原因放在⼀起，类似原因的中间节点连好线，对应的结果放在对⾯。
自动售货机测试用例(因果图)之欧阳地创编
题目：有一个处理单价为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.设计测试用例1)在售货机有零钱找的情况下，投入1元硬币，押下橙汁按钮，找回5角硬币并送出橙汁饮料。
2)在售货机有零钱找的情况下，投入1元硬币，押下啤酒按钮，找回5角硬币并送出啤酒饮料。
3)在售货机有零钱找的情况下，投入1元硬币，系统不做任何处理。
4)在售货机有零钱找的情况下，投入5角硬币，押下橙汁按钮，送出橙汁饮料。
5)在售货机有零钱找的情况下，投入5角硬币，押下啤酒按钮，送出啤酒饮料。
6)在售货机有零钱找的情况下，投入5角硬币，系统不做任何处理。
7)在售货机有零钱找的情况下，押下橙汁按钮，系统不做任何处理。
8)在售货机有零钱找的情况下，押下啤酒按钮，系统不做任何处理。
9)在售货机没有零钱找的情况下，投入1元硬币，押下橙汁按钮，售货机“零钱找完”灯亮，并退还1元硬币。
10)在售货机没有零钱找的情况下，投入1元硬币，押下啤酒按钮，售货机“零钱找完”灯亮，并退还1元硬币。
11)在售货机没有零钱找的情况下，投入1元硬币，售货机“零钱找完”灯亮。
测试用例--因果图、判定表法
测试⽤例--因果图、判定表法因果图、判定表法⼀、应⽤场合 在界⾯中有多个控件，控件之间有组合或限制关系，不同的输⼊组合会对应不同的输出结果，如果想弄清楚不同的输⼊组合到底对应哪些输出结果，可以使⽤因果图/判定表法。
(因果图/判定表法⽐较适合测试组合数量较少的情况，⼀般少于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、第一步，明确测试品级：在进行测试用例设计之前，必须明确所
要测试的产品，包括其品牌、型号等。
2、第二步，了解产品的用途及其使用规则：明确产品的用途，
了解产品的特点和性能指标，以及产品的使用规则。
3、第三步，设计因果图：将了解到的产品的用途和使用规则，
以因果图的形式描述，以明确测试的案例点。
4、第四步，设计测试用例：根据案例点，设计测试用例，填写
用例文档，完成测试用例设计。
因果图法就是通过图形来表示输入和输出之间的关联关系，并依
据输入和输出之间的因果关系来设计测试用例。
因此，设计测试用例时，应尽量充分考虑因果图中的各种可能情况，例如正常工作流程、
可能出现的错误处理流程、特殊情况下的处理流程等。
同时，设计测试用例时还应考虑该测试方案的设计结构，如用例
的组织方式、对流程的剖析程度。
，确定测试的开始条件、结束条件、测试的优先级、预估的测试工期等，以及编写测试用例和其他测试文档，最终完成测试用例的设计。
因此，运用因果图法设计测试用例需要仔细分析考虑，以确保准确、完善的测试用例设计，有效提升测试的质量。
自动售货机测试用例(因果图)
之蔡仲巾千创作题目：有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。
其规格说明如下：若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。
若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。
1.分析这一段说明，列出原因和结果原因：3.投入5角硬币5.押下啤酒按钮结果：21.售货机〖零钱找完〗灯亮23.退还5角硬币如图所示。
所有原因结点列在左边，所有结果结点列在右边。
建立中间结点，暗示处理的中间状态。
中间结点：11. 投入1元硬币且押下饮料按钮12. 押下〖橙汁〗或〖啤酒〗的按钮13. 应当找5角零钱而且售货机有零钱找14. 钱已付清3.转换成判定表：1)在售货机有零钱找的情况下，投入1元硬币，押下橙汁按钮，找回5角硬币并送出橙汁饮料。
2)在售货机有零钱找的情况下，投入1元硬币，押下啤酒按钮，找回5角硬币并送出啤酒饮料。
3)在售货机有零钱找的情况下，投入1元硬币，系统不做任何处理。
4)在售货机有零钱找的情况下，投入5角硬币，押下橙汁按钮，送出橙汁饮料。
5)在售货机有零钱找的情况下，投入5角硬币，押下啤酒按钮，送出啤酒饮料。
6)在售货机有零钱找的情况下，投入5角硬币，系统不做任何处理。
7)在售货机有零钱找的情况下，押下橙汁按钮，系统不做任何处理。
8)在售货机有零钱找的情况下，押下啤酒按钮，系统不做任何处理。
9)在售货机没有零钱找的情况下，投入1元硬币，押下橙汁按钮，售货机“零钱找完”灯亮，并退还1元硬币。
10)在售货机没有零钱找的情况下，投入1元硬币，押下啤酒按钮，售货机“零钱找完”灯亮，并退还1元硬币。
11)在售货机没有零钱找的情况下，投入1元硬币，售货机“零钱找完”灯亮。
12)在售货机没有零钱找的情况下，投入5角硬币，押下橙汁按钮，售货机“零钱找完”灯亮，并送出橙汁饮料。
自动售货机测试用例(因果图)
题目：有一个处理单价为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.设计测试用例1)在售货机有零钱找的情况下，投入1元硬币，押下橙汁按钮，找回5角硬币并送出橙汁饮料。
2)在售货机有零钱找的情况下，投入1元硬币，押下啤酒按钮，找回5角硬币并送出啤酒饮料。
3)在售货机有零钱找的情况下，投入1元硬币，系统不做任何处理。
4)在售货机有零钱找的情况下，投入5角硬币，押下橙汁按钮，送出橙汁饮料。
5)在售货机有零钱找的情况下，投入5角硬币，押下啤酒按钮，送出啤酒饮料。
6)在售货机有零钱找的情况下，投入5角硬币，系统不做任何处理。
7)在售货机有零钱找的情况下，押下橙汁按钮，系统不做任何处理。
8)在售货机有零钱找的情况下，押下啤酒按钮，系统不做任何处理。
9)在售货机没有零钱找的情况下，投入1元硬币，押下橙汁按钮，售货机“零钱找完”灯亮，并退还1元硬币。
10)在售货机没有零钱找的情况下，投入1元硬币，押下啤酒按钮，售货机“零钱找完”灯亮，并退还1元硬币。
11)在售货机没有零钱找的情况下，投入1元硬币，售货机“零钱找完”灯亮。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
1.引言
等价类划分方法和边界值分析方法，都是着重考虑输入条件，但未考虑输入条件之间的联系、相互组合等。
考虑输入条件之间的相互组合，可能会产生一些新的情况。
但要检查输入条件的组合不是一件容易的事情，即使把所有输入条件划分成等价类，他们之间的组合情况也相当多。
因此必须考虑采用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来考虑设计测试用例。
这就需要利用因果图（逻辑模型）。
因果图（Cause-Effect Graphing）提供了一个把规格转化为判定表的系统化方法，从该图中可以产生测试数据。
其中原因是表示输入条件，结果是对输入执行的一系列计算后得到的输出。
因果图方法最终生成的就是判定表，它适合于检查程序输入条件的各种组合情况。
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因果图约束
.输入条件的约束有以下4类：
①E约束（异）：a和b中至多有一个可能为1，即a和b不能同时为1。
②I约束（或）：a、b和c中至少有一个必须是1，即a、b 和c不能同时为0。
③O约束（唯一）；a和b必须有一个，且仅有1个为1。
④R约束（要求）：a是1时，b必须是1，即不可能a是1时b是0。
B.输出条件约束类型
输出条件的约束只有M约束（强制）：若结果a是1，则结果b强制为0。
2.3因果图法设计测试用例步骤
1、分析待测得系统规格，找出原因与结果
分析软件规格说明描述中，那些是原因(即输入条件或输入条件的等价类)，那些是结果(即输出条件), 并给每个原因和结果赋予一个标识符。
2、画出因果图
分析软件规格说明描述中的语义。
找出原因与结果之间，原因与原因之间对应的关系。
根据这些关系，画出因果图。
3、标记约束或限制条件
由于语法或环境限制，有些原因与原因之间,原因与结果之间的组合情况下不可能出现。
为表明这些特殊情况，在因果图上用一些记号表明约束或限制条件。
4、把因果图转换为判定表。
5、用判定表中的每一项生成测试用例。
3.因果图实例
3.1实例一
某软件规格说明书包含这样的要求：第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改，但如果第一列字符不正确，则给出信息L；如果第二列字符不是数字，则给出信息M。
1、对说明进行分析，得到原因和结果：
原因：
1：第一列字符是A；
2：第一列字符是B；
3：第二列字符是一数字。
结果：
21：修改文件；
22：给出信息L；
23：给出信息M。
2、其对应的因果图如下：11为中间节点；考虑到原因1和原因2不可能同时为1，因此在因果图上施加E 约束，如图3-1所示。
图3-1实例一的因果图
3、根据因果图建立判定表。
表中8种情况的左面两列情况中，原因①和原因②同时为1，这是不可能出现的，故应排除这两种情况。
4、把判定表的每一列拿出来作为依据，设计测试用例
我们把表的最下一栏给出了6种情况的测试用例，这是我们所需要的数据。
3.2实例二
有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。
其规格说明如下：
若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。
若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；
若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。
1、分析这一段说明，列出原因和结果：
这本身只是一个实例，只是用来学习，其实其设计说明还是存在好多漏洞的，例如：如果售货机里没有饮料了怎么办？
原因：
1、售货机有零钱找
2、投入1元硬币
3、投入5角硬币
4、押下橙汁按钮
5、押下啤酒按钮
结果：
21、售货机〖零钱找完〗灯亮
22、退还1元硬币
23、退还5角硬币
24、送出橙汁饮料
25、送出啤酒饮料
2、画出因果图，如图3-2所示。
所有原因结点列在左边，所有结果结点列在右边。
建立中间结点，表示处理的中间状态。
中间结点：
11、投入1元硬币且押下饮料按钮
12、押下〖橙汁〗或〖啤酒〗的按钮
13、应当找5角零钱并且售货机有零钱找
14、钱已付清
图3-2 售货机因果图
3、转换成判定表：
4、在判定表中，阴影部分表示因违反约束条件的不可能出现的情况，删去。
第16列与第32列因什么动作也没做，也删去。
最后可根据剩下的16列作为确定测试用例的依据。
3.3实例三
NextData函数的精简决策表
M1＝{月份：每月有30天}
M2＝{月份：每月有31天，12月除外}
M3＝{月份：2月}
M4＝{月份：12月}
D1＝{日期：1<=日期<=27}
D2＝{日期：28}
D3＝{日期：29}
D4＝{日期：30}
D5＝{日期：31}
Y1 ＝{年：年是闰年}
Y2 ＝{年：年不是闰年}
输入变量间存在大量逻辑关系的NextData决策表。
分析这一段说明，列出原因（条件）和结果：
原因（条件）：
M1＝{月份：每月有30天}
M2＝{月份：每月有31天，12月除外}
M3＝{月份：2月}
M4＝{月份：12月}
D1＝{日期：1<=日期<=27}
D2＝{日期：28}
D3＝{日期：29}
D4＝{日期：30}
D5＝{日期：31}
Y1 ＝{年：年是闰年}
Y2 ＝{年：年不是闰年}
结果：
输入的日期无效，例如：2008-4-30；2007-2-29；2008-2-30；2008-2-31；日前为1；
月份为1；
日期+1；
月份+1；
年份+1；
该图没有考虑无效日期的情况。
输入条件过于庞大，个人觉得将其分成4部分利于编写判定表，每个Mi对应一张表。
这里就不过多描述了。
这里大家可以尝试用正交试验法解决。
3.4实例四
以中国象棋中马的走法为例子，具体说明：
1、如果落点在棋盘外，则不移动棋子；
2、如果落点与起点不构成日字型，则不移动棋子；
3、如果落点处有自己方棋子，则不移动棋子；
4、如果在落点方向的邻近交叉点有棋子（绊马腿），则不移动棋子；
5、如果不属于1-4条，且落点处无棋子，则移动棋子；
6、如果不属于1-4条，且落点处为对方棋子(非老将) ，则移动棋子并除去对方棋子；
7、如果不属于1-4条，且落点处为对方老将，则移动棋子，并提示战胜对方，游戏结束。
1、对说明进行分析，得到原因和结果：
原因：
1、落点在棋盘外；
2、不构成日字；
3、落点有自方棋子；
4、绊马腿；
5、落点无棋子；
6、落点为对方棋子；
7、落点为对方老将。
结果：
21、不移动；
22、移动；
23、移动己方棋子消除对方棋子；
24、移动并战胜对方。
2、根据分析出来的原因和结果，我们可以画出因果图，如下：
11这个结点称做中间结点，是为了让因果图的结构更加明了，简化因果图导出的判定表。
组合过于庞大（2的7次方）通过中间结点11，将判定表分成两部分，简化判定表如下：
将无用的组合去掉。
将上面两张表根据潜在的约束条件，再次修整，得到如下图：
4.因果图法优缺点
4.1优点
1、因果图法能够帮助我们按照一定步骤，高效的选择测试用例，设计多个输入条件组合用例
2、因果图分析还能为我们指出，软件规格说明描述中存在的问题
4.2缺点
1、输入条件与输出结果的因果关系，有时难以从软件需求规格说明书得到。
2、即时得到了这些因果关系，也会因为因果关系复杂导致因果图非常庞大，测试用例数目及其庞。