因果图判断表

软件测试基础之白话测试设计 -判定表

Definition

-定义是分析和表达多逻辑条件下执行不同操作的情况的工具1.2.3.4.列出问题所有的条件条件桩列出问题规定可能采取的动作动作桩列出针对左列条件的取值条件项列出在条件项的各种取值情况下应该采取的动作动作项问题要求：”……对功率大于50马力的机器、维修记录不全或已运行10年以上的机器，应给予优先的维修处理……”。这里假定，“维修记录不全”和“优先维修处理”均已在别处有更严格的定义。请建立判定表经典问题确定规则的个数

这里有3个条件，每个条件有两个取值，故应有2*2*2=8种规则。步骤1步骤2列出条件桩和动作桩步骤3填入条件项，填入动作桩和动作项步骤3合并项因果图法利用图解法分析输入的各种组合情况得出判定表因果关系因果图中使用了简单的逻辑符号，以直线联接左右结点。左结点表示输入状态（或称原因），右结点表示输出状态（或称结果）可取值0或1，0表示某状态不出现，1表示某状态出现。因果关系四种关系约束约束排他性约束排他性约束：各个原因之间不能同时为真，但可以同时为假。举个例子，小明同学不可能同时属于A班和B班，但可能既不是A班的，也不是B班的，而是C班的。包含性约束包含性约束：各个原因中总有一个为真。即可以同时为真，但不可以同时为假。举个例子，支付宝买家付款时，有个输入条件（既原因）是余额支付、网银支付，买家可以选择单独余额支付或者单独网银支付，也可以同时选择余额支付和网银支付2种方式。但是不可以选择不支付。必要性约束必要性约束：当原因a为真时，原因b必须同时为真；但是原因b为真时，原因a既可以为真，也可以为假。举数字证书的例子：现有的业务规则下，如果申请了数字证书（原因a），那么该用户必然通过了支付宝认证（原因b）。反之，如果用户通过了支付宝认证，那么不一定申请了数字证书（a）。唯一性约束唯一性约束：有且只有原因a和原因b中的一个为真。非此即彼，不存在第三种情况。举例来说，人的性别不是男，就是女，不会存在既不是男也不是女的人。结果约束掩码标记（结果约束）：如果结果b为真，那么结果a一定为假，如果结果b为假，则结果a的状态不定。还拿支付宝来举例子，先给出两个结果：安全控件运行正常（a），无法输入登陆密码（b）。如果无法输入登陆密码，那么可以判断是安全控件没有正常运行，反过来，如果可以输入登陆密码，则不能确定安全控件一定工作正常，有可能是用了FireFox浏览器访问Alipay的。使用因果图设计测试用例的步骤1.分析需求阅读需求文档，如果UserCase很复杂，尽量将它分解成若干个简单的部分。这样做的好处是，不必在一次处理过程中考虑所有的原因。没有固定的流程说明究竟分解到何种程度才算简单，需要测试人员根据自己的经验和业务复杂度具体分析。2.确定原因和结果在每个已经分解好的块中，找出哪些是原因，哪些是结果。并且把原因和结果分别画出来。原因放在一列，结果放在一列。如下图所示。3.确定逻辑关系继续分析需求文档，找出原因和结果之间的关系，用逻辑运算符标出。4.确定约束关系继续分析需求，找出原因和原因、结果与结果之间的约束限制，用上面说的约束关系标出。5.把因果图转换为决策表给每个原因分别取真和假二种状态，用0和1表示。画一个有限项决策表，列出所有状态的状态组合。包含3个原因、2个结果的有限项决策表如下。6.根据原因给出结果上面的决策表中，不一定每个原因的状态组合都是有效的。要根据因果图中的约束条件，去掉不可能出现的组合，从决策表中标记出来。并给出每个可能的原因组合对应的结果。

某软件规格说明书包含这样的要求：第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改，但如果第一列字符不正确，则给出信息L；如果第二列字符不是数字，则给出信息M。案例原因：

1——第一列字符是A；

2——第一列字符是B；

3——第二列字符是一数字。

结果：

21——修改文件；

22——给出信息L；

23——给出信息M。原因结果因果图判定表练习题某销售系统的“供货折扣计算模块”，采用如下规则计算供货折扣：当客户为批发型企业时，若订货数大于50件，发货距离不超过50KM，则折扣率为15%