一个BRO 测试策略的问题?

这个题目是条件测试的例子。对条件C：（b1&b2），得出C的约束集为｛(t，t)，(f，t)，(t，f)｝。
之所以没有将(f,f)作为条件约束是因为：此测试是要测试运算符是否错误，即“&”是否错。如果用(f,f)作为条件约束，不管“&”是否写错，C的结果都是f（即使将“&”错写成“|”），无法通过执行(f,f)达到发现错误的目的。

这个题目不全吧，应该是C：（b1&b2），得出C的约束集为｛(t，t)，(f，t)，(t，f)｝，你想想，(t,t)肯定能推出C为T，如果是(F,F)的话，就没有必要有这个测试了嘛，因为只要有一个是F的话，那么后面的测试不需要也知道C这个表达式为F了哦，靠，08年问的了，baidu无爱啊