采用白盒测试方法对下图进行测试，设计了4个测试用例：①(x=0，y=3)，②(x=1，y=2)，③(x=-1，y=2)，④(x=3，y=1)。至少需要测试用例①②才能完成（ ）覆盖，至少需要测试用例①②③或①②④才能完成（请回答此空）覆盖。

正确答案：(2)A或(Ⅰ和Ⅱ组) (3)G或(Ⅰ、Ⅲ和Ⅳ组) (4)E或(Ⅰ、Ⅱ和Ⅲ组) (5)H或(Ⅰ、Ⅱ和Ⅳ组)
(2)A或(Ⅰ和Ⅱ组) (3)G或(Ⅰ、Ⅲ和Ⅳ组) (4)E或(Ⅰ、Ⅱ和Ⅲ组) (5)H或(Ⅰ、Ⅱ和Ⅳ组) 解析：这是一道要求读者掌握软件测试过程中覆盖测试基本常识的分析题。本题的解答思路如下。
1)覆盖测试是一种白盒测试方法，通常应用在软件测试的早期，即单元测试阶段。其基本思路是以程序的内部结构为基础来设计测试用例，以覆盖尽可能多的程序内部逻辑结构，发现其中的错误和问题。测试人员必须事先拥有被测程序的规格说明书和程序清单。
2)在白盒测试用例设计中，有语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖等几种常见的覆盖测试策略，这些策略的相关描述如表5-15所示。

3)【C代码3】程序段的程序流程图如图5-13所示。

4)结合表5-15中给出的语句覆盖测试策略的描述，选择足够多的测试用例数据，使被测程序中每条语句都至少执行1次。对于本案例的程序段，可选择测试用例Ⅰ(x=0,y=3)，满足“(x=0)and(y＞2)|”的判断条件，使A语句被执行1次；可选择测试用例Ⅱ(x=1，y=2)，不满足“(x1)or(y=1)”的判断条件，使B语句被执行1次。因此(2)空缺处应选择选项A(即Ⅰ和Ⅱ组测试用例)。
5)结合表5-15中给出的判定覆盖测试策略的描述，选择足够多的测试用例数据，使得程序中每个判定都获得1次“真”值和“假”值，或者说使程序中每1个取“真”分支和取“假”分支都至少通过1次。对于本案例的程序段，可选择测试用例Ⅰ(x=0，y=3)，使判断条件(x=0)and(y＞2)的“真”分支执行1次；可选择测试用例Ⅱ(x=1，y=2)，使判断条件(x1)or(y=1)的“假”分支执行1次；可选择测试用例Ⅲ(x=-1，y=2)或选择测试用例Ⅳ(x=3，y=1)，使判断条件(x1)or(y=1)的“真”分支执行1次。
6)条件覆盖测试策略的本质是：构造一组测试用例数据，使被测程序中每一个判定语句的每个逻辑条件的可能取值至少满足1次。对于本案例的程序段要实施条件覆盖测试，可选择测试用例Ⅰ(x=0，y=3)，以同时满足判断条件(x=0)and(y＞2)中x=0和y>2的取值条件；可选择测试用例Ⅲ(x=-1，y=2)，满足判断条件(x1)or(y=1)中x1的取值条件；可选择测试用例Ⅳ(x=3，y=1)，满足判断条件(x1)or(y=1)中y=1的取值条件。因此(3)空缺处应选择选项G(即Ⅰ、Ⅲ和Ⅳ组测试用例)。
7)结合表5-15中给出的判定/条件覆盖测试策略的描述，构造一组测试用例数据，使得判定中的每个逻辑条件取得各种可能的值，并且使得每个判定取得各种可能的判定结果。结合以上第6)点的分析结论可知，对于本案例的程序段，选择测试用例Ⅰ(x=0，y=3)，同时满足判断条件(x=0)and(y＞2)中x=0和y＞2的取值条件，且使得该判断条件的“真”分支执行1次。 选择测试用例Ⅱ(x=1，y=2)，使判断条件(x=0)and(y＞2)的“假”分支执行1次；同时不满足(x1)or(y=1)的取值条件，且使判断条件(x1)or(y=1)的“假”分支执行1次。 选择测试用例Ⅲ(x=-1，y=2)，满足判断条件(x1)or(y=1)中x1的取值条件，且使得使该判断条件的“真”分支执行1次，使判断条件(x=0)and(y＞2)的“假”分支执行1次。 也可选择测试用例Ⅳ(x=3，y=1)，满足判断条件(x1)or(y=1)中y=1的取值条件，且使得使该判断条件的“真”分支执行1次，使判断条件(x=0)and(y＞2)的“假”分支执行1次。
8)对于条件组合覆盖测试策略，其含义是选择足够多的测试用例数据，使被测程序中每个判定中逻辑条件的各种组合都至少出现1次。对于本案例的程序段，要实现条件组合覆盖测试工作所需的测试用例如表5-16所示。

9)结合表5-15中给出的路径覆盖测试策略的描述，选择足够多的测试用例数据，使被测程序中每一条可能的路径至少执行1次。对于本案例的程序段主要有3条路径：执行判断条件(x=0)and(y＞2)“真”分支的路径；执行判断条件(x=0)and(y＞2)“真”分支的路径；执行判断条件(x=0)and(y＞2)“假”分支的路径。
选择测试用例Ⅰ(x=0，y=3)，同时满足判断条件(x=0)and(y＞2)中x=0和y＞2的取值条件，使得该判断条件的“真”分支路径被执行1次。
选择测试用例Ⅱ(x=1，y=2)，同时不满足判断条件(x1)or(y=1)中x1和y=1的取值条件，使得该判断条件的“假”分支路径被执行1次。
选择测试用例Ⅲ(x=-1，y=2)，满足判断条件(x1)or(y=1)中x1的取值条件，或者选择测试用例Ⅳ(x=3，y=1)，满足判断条件(x1)or(y=1)中y=1的取值条件，使得使该判断条件的“真”分支路径被执行1次。
由以上分析可知，(4)、(5)空缺处可分别填入选项E(即Ⅰ、Ⅱ和Ⅲ组测试用例)和选项H(即Ⅰ、Ⅱ和Ⅳ组测试用例)。

正确答案：要实现DoWork函数的语句覆盖，只需设计一个测试用例就可以覆盖程序中的所有可执行语句。

正确答案：B

正确答案：C

正确答案：A,D

问题 1 答案解析：A


问题 2 答案解析：A

正确答案：C
解析：本题考查白盒测试中测试用例的设计方法——判定覆盖法。
  判定覆盖法测试的概念如下。
  程序中每个判定的结果至少都获得一次“真”值和“假”值。
  此题中共嵌套三个判定语句，对于(MaxNum，Type)的取值，至少需要三个测试用例能够满足判定覆盖的要求，例如这三个测试用例可以表述为：
  (1，10)、(1，100)、(1，200)。

正确答案：B
解析：路径覆盖法是白盒测试的作用方法，要求设计足够多的测试用例，覆荒程序中所有可能的路径。给定程序的流程图如下图所示。
  从图中可以看出，程序中共存在四条路径，分别记为abdh、abeh、acfh、acgh。当用路径覆盖法设计测试案例时，必须为每条路径至少设计一个用例。下面给出一组可覆盖全部路径的测试用例。
  测试用例1：[(2，0，8)，4]，覆盖路径abdh
  测试用例2：[(2，2，8)，2]，覆盖路径abeh
  测试用例3：[(0，0，8)，0]，覆盖路径acfh
  测试用例4：[(0，2，8)，4]，覆盖路径acgh
  用例采用形式[输入的(x，y，d)，返回的d]来描述。

正确答案：

试题三（共15分）
【问题1】（3分）
(1)条件覆盖是指设计足够的测试用例，使得被测程序每一个判定中的每个条件的所有可能结果至少出现一次。
(2)路径覆盖是指设计足够的测试用例，使得被测程序中每条路径至少执行一次。

【问题2】（2分）
(1)④（路径覆盖）

【问题3】 (10分)
(1)⑤
(2)⑧
(3)⑦
(4)⑤
(5)⑧
其中，第(1)、(2)题的答案顺序可互换，第(4)、(5)题的答案顺序可互换。

正确答案：C