黑盒测试之因果图测试.pptxVIP

第4章黑盒测试第4章黑盒测试4.1边界值测试4.2等价类测试4.3基于判定表的测试4.4因果图4.5其他黑盒测试方法4.6综合案例4.7本章小结

问题引入等价类划分法和边界值分析方法都是着重考虑输入条件，但没有考虑输入条件的各种组合、输入条件之间的相互制约关系。这样虽然各种输入条件可能出错的情况已经测试到了，但多个输入条件组合起来可能出错的情况却被忽视了。

问题引入

拿破仑说：“失一个钉子，坏了一只蹄铁；坏了一只蹄铁，折了一匹战马；折了一匹战马，伤了一位骑士；伤了一位骑士，输了一场战斗；输了一场战斗，亡了一个帝国。”这就是因果关系什么是因果关系？？

因果图法的定义

因果图分析法

因果图

因果图的概念

因果图中使用了简单的逻辑符号，以直线连接左右节点。左节点表示输入状态(或称原因)，右结点表示输出状态(或称结果)。通常用ci表示原因，一般置于图的左部；ei表示结果，通常在图的右部。ci和ei均可取值“0”或“1”，其中“0”表示某状态不出现，“1”表示某状态出现。

因果图中包含四种关系：

恒等：若c1为1，则e1也为1；若c1为0，则e1也为0。

非：若c1为1，则e1为0；若c1为0，则e1为1。

或：若c1或c2或c3为1，则e1为1；若c1、c2和c3都为0，则e1为0。“或”可有任意多个输入。

与：若c1和c2都为1，则ei为1；否则ei为0。“与”也可有任意多个输入。

因果图的四种关系如图4-4-1所示。

图4-4-1因果图的四种关系

图4-4-1因果图的四种关系

单击此处添加大标题内容在实际问题中输入状态相互之间、输出状态相互之间可能存在某些依赖关系，称为“约束”。为了表示原因与原因之间，结果与结果之间可能存在的约束条件，在因果图中可以附加一些表示约束条件的符号。对于输入条件的约束有E、I、O、R四种约束，对于输出条件的约束只有M约束。输入输出约束图形符号如图4-4-2所示。为便于理解，这里设c1、c2和c3表示不同的输入条件。

E(异)：表示c1、c2中至多有一个可能为1，即c1和c2不能同时为1。

I(或)：表示c1、c2、c3中至少有一个是1，即c1、c2、c3不能同时为0。

O(唯一)：表示c1、c2中必须有一个且仅有一个为1。

R(要求)：表示c1为1时，c2必须为1，即不可能c1为1时c2为0。

M(强制)：表示如果结果e1为1，则结果e2强制为0。

图4-4-2输入输出约束图形符号

c1e1c1e1～c1e1c2c3∨c1e1c2∧1、以下四个图例分别表示什么关系：课堂回顾

abEabIcabORabMab2、以下五种图例又分别表示什么关系？？课堂回顾

4.4.2因果图测试法因果图可以很清晰地描述各输入条件和输出结果的逻辑关系。如果在测试时必须考虑输入条件的各种组合，就可以利用因果图。因果图最终生成的是判定表。采用因果图设计测试用例的步骤如下：

分析软件规格说明描述中哪些是原因，哪些是结果。其中，原因常常是输入条件或是输入条件的等价类；结果常常是输出条件。然后给每个原因和结果赋予一个标识符。并且把原因和结果分别画出来，原因放在左边一列，结果放在右边一列。

分析软件规格说明描述中的语义，找出原因与结果之间、原因与原因之间对应的关系，根据这些关系，将其表示成连接各个原因与各个结果的“因果图”。由于语法或环境限制，有些原因与原因之间、原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号标明约束或限制条件。

把因果图转换成判定表。首先将因果图中的各原因作为判定表的条件项，因果图的各结果作为判定表的动作项。然后给每个原因分别取“真”和“假”两种状态，一般用“1”和“0”表示。最后根据各条件项的取值和因果图中表示的原因和结果之间的逻辑关系，确定相应的动作项的值，完成判定表的填写。

把判定表的每一列拿出来作为依据，设计测试用例。

4.4.3案例

软件规格说明书

第1列字符必须是A或B，第2列字符必须是一个数字，在此情况下进行文件的修改，但如果第1列字符不正确，则给出信息L，如果第2列字符不是数字，则给出信息M。

根据说明书分析出原因和结果

原因：

1——第1列字符是A；

2——第1列字符是B；

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

结果：

21——修改文件；

22——给出信息L；

23——给出信息M。

绘制因果图

根据原因和结果绘制因果图。把原因和结果用逻辑符号连接起来，画出因果图，如图4-4-3所示。

图4-4-3软件规格说明书因果图

考虑到原因1和原因2不可能同时为1，因此在因果图上施加E约束。具有约束的因果图如图4-4-4所示。图4-4-4有约束的因果图

(3