7.白盒测试方法

基于逻辑覆盖的方法

判定覆盖(分支覆盖)

 设计最少的测试用例，每个条件分支的真假覆盖(M=T且N=T;M=F且N=F)

条件覆盖

 设计最少的测试用例，每个判断中每个条件的可能取值至少要满足一次(A(1) = T/F;B(2)=T/F;C(3)=T/F;D(4)=T/F)，每个测试用例覆盖全部的条件，每种条件的一种结果，即T1,F2,T3,F4；F1,T2,F3,T4；
 条件覆盖不一定包含判定覆盖

判定—条件覆盖

 设计最少的测试用例，分支真假覆盖的同时，各种条件也需覆盖(每个测试用例覆盖M,N,A,B,C,D)

条件组合覆盖

 设计最少的测试用例，将条件进行组合。(4个条件，12组合，34组合各4种结果(组合编号共8个))，覆盖所有组合结果

基本路径覆盖

 设计最少的测试用例，列出所有路径组合，设计用例覆盖全部路径可能。124；125；134；135