软件测试(黑盒白盒)资料.ppt

* * * 白盒测试又称结构测试、逻辑驱动测试或基于程序的测试，其测试过程如图所示。 覆盖情况分析 测试用例 分析 白盒法 白盒法又称为逻辑覆盖法，其测试用例选择，是按照不同覆盖标准确定的。 语 句 覆 盖 判 定 覆 盖 条 件 覆 盖 判 定 条 件 覆 盖 条 件 组 合 覆 盖 弱 强 路 径 覆 盖 * 1、语句覆盖 使得程序中每个语句至少都能被执行一次。 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e 满足语句覆盖的情况： 执行路径：ace 选择用例： [(2,0,4),(2,0,3)]ace 用例格式： [输入(A,B,X)，输出(A,B,X)] Y N Y N * 2、判定覆盖 使得程序中每个判定至少为TRUE 或FALSE各一次。 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e 覆盖情况：应执行路径 ace ∧ abd 或： acd ∧ abe 选择用例（其一）： ⑴ [(2,0,4),(2,0,3)] ace [(1,1,1),(1,1,1)] abd ⑵ [(2,1,1),(2,1,2)] abe [(3,0,3),(3,1,1)] acd Y Y N N * 3、条件覆盖 使得判定中的每个条件获得各种可能的结果。 应满足以下覆盖情况： 判定一: A1, A≤1, B=0, B≠0 判定二: A=2, A≠2, X1, X≤1 选择用例： [(2,0,4),(2,0,3)]ace [(1,1,1),(1,1,1)]abd 注意:[(1,0,3),(1,0,4)]abd [(2,1,1),(2,1,2)]abe 满足条件覆盖，但不满足判定覆盖。 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e Y Y N N * 4、判定/条件覆盖 同时满足判断覆盖和条件覆盖。 应满足以下覆盖情况： 条件: A1, A≤1, B=0, B≠0 A=2, A≠2, X1, X≤1 应执行路径 ace ∧ abd 或： acd ∧ abe 选择用例： [(2,0,4),(2,0,3)]（ace) [(1,1,1),(1,1,1)] (abd) A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e Y Y N N * 5、条件组合覆盖 使得每个判定中条件的各种可能组合都至少出现一次。 A1 X:=X/A A=2 X:=X+1 a b c d e B=0 X1 Y N Y N Y N Y N 满足以下覆盖情况： ① A1, B =0 ② A1, B≠0 ③ A≤1, B =0 ④ A≤1, B≠0 ⑤ A=2, X1 ⑥ A=2, X≤1 ⑦ A≠2, X1 ⑧ A≠2, X≤1 选择用例： [(2,0,4),(2,0,3)] ① ⑤ [(2,1,1),(2,1,2)] ② ⑥ [(1,0,3),(1,0,4)] ③ ⑦ [(1,1,1),(1,1,1)] ④ ⑧ * 6.路径测试 * 路径测试就是设计足够的测试用例，覆盖程序中所有可能的路径。 测 试 用 例 通过路径 覆盖条件 【(2, 0, 4), (2, 0, 3)】 ace (L1) 【(1, 1, 1), (1, 1, 1)】 abd (L2) 【(1, 1, 2), (1, 1, 3)】 abe (L3) 【(3, 0, 3), (3, 0, 1)】 acd (L3) A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e Y N Y N 等价类是指某个输入域的子集合。在该子集合中，各个输入数据对于揭露程序中的错误都是等效的。测试某等价类的代表值就等价于对这一类其它值的测试。 在设计测试用例时，要同时考虑有效等价类和无效等价类的设计。 边界值分析也是一种黑盒测试方法，是对等价类划分方法的补充。 经验表明，大量的错误是发生在输入或输出范围的边界上，而不是在输入范围的内部。因此针对各种边界情况设计测试用例，可以查出更多的错误。 E（互斥）：表示a，b两个原因不会同时成立，两个中最多有一个可能成立。? I（包含）：表示a，b，c三个原因中至少有一个必须成立。 ? O（唯一）：表示a和b当中必须有一个，且仅有一个成立。? R（要求）：表示当a出现时，b必须也出现。不可能a出现，b不出现。 ? M（屏蔽）：表示当a