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