路径测试补充内容-read.pptVIP

第九章 路径测试补充内容 结构性测试主要检查内容 结构性测试的主要方法 举例 路径 语句覆盖 判定覆盖 条件覆盖 条件覆盖测试用例 判定--条件覆盖 分解例子 条件组合覆盖 条件组合覆盖测试用例 路径测试 * 东北大学软件学院 东北大学软件学院 对程序模块的所有独立的执行路径至少测试一次； 对所有的逻辑判定，取“真”与取“假”的两种情况都至少测试一次； 在循环的边界和运行界限内执行循环体；等等 东北大学软件学院 逻辑覆盖，是以程序内部的逻辑结构为基础的设计测试用例的技术，它属白盒测试。 语句覆盖 判定覆盖 条件覆盖 判定-条件覆盖 条件组合覆盖 路径覆盖 东北大学软件学院 (A1)∧(B=0) x=x/A (A=2)∨(x1) x=x+1 T T F F a c b d e 东北大学软件学院 L1 ( a ? c ? e ) L2 ( a ? b ? d ) L3 ( a ? b ? e ) L4 ( a ? c ? d ) 东北大学软件学院 语句覆盖就是设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次。 在图例中，正好所有的可执行语句都在路径L1上，所以选择路径 L1设计测试用例，就可以覆盖所有的可执行语句。 L1:(A=2) and (B=0) or (A1) and (B=0) and (X/A1) 如果将例子中的∧和∨互换，使用该用例仍可覆盖所有4个可执行语句； 语句覆盖可能发现不了判断中逻辑运算中出现的错误； 【(2, 0, 4)，(2, 0, 3)】覆盖 ace【L1】 东北大学软件学院 判定覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次。 L1: (A=2) and (B=0) or (A1) and (B=0) and (X/A1) L2: (A=1) and (X=1) or (B0) and (A2) and （X=1) 如果将X1错写成X1，利用上面的测试用例仍可得到同样的结果； 只是判定覆盖不能保证一定能查出在判断条件中存在的错误； 【(2, 0, 4)，(2, 0, 3)】覆盖 ace【L1】【(1, 1, 1)，(1, 1, 1)】覆盖 abd【L2】 东北大学软件学院 条件覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。 对于第一个判断： 条件 A＞1 取真为 T1，取假为！T1条件 B＝0 取真为 T2，取假为！T2 对于第二个判断： 条件A＝2 取真为 T3，取假为！T3 条件X＞1 取真为 T4，取假为！T4 东北大学软件学院 b，e T1 !T2 T3 !T4 abe(L3) 【(2, 1, 1)，(2, 1, 2)】 b，d !T1 T2 !T3 T4 abd(L2) 【(1, 0, 1)，(1, 0, 1)】 c，e T1 T2 T3 T4 ace(L1) 【(2, 0, 4)，(2, 0, 3)】 覆盖分支 条件取值 通过路径 测试用例 b，e T1 !T2 T3 !T4 abe(L3) 【(2, 1, 1)，(2, 1, 2)】 b，e !T1 T2 !T3 T4 abe(L3) 【(1, 0, 3)，(1, 0, 4)】 覆盖分支 条件取值 通过路径 测试用例 东北大学软件学院 判定－条件覆盖就是设计足够的测试用例，使得判断中每个条件的所有可能取值至少执行一次，同时每个判断的所有可能判断结果至少执行一次。 b，d !T1 !T2 !T3 !T4 abd(L2) 【(1, 1, 1)，(1, 1, 1)】 c，e T1 T2 T3 T4 ace(L1) 【(2, 0, 4)，(2, 0, 3)】 覆盖分支 条件取值 通过路径 测试用例 采用判定-条件覆盖，逻辑表达式中的错误不一定能够查出来。 东北大学软件学院 and or A1 T B=0 T X=X/A T F F A=2 T F X1 F X=X+1 东北大学软件学院 条件组合覆盖就是设计足够的测试用例，运行被测程序，使得每个判断的所有可能的条件取值组合至少执行一次。 记：① A＞1, B＝0 作 T1T2  ② A＞1, B≠0 作 T1!T2 ③ A≯1, B＝0 作 !T1T2 ④ A≯1, B≠0 作 !T1!T2 ⑤ A＝2, X＞1 作 T3T4 ⑥ A＝2, X≯1 作 T3!T4 ⑦ A≠2, X＞1 作 !T3T4 ⑧ A≠2, X≯1 作 !T3!T4 东北大学软件学院 ④ ⑧ !T1 !T2 !T3 !T4 a