系统中一个程序的结构如图14－7所示: 该程序有4条不同路径,分别为L1:a→c→e;L2→a→b→d;L3:a→b→e;L4:

Question

系统中一个程序的结构如图14-7所示：

该程序有4条不同路径，分别为L1：a→c→e；L2→a→b→d；L3：a→b→e；L4：a→c→d。小王设计了4组测试用例：

①【(1，0，3)，(1，0，4)】覆盖abe；【(2，1，1)，(2，1，2)】覆盖abe：

②【(2，1，1)，(2，1，2)】覆盖abe；【(3，0，3)，(3，0，1)】覆盖acd；

③【(2，0，4)，(2，0，3)】覆盖ace；【(1，0，3)，(1，0，4)】覆盖abe；

【(2，1，1)，(2，1，2)】覆盖abe；【(1，1，1)，(1，1，1)】覆盖abd；

④【(2，0，4)，(2，0，3)】覆盖ace；【(1，1，1)，(1，1，1)】覆盖abd；

【(1，1，2)，(1，1，3)】覆盖abe；【(3，0，3)，(3，0，1)】覆盖acd；

这4组测试用例中(5)属于判定覆盖：(6)属于条件覆盖；(7)属于路径覆盖；(8)属于条件组合覆盖。(注：该题测试用例格式为【(A，B，X)输入，(A， B，X)输出】)。

Answer 1

正确答案：(5)② (6)① (7)④ (8)③
(5)② (6)① (7)④ (8)③ 解析：白盒测试是一种测试用例设计方法，“盒子”指的是被测试的软件，白盒指的是“盒子”是可视的，测试人员清楚“盒子”的内容及其运作方式。白盒测试作为测试人员常用的一种测试方法，越来越受到重视。白盒测试并不是简单地按照代码设计用例，而是需要根据不同的测试需求，结合不同的测试对象，使用适合的方法进行测试。在这些方法中，语句覆盖是最基本的结构覆盖要求，它要求设计足够多的测试用例，以使程序中每条语句至少被执行一次：判定覆盖又称为分支覆盖，它要求设计足够多的测试用例，以使程序中每个判定至少有一次为真值，有一次为假值，即程序中的每个分支至少执行一次；判定/条件覆盖要求设计足够多的测试用例，以使判定中每个条件的所有可能结果至少出现一次，每个判定本身所有可能结果也至少出现一次。