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