白盒法 白盒法又称为逻辑覆盖法,其测试用例选择, 是按照不同覆盖标准确定的。 弱 强 语句覆盖 判定覆 条件覆盖 判定条件覆盖 条件组合覆 首页上页[下页末页退出
白盒法 白盒法又称为逻辑覆盖法，其测试用例选择， 是按照不同覆盖标准确定的。 语 句 覆 盖 判 定 覆 盖 条 件 覆 盖 判 定 条 件 覆 盖 条 件 组 合 覆 盖 弱 强 首页 上页 下页 末页 退出
白盒法常用的覆盖标准 ①语句覆盖:选择足够的测试用例,使得程序中每个语 句至少都能被执行一次 ②判定覆盖:执行足够的测试用例,使得程序中每个判 定至少都获得一次“真”值和“假”值。 ③条件覆盖:执行足够的测试用例,使得判定中的每个条 件获得各种可能的结果。 ④判定/条件覆盖:执行足够的测试用例,使得判定中每 个条件取到各种可能的值,并使每个判定取到各种可能的 结果。 ⑤条件组合覆盖:执行足够的例子,使得每个判定中条 件的各种可能组合都至少出现一次。 首页上页[下页末页退出
① 语句覆盖： 选择足够的测试用例，使得程序中每个语 句至少都能被执行一次。 ② 判定覆盖： 执行足够的测试用例，使得程序中每个判 定至少都获得一次“真”值和“假”值。 ③ 条件覆盖：执行足够的测试用例，使得判定中的每个条 件获得各种可能的结果。 ④ 判定/条件覆盖： 执行足够的测试用例，使得判定中每 个条件取到各种可能的值，并使每个判定取到各种可能的 结果。 ⑤ 条件组合覆盖： 执行足够的例子，使得每个判定中条 件的各种可能组合都至少出现一次。 白盒法常用的覆盖标准 首页 上页 下页 末页 退出
白盒法步骤 1)选择逻辑覆盖标准。 逻辑结构 2)按照覆盖标准列出所有情况。 3)选择确定测试用例。 4)验证分析运行结果与预期结果。 例:用白盒法测试以下程序段: Procedure( var,b x: REAL) BEGIN IF (A>l)AND B=O) THEN X=X/A IF (A=2)OR X>1) THEN X:EX+1 END 首页上页[下页末页退出
白盒法步骤： 例：用白盒法测试以下程序段： Procedure（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; 1）选择逻辑覆盖标准。 2）按照覆盖标准列出所有情况。 3）选择确定测试用例。 4）验证分析运行结果与预期结果。 首页 上页 下页 末页 退出 逻辑结构
白盒法举例 Procedure (VAR A, B. X: REAL) A>1 AND BEGIN B=0 IF p(B=0) X =XA 辑结构 X/A F(A=2)OR(X>1) A=2 OR THEN X: =X+1 X:=X+1 END 首页上页[下页末页片退出
白盒法举例 Procedure （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; A>1 AND B=0 X:=X/A 首页 上页 下页 末页 退出 A=2 OR X>1 X:=X+1 Y N Y N 逻辑结构
1、语句覆盖 使得程序中每个语句至少 a 都能被执行一次 AND 满足语句覆盖的情况: B=0 执行路径:ace X=XA b 用例格式: OR [输入(A,BX),输出(A,B,X)] X:=X+1 选择用例 [(20,4),(2,0,3) 首页上页[下页末页片退出
1、语句覆盖 使得程序中每个语句至少 都能被执行一次。 首页 上页 下页 末页 退出 A>1 AND B=0 X:=X/A A=2 OR X>1 X:=X+1 a b c d e 满足语句覆盖的情况： 执行路径：ace 选择用例： [(2,0,4),(2,0,3)] 用例格式： [输入(A,B,X)，输出(A,B,X)] Y N Y N