白盒和黑盒

白盒测试：又称为结构测试或逻辑驱动测试是一种按照程序内部逻辑结构和编码结构设计测试数据并完成测试的一种测试方法。

1语句覆盖：每一条语句至少被执行一次

2判定覆盖：每一条分支语句的“真”值和“假”值都至少执行一次。

3条件覆盖：每个判断中的每个条件都要执行一次 

4判定\条件覆盖：每个条件的所有可能取值至少能够获取一次，同时5所有可能的判定结果至少执行一次

5条件组合覆盖：每个判定中条件的各种组合至少出现一次

黑盒测试：又称为功能测试或数据驱动测试，是把测试对象当作看不见内部的黑盒。在完全不考虑程序内部结构和处理过程的情况下，测试者仅依据程序功能的需求规范考虑确定测试用例和推断测试结果的正确性。等价类划分法、边界值分析和因果图分析都属于黑盒测试。

1.7.2.1（1）等价类划分法是典型的黑盒测试方法，用这一方法设计测试用例可以不用考虑程序的内部结构，只需考虑需求规格说明书中的功能要求。等价类分为有效等价类和无效等价类

 （2）等价类划分法的原则：1）为每一个等价类规定唯一的编号；2）设计一个新的测试用例，使其尽可能多的覆盖尚未被覆盖的有效等价类，从重复这一步，直到所有有效等价类都被覆盖为止；3）设计一个新的测试用例，使其仅覆盖一个无效等价类，重复这一步，直到所有无效等价类都被覆盖为止。

（3）等价类划分法的使用步骤：1）划分等价类；2）建立等价类表；3）设计测试用例；4）细化等价类，设计测试用例。

 

 

1.7.2.2（1）边界值分析法就是对输入或输出的边界值进行测试的一种黑盒测试方法。通常边界值分析法是作为对等价类划分法的补充，这种情况下，其测试用例来自等价类的边界

 

（2）边界值分析法原则：1）如果输入条件规定了值的范围，则应该取刚达到这个范围的边界值，以及刚刚超越这个范围的边界值作为测试的输入数据；2）如果输入条件规定了输入值的个数，则用最大个数、最小个数、比最大个数大一个、比最小个数小一个的数作为测试数据；3）如果程序的规格说明给出的输入域或输出域是有序集合，则应选取集合的第一个元素和最后一个元素作为测试用例。

（3）边界值实例

测试计算平方根的函数： 输入实数，输出实数

 规格说明： 当输入0或比0大的数，

 输出它的正平方根； 当输入一个小于0的数时，

 显示错误信息 “平方根非法， 输入值小于0”

 并返回0

 分析边界值： 最大正实数，0，最小负实数

 测试用例： 输入最大正实数，

 输入绝对值很小的正实数，输入0，

 输入绝对值很小的负实数，输入最小负实数

（4）边界值分析与等价类的区别：

1) 边界值分析不是从某等价类中随便挑一个作为代表，而是使这个等价类的每个边界都要作为测试条件。

2) 边界值分析不仅考虑输入条件，还要考虑输出空间产生的测试情况。

1.7.2.3（1）因果图方法是一中充分考虑了输入情况的各种组合及输入条件之间的相互制约关系，从而设计测试用例的方法。

 

（2）因果图分析步骤：1)分析软件规格说明描述中, 哪些是原因(即输入条件或输入条件的等价类),那些是结果(即输出条件), 并给每个原因和结果赋予一个标识符。

 

2)分析软件规格说明描述中的语义，找出原因与结果之间, 原因与原因之间对应的关系，根据这些关系,画出因果图。

 

3)由于语法或环境限制, 有些原因与原因之间,原因与结果之间的组合情况不可能出现，为表明这些特殊情况, 在因果图上用一些记号表明约束或限制条件。

 

4)把因果图转换为判定表。

 

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

（3）因果图中出现的基本符号及主要原因和结果之间的关系：恒等、非、或、与

 

 

 

 

 

 

 

 

为了表示原因与原因之间，结果与结果之间可能存在的约束条件在因果图中可以附加一些表示约束条件的符号：互斥、或、唯一、要求、屏蔽