第三章-白盒测试（一）.pptVIP

* 分支覆盖优缺点： 【优点】：分支（判定）覆盖具有比语句覆盖更强的测试能力。同样分支（判定）覆盖也具有和语句覆盖一样的简单性，无须细分每个判定就可以得到测试用例。 【缺点】：往往大部分的分支（判定）语句是由多个逻辑条件组合而成，若仅仅判断其整个最终结果，而忽略每个条件的取值情况，必然会遗漏部分测试路径。判定覆盖仍是弱的逻辑覆盖。 * 3.谓词测试 一个分支的条件是由谓词组成的。单个谓词称为原子谓词。 （1）原子谓词覆盖准则（条件覆盖） 要求每个复合谓词所包含的每一个原子谓词都至少获得一次“真”和一次“假”。即要使每个判断中每个条件的可能取值至少满足一次。 定义如P53 定义3.14所示 例3-4 * 原子谓词覆盖举例： 如果选用的测试用例是： A＝2 B＝0 CASEl X＝3 则程序按路径ace执行。 这样该程序段的4个语句均得到执行，从而作到了语句覆盖。 * 原子谓词覆盖举例： * 原子谓词覆盖举例： 从上表可以看出，3个测试用例把4个条件的8种情况都作了覆盖，即做到了原子谓词覆盖。 * 原子谓词覆盖举例： 从上表可以看出，这两个测试用例只覆盖了4个分支中的两个b和e，而没有覆盖c和d，说明覆盖了原子谓词（条件）的测试用例不一定覆盖了分支。 原子谓词覆盖未必会覆盖分支 * 原子谓词覆盖优缺点： 【优点】：增加了对条件判定情况的测试，增加了测试路径。 【缺点】：原子谓词（条件）覆盖不一定包含分支（判定）覆盖。原子谓词（条件）覆盖只能保证每个条件至少有一次为真，而不考虑所有的判定结果。 * （2）分支-谓词覆盖准则（判定-条件覆盖） 要求不仅每个复合谓词所包含的每一个原子谓词都至少获得一次“真”和一次“假”，而且每个复合谓词本身也至少获得一次“真”和一次“假”。即使得判断中每个条件的所有可能至少出现一次，并且每个判断本身的判定结果也至少出现一次。 P54定义3.15 例3-5 * 分支-谓词覆盖举例： 对于上例，两个判断中各包含两个条件，4个条件在两个判断中可能有8种组合： * 分支-谓词覆盖举例： 这2个测试用例虽然满足了分支-谓词（判定-条件）覆盖要求，但仅覆盖了程序段中4条路径（ace，abd，abe，acd）中的2条（ace，abd）,漏掉了路径abe，acd。 * 分支-谓词覆盖优缺点： 【优点】 ：能同时满足判定、条件两种覆盖标准。 【缺点】 ：分支-谓词（判定/条件）覆盖准则的缺点是未考虑条件的组合情况。从表面来看，它测试了所有条件的取值。但实际并不是这样。因为一些条件往往掩盖了另一些条件。对于条件表达式(A＞1)(B=0)来说，只要(A＞1)的测试为真，才需测试(B=0)的值来确定此表达式的值，但是若(A＞1)的测试值为假时，不需再测(B=0)的值就可确定此表达式的值为假，因而B=0没有被检查。同理，对于(A=2)||(X＞1)这个表达式来说，只要(A=2)测试结果为真，不必测试(X＞1)的结果就可确定表达式的值为真。所以对于判定/条件覆盖来说，逻辑表达式中的错误不一定能够查得出来。 * （3）复合谓词覆盖准则（条件组合覆盖） 要求每个谓词(判定)中条件的各种可能组合都至少出现一次。 P55 定义3.16 例3-6 * 复合谓词覆盖举例： 两个判断中各包含两个条件，4个条件在两个判断中可能有8种组合： (1) A＞1，B=0 属第一个判断的取真支； (2) A＞1，B≠0 属第一个判断的取假分支； (3) A≤1，B=0 属第一个判断的取假支； A≤1，B≠0 属第一个判断的取假分支； (5) A＝2，X＞1 属第二个判断的取真分支； (6) A＝2，X≤1 属第二个判断的取真分支； (7) A≠2，X＞1 属第二个判断的取真分支； (8) A≠2，X≤1 属第二个判断的取假分支。 * 复合谓词覆盖举例： 下面的四组测试数据可以使上面列出的八种组合每种至少出现一次： (1) A=2，B=0，X=4 (针对1，5两种组合，执行路径ace)； A=2，B=1，X=1 (针对2，6两种组合，执行路径abe)； A=1，B=0，X=2 (针对3，7两种组合，执行路径abe)； (4) A=1，B=1，X=1 (针对4，8两种组合，执行路径abd)。 * 复合谓词覆盖优缺点： 【优点】 ：复合谓词（条件组合）覆盖准则满足分支（判定）覆盖、原子谓词（条件）覆盖和分支-谓词（判定/条件）覆盖准则，是前述几种覆盖标准中最强的。 【缺点】 ：线性地增加了测试用例的数量。 * 逻辑覆盖测试的5种标准 * A^B T F A^B T F * A^B T F A^B T F A^B T F * 复