白盒测试总结

白盒测试

1、逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例，它

属于白盒测试。包括有：

语句覆盖、判定覆盖、条件覆盖、判定----条件覆盖、条件组合覆盖、路径覆盖

(1)、语句覆盖：就是设计若干个测试用例，运行被测的程序，使得每一个可执行语句至少执行一次。

(2)、判定覆盖：就是设计若干个测试用例，运行被测的程序，使得程序中每个判断的取真分支和取假分支至少执行一次。

(3)、条件覆盖：就是设计若干个测试用例，运行被测的程序，使得程序中每个判断的每个条件的可能取值至少执行一次。

(4)、判定----条件覆盖：就是设计若干个测试用例，运行被测的程序，使得程序中的所有可能取值至少执行一次，每个判断中每条件取值至少执行一次。

(5)、条件组合覆盖：就是设计若干测试用例，运行被测的程序，使得每个判断的所有可能的条件取值至少执行一次。

(6)、路径测试: 就是设计若干个测试用例，运行被测的程序，覆盖程序中所有可能的路径。

2、条件测试路径选择：当程序中判定多于一个时，形成分支结构可以分为两个类：嵌套型分支和连锁分支

①、嵌套型分支：若有几个判定语句需要n+1个测试用例。

②、连锁分支：若有几个判定语句需要有2n个测试用例覆盖它的2n条路径，当n较大时，无法测试

2、循环测试路径

简单（从循环入口到出口）、嵌套、连锁、非结构循环。

3、基本路径

(1)、基本路径测试是把覆盖的路径压缩一定限度内，程序中的循环体最多只执行一次。

(2)、它是在程序控制流程图基础上分析控制构造出来的。就可以导出基本路径的集合。

(3)、程序的控制流图：

①、符号: 为控制流图的结点。表示一个或多个无分支的语句。箭头为边，表示控制流的方向。

②、在选择多分支结构中，分支的汇聚处应有一个汇聚结点。

③、边和结点圈的区域叫区域,当对区域计数时，图形外的区域也应记为一个区域。

④、如果判断中的条件表达式是由一个或多个逻辑运算符组成（or、and 、nand、nor）时则需要改为一系列只有单个条件的嵌套的判断.程序控制流图：

顺序结构

if 结构

Case 结构

while 结构

until 结构