软件测试 用例设计.ppt

语句覆盖 判定覆盖 条件覆盖 L1(a→c→e) ={(A＞1)and(B＝0)}and{(A＝2)or(X/A＞1)} =(A＞1)and(B＝0)and(A＝2)or(A＞1)and(B＝0)and(X/A＞1) =(A＝2)and(B＝0)or(A＞1)and(B＝0)and(X/A＞1) L2(a→b→d) ={(A＞1)and(B＝0)}and{(A＝2)or(X＞1)} ={(A＞1)or(B＝0)}and{(A＝2)and(X＞1)} =(A＞1)and(A＝2)and(X＞1)or(B＝0)and(A＝2)and(X＞1) =(A≤1)and(X≤1)or(B≠0)and(A≠2)and(X≤1) L3(a→b→e) ={(A＞1)and(B＝0)}and{(A＝2)or(X＞1)} ={(A＞1)or(B＝0)}and{(A＝2)or(X＞1)} =(A＞1)and(X＞1)or(B＝0)and(A＝2)or(B＝0)and(X＞1)} = A≤1)and(X＞1)or(B≠0)and(A＝2)or(B≠0)and(X＞1) L4(a→c→d) ={(A＞1)and(B＝0)}and{(A＝2)or(X/A＞1)} =(A＞1)and(B＝0)and(A≠2)and(X/A≤1) 语句覆盖 为了暴露程序中的错误，至少每个语句应该执行一次。语句覆盖的含义是，选择足够多的测试数据，使被测程序中每个语句至少执行一次。 测试用例的设计格式如下 【输入的(A,B,x),输出的(A,B,x)】 为子设计满足语句覆盖的测试用例是： 【(2,0,4),(2,0,3)】 覆盖ace【L1】 判定覆盖 使得程序中每个判定至少为TRUE 或FALSE各一次。 条件覆盖 条件覆盖就是设计若干个测试用例，运行所测程序，使得程序中每个判断条件的可能取值至少执行一次。 例如给出的例子中，事先可对所有条件的取值加以标记。例如， 对于第一个判断：条件 A＞1 取真值为T1，取假值为T1 条件 B＝0 取真值为T2，取假值为T2 对于第二个判断：条件 A＝2 取真值为T3，取假值为T3 条件 x＞1 取真值为T4，取假值为T4 条件覆盖 注意： 条件覆盖看起来似乎使覆盖了判定的条件，实际上确不一定，请看下面的情况： if ( A AND B ) THEN PRINT(A,B); 如果设计测试用例：A=TRUE，B=FALSE和A=FALSE，B=TRUE，则判定永远是假，后面打印语句永远也测试不到，显然条件覆盖不能同时覆盖所有的判定结果。 判定-条件覆盖 判定-条件覆盖就是设计足够的测试用例，使得判断中每个条件的所有可能取值至少执行一次，同时每个判断的所有可能判断结果至少执行一次。换言之，即是要求各个判断的所有可能的条件取值组合至少执行一次。 判定-条件覆盖也有缺陷。从表面上来看，它测试了所有条件的取值。但事实并非如此。因为往往某些条件掩盖了另一些条件。 判定/条件覆盖 前面的例子： A=2 B=0 X=3 A=1 B=1 X=1 这组测试用例与上面条件覆盖的测试用例相同，这说明，有时判定/条件覆盖并不比条件覆盖更强。条件覆盖也并不比判定覆盖强。 判定-条件覆盖 条件组合覆盖 条件组合覆盖就是设计足够的测试用例，运行所测程序，使得每个判断的所有可能的条件取值组合至少执行一次。 记 ① A＞1，B＝0 作T1 T2, 属第一个判断的判定的取真分支； ② A＞1，B≠0 作T1 T2, 属第一个判断的判定的取假分支； ③ A≯1，B＝0 作T1 T2, 属第一个判断的判定的取假分支； ④ A≯1，B≠0 作T1 T2, 属第一个判断的判定的取假分支； ⑤ A＝2，x＞1 作T3 T4, 属第二个判断的判定的取真分支； ⑥ A＝2，x≯1 作T3 T4, 属第二个判断的判定的取真分支； ⑦ A≠2，x＞1 作T3 T4, 属第二个判断的判定的取真分支； ⑧ A≠2，x≯1 作T3 T4, 属第二个判断的判