條件測試是檢查程序模塊中所包含邏輯條件的測試用例設(shè)計方法，注重于測試程序中的條件。BRO（Branch and Relational Operator）測試保證能發(fā)現(xiàn)布爾變量和關(guān)系操作符只出現(xiàn)一次且沒有公共變量的條件中的分支和條件操作符錯誤。考慮條件C1：(E1> E2) &(E3< E4)，其中E1, E2, E3, E4是數(shù)學(xué)表達(dá)式，“&”表示邏輯“與”，“>”和“=”是關(guān)系運(yùn)算符，則C1的條件約束至少為 （ ） 時，就可以檢查C1中的關(guān)系操作符錯誤。
A、{(>, =), (>, >), (>, <), (<, <), (=, <)}
B、{(<, <), (<, =), (<, >), (=, <), (=, =), (=, >), (>, <), (>, =), (>, >)}
C、{(>, <), (=, <), (>, =)}
D、{(>, <), (=, <), (>, =), (<, <)}