软件测试学习笔记与思考（3）---黑盒测试

末蓝、 2022-02-24 08:16 274阅读 0赞

# 黑盒测试 #

### 因果图设计方法 ###

#### 定义 ####

是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。

#### 产生背景 ####

*  在等价类划分法和边界值分析方法中，都着重考虑输入条件，却没有考虑输入条件的相互组合，联系。这样导致输入条件可能出错的情况已经测试到了，多个输入条件组合可能出现错误情况而被忽视了。
 *  如果在输入是考虑相互之间的组合，这样组合情况的数目相当大，需要大量的测试用例。

#### 特点 ####

*  考虑输入条件间的组合关系；
 *  考虑输出条件对输入条件的依赖关系；
 *  测试用例发现错误效率高；
 *  能检测到功能说明中的某些不一致或遗漏；
 *  因果图最终生产的是判定表，适合于检查程序输入条件和各种组合情况。

#### 因果图介绍 ####

##### 4种因果关系 #####

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2NTcwNDY0_size_16_color_FFFFFF_t_70]  
因果图中使用了简单的逻辑符号，以直线联接左右结点。左结点表示输入状态（或称原因），右结点表示输出状态（或称结果）。  
Ci表示原因，通常置于图的左部；ei表示结果，通常在图的右部。Ci和ei均可取值0或1，0表示某状态不出现，1表示某状态出现。  
(这里来源：[https://blog.csdn.net/vincetest/article/details/1478552][https_blog.csdn.net_vincetest_article_details_1478552])

#### 因果图概念 ####

1.  关系  
    ①恒等：若ci是1，则e也是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.  约束  
    输入状态相互之间还可能存在某些依赖关系，称为约束。例如, 某些输入条件本身不可能同时出现。输出状态之间也往往存在约束。在因果图中,用特定的符号标明这些约束。  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2NTcwNDY0_size_16_color_FFFFFF_t_70 1]  
    A.输入条件的约束有以下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。

--------------------

作者：张元礼  
原文：[https://blog.csdn.net/vincetest/article/details/1478552][https_blog.csdn.net_vincetest_article_details_1478552]

--------------------

#### 因果图法基本步骤 ####

1.  分割功能说明书
2.  找出**原因** **结果**编号  
    原因：输入条件或输入条件的等价类；  
    结果：输出条件或输出条件的等价类；
3.  根据功能说明书中规定的原因和结果之间的关系画出因果图
4.  根据功能说明在因果图中加上约束条件
5.  根据因果图画出判定表
6.  为判定表的每一列设计一个测试用例

#### 例子 ####

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

解答:  
1.找出原因结果：  
原因：  
1——第一列字符是A；  
2——第一列字符是B；  
3——第二列字符是一数字。  
结果：  
21——修改文件；  
22 ——给出信息L；  
23——给出信息M。

其对应的因果图如下：  
11为中间节点；考虑到原因1和原因2不可能同时为1，因此在因果图上施加E约束。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2NTcwNDY0_size_16_color_FFFFFF_t_70 2]  
3)根据因果图建立判定表。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2NTcwNDY0_size_16_color_FFFFFF_t_70 3]

表中8种情况的左面两列情况中，原因①和原因②同时为1，这是不可能出现的，故应排除这两种情况。表的最下一栏给出了6种情况的测试用例，这是我们所需要的数据。

微信公众号：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2NTcwNDY0_size_16_color_FFFFFF_t_70 4]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2NTcwNDY0_size_16_color_FFFFFF_t_70]: /images/20220224/5f05b3e8de564ebdb3b753f6b92f7cdd.png
[https_blog.csdn.net_vincetest_article_details_1478552]: https://blog.csdn.net/vincetest/article/details/1478552
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2NTcwNDY0_size_16_color_FFFFFF_t_70 1]: /images/20220224/6d67cb266f7e4f9ea4a91e0590d45a9f.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2NTcwNDY0_size_16_color_FFFFFF_t_70 2]: /images/20220224/7cf2f7de0cf24121bcc4436add90bb97.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2NTcwNDY0_size_16_color_FFFFFF_t_70 3]: /images/20220224/14b4134888184ba6bba74208c4395734.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzM2NTcwNDY0_size_16_color_FFFFFF_t_70 4]: /images/20220224/f4d56920239b439c8df8b6633fe38f92.png