条件测试是检查程序模块中所包含逻辑条件的测试用例设计方法,注重于测试程序中的条件。BRO(Branch

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

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

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

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

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

A解析：条件测试是检查程序模块中所包含逻辑条件的测试用例设计方法，注重于测试程序冲的条件。BRO(Branch and Relational Operator)测试保证能发现布尔变量和关系操作符只出现一次且没有公共变量的条件中的分支和条件操作符错误。BRO策略利用条件C的条件约束。有n个简单条件的条件C的条件约束定义为(D1，D2，…，Dn)，其中 Di(0i≤n)表示条件C中第i个简单条件的输出约束。如果C的执行过程中C的每个简单条件的输出都满足D中对应的约束，则称条件C的条件约束D由C的执行所覆盖。对