因果图实例

一些常用的固定符号:

     C:表示原因(cause);  Ef:代表结果(effect);  相等:;   非:;  与: ;   或:

E: 排他(exclusive);  I:at least(inclusive);  R:require ;    O:only one ;   M:强制标记(marking);

                                          

实例:

有一个处理单价为1元5角钱的盒装饮料的自动售货机软件。若投入1元5角硬币,按下“可乐”、“雪碧”、或“红茶”按钮,相应的饮料就送出来。若投入的是2元硬币,在送出饮料的同时退还5角硬币。


原因编号


内容


C1


投入1元5角硬币


C2


投入2元硬币


C3


按下“可乐”按钮


C4


按下“雪碧”按钮


C5


按下“红茶”按钮


结果编号


输出


需求


Ef1


退5角


C2∧(C3∨C4∨C5)


Ef2


送“可乐”


(C1∨C2)∧C3


Ef3


送“雪碧”


(C1∨C2)∧C4


Ef4


送“红茶”


(C1∨C2)∧C5


中间状态


内容


1


已投入硬币


2


已按下按钮

时间: 2024-10-10 17:56:26

因果图实例的相关文章

因果图法设计测试用例

一.使用因果图的好处 1 考虑了多个输入之间的相互组合.相互制约关系 2 能够帮助我们按一定步骤,高效率地选择测试用例,同时还能为我们指出,程序规格说明描述中存在着什么问题 二.利用因果图导出测试用例需要经过的一般步骤 1.分析程序规格说明的描述中,哪些是原因,哪些是结果. 2.分析程序规格说明的描述中语义的内容,并将其表示成连接各个原因与各个结果的因果图 3.在因果图上使用若干个特殊的符号标明特定的约束条件 4.把因果图转换成判定表 5.把判定表中每一列表示的情况写成测试用例三.因果图基本符号

因果图在黑盒测试中的应用

因果图的表示符号(原因→结果) 相等: if(C) then Ef 非: if(!C) then Ef 与:if(C1 && C2 && C3) then Ef 或:if(C1 || C2) then Ef Exclusive:排他 Either C1 or C2 or C3 C1,C2,C3不会同时成立,最多只能有一个成立 Inclusive:at least C1 or C2 must present C1,C2至少有一个是1,不能同时为零 Require:C1 req

黑盒测试及其实例

(一):黑盒测试 黑盒测试是指对程序功能性的测试,也就是不考虑内部的具体实现,仅仅就程序的功能是否满足需求进行测试,相当于一个看不见内部的黑盒子. (二):黑盒测试的作用 黑盒测试主要是注重功能的测试,包括: 功能的完整性,正确性测试 界面错误 输入和输出错误 数据库访问错误 性能错误 初始化和停止错误等等 (三):黑盒测试常用的方法 1:等价类划分 2:边界值分析法 3:因果图法 4:判定表组合法 (四):等价类划分 1:等价类是指某个输入域的子集合 2:分类 1:有效等价类,指符合输入域的子

等价类,边界值,判定图实例

案例实战-直角三角形 试用等价类划分.边界值分析和因果图加判定表驱动法为三角形问题中的直角三角形设计测试用例.假定三边边长a.b和c均为1到100之间的正整数,其中整数的要求通过数据类型控制.直角三角形问题满足以下规则: 当三边中任意两边边长之和小于等于第三边,则输出"非三角形": 当其中两边边长的平方和等于第三边的平方,则输出"直角三角形": 当任意两边边长的平方和都不等于第三边的平方,则输出"一般三角形". 当三边中任意一边边长小于1或者大于

测试用例之因果图

因果图法产生的背景: 等价类划分法和边界值分析方法都是着重考虑输入条件,但没有考虑输入条件的各种组合.输入条件之间的相互制约关系.这样虽然各种输入条件可能出错的情况已经测试到了,但多个输入条件组合起来可能出错的情况却被忽视了. 如果在测试时必须考虑输入条件的各种组合,则可能的组合数目将是天文数字,因此必须考虑采用一种适合于描述多种条件的组合.相应产生多个动作的形式来进行测试用例的设计,这就需要利用因果图(逻辑模型). 一.基本认识 定义 因果图(Cause-EffectGraphing)是一种利

《软件测试工程师》 17 用例设计方法-因果图

因果图(鱼骨图) 应用场景: 遇到复杂的业务逻辑,判定表无法搞定:判定表主要考虑条件与动作间的关系, 很少考虑条件与条件之间的关系,这时候就可以用到因果图. 输入与输出关系 1. 恒等:当输入条件发生时,结果一定发生:当输入条件不发生时,结果一定不发生 2. 非: 当输入条件发生时,结果一定不发生:当输入条件不发生时,结果一定发生 3. 与:当多个输入条件都发生时,结果才会出现 4. 或: 多个条件中的一个条件发生了,结果就会发生 输入与输入的关系: 1. 异:所以输入条件中,至多有一个:可以为

solr分布式索引【实战一、分片配置读取:工具类configUtil.java,读取配置代码片段,配置实例】

1 private static Properties prop = new Properties(); 2 3 private static String confFilePath = "conf" + File.separator + "config.properties";// 配置文件目录 4 static { 5 // 加载properties 6 InputStream is = null; 7 InputStreamReader isr = null;

Spring事务管理(详解+实例)

写这篇博客之前我首先读了<Spring in action>,之后在网上看了一些关于Spring事务管理的文章,感觉都没有讲全,这里就将书上的和网上关于事务的知识总结一下,参考的文章如下: Spring事务机制详解 Spring事务配置的五种方式 Spring中的事务管理实例详解 1 初步理解 理解事务之前,先讲一个你日常生活中最常干的事:取钱. 比如你去ATM机取1000块钱,大体有两个步骤:首先输入密码金额,银行卡扣掉1000元钱:然后ATM出1000元钱.这两个步骤必须是要么都执行要么都

【Kettle】4、SQL SERVER到SQL SERVER数据转换抽取实例

1.系统版本信息 System:Windows旗舰版 Service Pack1 Kettle版本:6.1.0.1-196 JDK版本:1.8.0_72 2.连接数据库 本次实例连接数据库时使用全局变量. 2.1 创建新转换:spoon启动后,点击Ctrl+N创建新转换 2.2 在新转换界面中,右键点击DB连接,系统会弹出[数据库连接]界面. windows系统环境下,可用${}获取变量的内容. 说明: 连接名称:配置数据源使用名称.(必填) 主机名称:数据库主机IP地址,此处演示使用本地IP(