西安理工大学《软件测试技术》3-1 传统白盒测试技术.pptVIP

软件测试白盒测试技术 计算机学院软件工程系 Email:Xiahui_1@163.com TelphoneQQ不聊天) 白盒测试技术 白盒测试：已知产品的内部工作过程，可以通过测试证明每种内部操作是否符合设计规格要求，所有内部成分是否以经过检查。 软件的白盒测试是对软件的过程性细节做细致的检查，它允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序状态，确定实际状态是否与预期的状态一致。因此白盒测试又称为结构测试或逻辑驱动测试。 白盒测试技术 白盒测试主要做以下几类检查： 1. 保证一个模块中的所有独立路径至少被使用一次 2. 对所有逻辑值均测试true和false。 3. 在循环的边界和运行的界限内执行循环体。 4. 检查内部数据结构以确定其有效性。 白盒测试技术 1. 优点 · 迫使测试人员去仔细思考软件的实现· 可以检测代码中的每条分支和路径· 揭示隐藏在代码中的错误· 对代码的测试比较彻底· 最优化 2. 缺点 · 昂贵· 无法检测代码中遗漏的路径和数据敏感性错误· 不验证规格的正确性 白盒测试覆盖准则 ① 语句覆盖 选择足够的测试用例，使得程序中每个语句至少都能被执行一次。 ② 判定覆盖 执行足够的测试用例，使得程序中每个判定至少都获得一次“真”值和一次“假”值。 ③ 条件覆盖 执行足够的测试用例，使得判定中的每个条件获得各种可能的结果。 ④ 判定/条件覆盖 执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个判定取到各种可能的结果。 ⑤ 条件组合覆盖 执行足够的例子，使得每个判定中条件各种可能组合都至少出现一次 ⑥ 路径覆盖 程序代码举例 例：用白盒法测试以下程序段，如图所示，程序中有两个判定，每个判定都包含复合条件的逻辑表达式。 Procedure （VAR A,B,X:REAL）； BEGIN IF（A1) AND (B=0) THEN X:=X/A ; IF (A=2) OR (X1) THEN X:=X+1 END; 下面，我们按照不同的覆盖标准，对该程序段进行测试。 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 Y N Y N 语句覆盖 覆盖标准 ： 使得程序中每个语句至少都能被执行一次。 满足语句覆盖的情况是： 执行路径：ace 选择用例： [(2,0,4),(2,0,3)]　　　 用例格式，由输入数据和预期的输出结果两部分组成： [输入(A,B,X)，输出(A,B,X)] a A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 b c d e Y N Y N X:=X/A X:=X+1 程序中除判定外，还有两条语句。 判定覆盖 覆盖标准 使得程序中每个判定至少为TRUE 或FALSE各一次。 覆盖情况：共有两个判定，应执行路径： 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　　　 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e Y N Y N 条件覆盖 覆盖标准： 使得判定中的每个条件获得各种可能的结果。 应满足以下覆盖情况： 判定一: A1, A≤1, B=0, B≠0　　 判定二: A=2, A≠2, X1, X≤1　　 选择用例： [(2,0,4),(2,0,3)]　　　 [(1,1,1),(1,1,1)]　　　　　 注意:[(1,0,3),(1,0,4)]　　 [(2,1,1),(2,1,2)]　　　 满足条件覆盖，但不满足判定覆盖。 A1 AND B=0 X:=X/A A=2 OR X1 X:=X+1 a b c d e Y N Y N 判定一 判定二 判定/条件覆盖 覆盖标准： 同时满足判定覆盖和条件覆盖。即使得程序中每个判定至少为TRUE 或 FALSE各一次，同时使得判定中的每个条件获得各种可能的结果。 应满足以下覆盖情况： 条件: A1, A≤1, B=0, B≠0 A=2, A≠