条件测试是检查程序模块中所包含逻辑条件的测试用例设计方法，注重于测试程序中的条件。BRO（Branchand Relational Operator）测试保证能发现布尔变量和关系操作符只出现一次且没有公共变量的条件中的分支和条件操作符错误。考虑条件C1：（E1>E2）&（E3”和“=”是关系运算符，则C1的条件约束至少为（）时，就可以检查C1中的关系操作符错误。A、{（>，=），（>，>），（>，<），（<，<），（=，<））B、{（<，<），（<，=），（<，>），（=，<），（=，=），（=，>），（

条件覆盖的基本思想是设计若干测试用例，执行被测程序，使得每个判断的每个条件的可能取值至少满足一次。那么对于如下的C语言程序段if(a>0&&b>0)c=c／a；if(a>1‖c>1) c=c+1； 如果采用适用于条件覆盖的两个测试用例，其输入值分别为a=2，b=-1,c=-2和a=-1，b=2，c=3，则以下叙述中正确的是

A．执行测试后，4个条件a>0，b>O，a>1，c>1的所有取值都至少执行一次

B．执行测试后，除b>O取真和c>l取假外其他条件取值都至少执行一次

C．执行测试后，除b>O取假和c>1取真外其他条件取值都至少执行一次

D．执行测试后，除b>O取真和c>1取真外其他条件取值都至少执行一次

关于白盒法覆盖程度的论述中正确的是(6)。

A．语句覆盖：选择测试用例使程序中每条语句至多被执行一次

B．判定覆盖：选择测试用例使程序中每个判定至少都获得一次“真”值和一次“假”值

C．条件覆盖：选择测试用例使每个条件都满足

D．条件组合覆盖：将所有的判定条件都组合起来执行

执行足够的测试用例，使得判定中的每个条件至少为真和为假值各一次，则称满足了白 盒测试中的____________覆盖。

试题三（共 15分）

阅读以下关于嵌入式软件测试用例设计的叙述，回答问题 1至问题 3，将答案填入答题纸的对应栏内。

【说明】

某程序段的流程如图 3-1所示，x、y是两个变量，K、J 表示一段程序执行体，表 3-1 所示为本题可供选择的四组测试用例组。

【问题1】（3分）

简答以下问题。

(1)条件覆盖的含义是什么？

(2)路径覆盖的含义是什么？

【问题 2】（2分）

在程序测试用例设计中，有语句覆盖、条件覆盖、判定覆盖（分支覆盖）和路径覆盖等。其中，____是最强的覆盖准则。

请把以下 4个选项中正确的选项序号填入上述空白处。

①语句覆盖

②条件覆盖

③判定覆盖（分支覆盖）

④路径覆盖

【问题 3】（10 分）

为了对图 3-1 所示的程序段进行覆盖测试，必须适当地选取测试用例组。实现判定覆盖至少应采用的测试用例组是 (1)和 (2) ，实现条件覆盖至少应采用的测试用例组是 (3) ；实现路径覆盖至少应采用的测试用例组是 (4) 和 (5)。

请把以下 8个选项中正确的选项序号填入上述空白处。

①
试用例组Ⅰ和Ⅱ

②测试用例组Ⅱ和Ⅲ

③测试用例组Ⅲ和Ⅳ

④测试用例组Ⅰ和Ⅳ

⑤测试用例组Ⅰ、Ⅱ和Ⅲ

⑥测试用例组Ⅱ、Ⅲ和Ⅳ

⑦测试用例组Ⅰ、Ⅲ和Ⅳ

⑧测试用例组Ⅰ、Ⅱ和Ⅳ

A. 只在编码之后进行软件测试。

B. 设计测试用例时， 应当包括合理的输入条件和不合理的输入条件。

C. 严格地制定并执行测试计划

D. 测试用例由测试输入数据和对应的预期结果组成。

在下面所列举的逻辑测试覆盖中，测试覆盖最强的是(38)，最弱的是(39)。

软件测试工具有多种，其中(40)对源程序的数据流和控制流进行分析，发现语义错误：(41)通过对程序的执行流进行探测，检查有关变量的逻辑值。

在下面的个人所得税程序中满足语句覆盖测试用例的是(42)，满足判定覆盖测试的用例是(43)。

if (income＜800) taxrate=0；

else if (income＜＝1500) taxrate＝0.05；

else if (income＜2000) taxrate＝0.08：

else taxrate＝0.1；

A．条件覆盖

B．条件组合覆盖

C．语句覆盖

D．条件及判定覆盖

A.逻辑覆盖

B.程序覆盖

C.等价类划分

D.判定覆盖

条件测试是检查程序模块中所包含逻辑条件的测试用例设计方法，注重于测试程序中的条件。BRO(Branch and Relational Operator)测试保证能发现布尔变量和关系操作符只出现一次且没有公共变量的条件中的分支和条件操作符错误。考虑条件C1：(E1＞E2) &(E3＜E4)，其中E1，E2，E3，E4是数学表达式，“&”表示逻辑“与”，“＞”和“=”是关系运算符，则C1的条件约束至少为(26)时，就可以检查C1中的关系操作符错误。

A．{(＞，=)，(＞，＞)，(＞，＜)，(＞，＜)，(=，＜)}

B．{(＜，＜)，(＜，=)，(＜，＞)，(=，＜)，(=，=)，(=，＞)，(＞，＜)，(＞，=)，(＞，＞)}

C．{(＞，＜)，(=，＜)，(＞，=)}

D．{(＞，＜)，(=，＜)，(＞，=)，(＜，＜)}