第章_白盒测试及其用例的设计(改).ppt

第4章 白盒测试及其用例的设计;本章教学目标;4.1 白盒测试方法;白盒测试方法（续）;白盒测试方法（续）;4.2 白盒测试的基本概念;4.2.1 控制流图;常见结构的控制流图;;4.2.2 环形复杂度;计算环形复杂度的方法;4.2.3 图矩阵;习题;4.3 覆盖测试;4.3.1 测试覆盖率;4.3.2 逻辑覆盖法;逻辑覆盖法（续）;逻辑覆盖法（续）;逻辑覆盖法（续）;逻辑覆盖法（续）;语句覆盖;判定覆盖;判定覆盖（续）;条件覆盖;条件覆盖（续）;条件覆盖（续）;判定/条件覆盖;判定/条件覆盖（续）;组合覆盖;组合覆盖（续）;路径覆盖;路径覆盖（续）;习题;4.3.3 面向对象的覆盖;面向对象的覆盖（续）;4.3.4 测试覆盖准则;测试覆盖准则（续）;测试覆盖准则（续）;测试覆盖准则（续）;测试覆盖准则（续）;测试覆盖准则（续）;4.4 路径测试;4.4.1 路径表达式;4.4.2 基本路径测试方法;基本路径测试方法（续）;基本路径测试方法（续）;基本路径测试方法（续）;基本路径测试方法（续）;习题;4.4.3 循环测试方法;循环测试方法（续）;Z路径覆盖下的循环测试方法;4.4.4 产生测试用例;4.5 最少测试用例数计算;最少测试用例数计算（续）;最少测试用例数计算（续）;最少测试用例数计算（续）;最少测试用例数计算（续）;最少测试用例数计算（续）;习题;习题;覆盖率测试;判定覆盖 比“语句覆盖”稍强的覆盖标准是“判定覆盖”(或称branch coverage分支覆盖)标准。含义是：执行足够的测试用例，使得程序中的每一个分支至少都通过一次。 ①A=3，B=0，X=1(沿路径acd执行)；; ②A=2，B=1，X=3(沿路径abe执行) ;条件覆盖 “条件覆盖”的含义是：执行足够的测试用例，使得判定中的每个条件获得各种可能的结果。 程序有四个条件： A＞1、B=0、A=2、X＞1 为了达到“条件覆盖”标准，需要执行足够的测试用例使得在a点有： A＞1、A≤1、B=0、B≠0 等各种结果出现，以及在b点有： A=2、A≠2、X＞1、X≤1 等各种结果出现。 现在只需设计以下两个测试用例就可满足这一标准： ①A=2，B=0，X=4 (沿路径ace执行)； ②A=1，B=1，X=1 (沿路径abd执行)。 ;;判定/条件覆盖 执行足够的测试用例，使得判定中每个条件取到各种可能的值，并???每个判定取到各种可能的结果。 “判定／条件覆盖”似乎是比较合理的，但事实并非如此，因为大多数计算机不能用一条指令对多个条件作出判定，而必须将源程序中对多个条件的判定分解成几个简单判定,所以较彻底的测试应使每一个简单判定都真正取到各种可能的结果。 含有AND或OR的逻辑表达式中，某些条件将抑制其他条件，例如逻辑表达式A AND B，如果A为“假”，目标程序就不再检查条件B了，这样B中的错误就发现不了。 ;条件组合覆盖 执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。显然，满足“条件组合覆盖”的测试用例是一定满足“判定覆盖”、“条件覆盖”和“判定/条件覆盖”的。 我们需要选择适当的例子，使得下面8种条件组合都能够出现： 1）A1, B=0 2) A1, B≠0 3) A≤1, B=0 4)A≤1, B≠0 5)A=2, X1 6)A=2,X≤1 7)A≠2, X1 8)A≠2, X≤1;①A=2，B=0，X=4使1)、5)两种情况出现;②A=2，B=1，X=1使2)、6)两种情况出现 ;A=1，B=0，X=2使3)、7)两种情况出现;④A=1，B=1，X=1使4)、8)两种情况出现;