若采用白盒测试法对下面流程图所示算法进行测试，且要满足语句覆盖，则至少需要（51）个测试用例，若表示输入和输出的测试用例格式为（A，B，X；X），则满足语句覆盖的测试用例是（52）。

正确答案：(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(即Ⅰ、Ⅱ和Ⅳ组测试用例)。

问题 1 答案解析：A


问题 2 答案解析：A

正确答案：A

正确答案：

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

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

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

正确答案：A,D

正确答案：B
解析：语句覆盖要求每条语句至少执行一次。设计第一个测试用例，使得x＞0，y＞0，比如：x=1，y=1那么，就会执行语句序列：x＞0→y=y-x→y＞0→x=1设计第2个测试用例，使得x0，y0，比如：x=-1，y=-1那么，就会执行语句序列：x＞0→y=y+x→y＞0上述两个测试用例，便将每条语句都覆盖到。所以，至少设计2个测试用例。本题正确答案为选项B。

正确答案：语句

参考答案：正确

正确答案：A
本题考查软件结构测试方面的基础知识。在结构测试中，根据覆盖目标的不同，可分为语句覆盖、条件覆盖、判定覆盖、路径覆盖等。判定覆盖的含义是涉及若干测试用例，运行被测程序，使得程序中每个判定的取真值分支和取假值分支至少执行一次。本题中，为判定覆盖选取测试用例情形：对第一个判定选取测试用例组Ⅰ和Ⅱ，当用Ⅰ覆盖判定的T分支时，不会走到第二个分支：当用II覆盖判定的F分支时，第二个判定需要另取一个测试用例组覆盖T分支，此时，取测试用例组Ⅲ或Ⅳ即可。

答案：A

解析：