单项选择题
统一软件开发过程是一种基于面向对象技术的软件开发过程,其特点是“用例驱动,以架构为核心,迭代并增量”。统一软件开发过程定义了四种通用的开发阶段,它们按照过程顺序分别是:起始阶段、______、构建阶段和______,其中在构建阶段主要产生的文档有______。条件测试是检查程序模块中所包含逻辑条件的测试用例设计方法,注重于测试程序中的条件。BRO(Branch and Relational
Operator)测试保证能发现布尔变量和关系操作符只出现一次且没有公共变量的条件中的分支和条件操作符错误。考虑条件C1:(E1>E2)&(E3<E4),其中E1,E2,E3,E4是数学表达式,“&”表示逻辑“与”,“>”和“=”是关系运算符,则C1的条件约束至少为______时,就可以检查C1中的关系操作符错误。
A.{(>,=),(>,>),(>,<),(<,<),(=,<)}
B.{(<,<),(<,=),(<,>),(=,<),(=,=),(=,>),(>,<),(>,=),(>,>)}
C.{(>,<),(=,<),(>,=)}
D.{(>,<),(=,<),(>,=),(<,<)}