软件详细设计白盒测试方法,白盒测试详细总结

白盒测试基本要求

保证一个模块中的所有独立路径至少被执行一次；

对所有的逻辑值均需要测试真、假两个分支；

在上下边界及可操作范围内运行所有循环；

检查内部数据结构以确保其有效性。

测试覆盖标准

语句覆盖：是一个比较弱的测试标准，它的含义是：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。

它是最弱的逻辑覆盖，效果有限，必须与其它方法交互使用。

判定覆盖(也称为分支覆盖)：执行足够的测试用例，使得程序中的每一个分支至少都通过一次。

判定覆盖只比语句覆盖稍强一些，但实际效果表明，只是判定覆盖，还不能保证一定能查出在判断的条件中存在的错误。因此，还需要更强的逻辑覆盖准则去检验判断内部条件。

条件覆盖：执行足够的测试用例，使程序中每个判断的每个条件的每个可能取值至少执行一次。

条件覆盖深入到判定中的每个条件，但可能不能满足判定覆盖的要求。

判定/条件覆盖：执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个判定取到各种可能的结果。

条件组合覆盖：执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。

这是一种相当强的覆盖准则，可以有效地检

查各种可能的条件取值的组合是否正确。

它不但可覆盖所有条件的可能取值的组合，还可覆盖所有判断的可取分支，但可能有的路径会遗漏掉。

测试还不完全。

主要方法

逻辑驱动测试

语句覆盖

判定覆盖

条件覆盖

判定/条件覆盖

条件组合覆盖

路径测试

路径测试就是设计足够多的测试用例，覆盖被测试对象中的所有可能路径。这是最强的覆盖准则。

基本路径测试：设计足够多的测试用例，运行所测程序，要覆盖程序中所有可能的路径。但在路径数目很大时，真正做到完全覆盖是很困难的，必须把覆盖路径数目压缩到一定限度。例如程序中的循环体只执行一次。

语句覆盖

例1：

PROCEDURE M(VAR A，B，X：REAL)；

BEGIN

IF ((A>1) AND (B=0)) THEN X:=X/A；

IF ((A=2) OR (X>1)) THEN X:=X+1；

END.

流程图

为使程序中每个语句至少执行一次，只需设计一个能通过路径ace的例子就可以了，例如选择输入数据为： A=2，B=0，X=3

从上例可看出，语句覆盖实际上是很弱的，如果第一个条件语句中的AND错误地编写成OR，上面的测试用例是不能发现这个错误的；又如第三个条件语句中X＞1误写成X＞0，这个测试用例也不能暴露它，此外，沿着路径abd执行时，X的值应该保持不变，如果这一方面有错误，上述测试数据也不能发现它们。

例2：

void DoWork(int x,int y,int z)

{ int k=0,j=0;

if((x>3)&&(z<10))

{ k=x*y-1; //语句块1

j=sqrt(k);

}

if((x= =4)||(y>5))

{ j=x*y+10; //语句块2

}

j=j%3; //语句块3

}