基础复习-白盒测试方法
白盒测试是一种测试手段，多用于单元测试阶段，测试对象是函数代码等。追求的目标叫做：逻辑覆盖率。共分为 语句覆盖，判定覆盖，条件覆盖，判定/条件覆盖 ，条件组合，路径覆盖 共六种测试方法。
语句覆盖
语句覆盖其就是让每句代码都至少执行一次的方法。
比如下面这段代码：
if a > 2:
print ">"
else:
print "<"
若是要保证每条语句都至少执行一次的话，你就需要俩条用例即可：a = 1 和 a = 3
判定覆盖
也叫分支覆盖，目的是让每个判定的 真假 都至少出现一次。
比如下面这段代码：
if a > 2 or b >3:
print ">"
else:
print "<"
若要保证每个判定真假都至少出现一次，则最少需要俩条用例：a = 3 和 a =1,b=1
这样 就保证了 判定(a>2orb>3) 真假至少出现了一次。
条件覆盖
保证代码中每个条件的真假都至少出现一次，这个就比较难了。来看下面的代码：
if a>1 or b>2:
print '>'
else：
print '<'
若要保证条件(a>1)和(b>2)和(else)都至少出现一次真假，那么用例如下：
a = 0,b = 0 ：此时条件(a>1)和(b>2)都出现了假
a = 4, b=4 ：此时条件(a>1)和(b>2)都出现了真
判定条件覆盖
这个方法就是要把判定和条件组合起来。用尽量少的用例同时满足俩种覆盖率的技术。
比如这段代码：
if a>1 and b>1:
print '>'
else:
print '<'
用例设计如下：
a = 0,b=0 此时条件(a>1)为假，条件(b>1)为假，判定(a>1 and b>1) 也为假。
a =2 ,b=2 此时条件(a>1)为真，条件(b>1)为真，判定(a>1 and b>1) 也为真。
这样我们仅用了 两条用例就完美实现了 所有条件和所有判定的真假都至少出现了一次的情况，当然面对更为复杂的判断，这个则更难，比如：
if a>1 and b>1 and c<1:
print '>'
else:
print '<'
用例如下 a =0,b=0,c=2 ，此时条件(a>1)(b>1)(c<1) 都为假，而判定(a>1 and b>1 and c<1) 也为假
a = 5,b=5,c=0 ，此时条件(a>1)(b>1)(c<1) 都为真，而判定(a>1 and b>1 and c<1) 也为真
条件组合覆盖
注意这个方法是针对判定作为结果的，只是手段是条件而已。
目的为：保证 判定的所有情况都至少出现一次 ，而不单单是真假。
if a>1 or b>1:
print '>'
else:
print '<'
我们这里要保证判定(a>1 or b>1)的所有情况都出现一次，用例如下：
a = 0,b=0 : 假假 = 假
a = 5,b=5 : 真真 = 真
a = 0,b=5 : 假真 = 真
a = 5,b=0 : 真假 = 真
结果就是至少4条用例才能判定的所有情况都至少出现一次，虽然三个都是真，但是原因是不同的。
路径覆盖
保证代码中每条路径都至少执行一次！注意，这里并非语句，而是路径。
例子如下：
if a>1:
print '*'
else:
print '%'
if b>1:
print '&'
else:
print '#'
这个例子中，如果我们是语句覆盖，那么俩条用例足以，保证每条语句都至少执行一次，最终的输出可以为：*& 和 %#
但是路径覆盖则不这么简单，路径中，第一个判定的真假和第二个判定的真假各种组合 成为各种路径。
所以要求输出至少为以下所有情况路径：*& 和 *# 和 %& 和 %# 排列组合共四种路径。
所以至少需要如下四条用例：
a = 5,b=5: *&
a = 5,b=0: *#
a = 0,b=5: %&
a = 0,b=0: %#
好了这就是路径覆盖，也是号称最强的覆盖法，在时间成本不够的情况下，优先选用路径覆盖是最全面的。
最后还要给大家多介绍俩种白盒覆盖率方法，只是这俩种更加冷门，知道的人不多：
ESTCA覆盖法
也叫错误敏感测试用例分析规则。由Foster提出，属于根据程序中的谓词最容易出错的部分得出的规则，属于大数据的范畴。
LCSAJ覆盖法
也叫线性代码顺序和跳转覆盖法，是一个比较全面的测试方法。
每个LCSAJ定义为一段代码：起始于程序入口或者一个跳转点，结束于程序出口或一个跳转点。
整个方法的做法就是：分层测试
第一层用语句覆盖，第二层是分支覆盖，第三层就是一段LCSAJ覆盖，第四层就是任意相连的俩段LCSAJ覆盖。第五层就是任意相连的三层LCSAJ覆盖，以此类推。看起来更像是 一种集成测试的方法。
