白盒测试-条件覆盖-短路陷阱

条件覆盖

​要求设计足够多的测试用例，使得每一个判定的​每一个条件的每一个取值（真或假）至少各执行一次。

对于示例来说​，可以设计：

{x=4,y=4,z=11}  条件取值：TFTF

{x=2,y=6,z=9}  条件取值：FTFT

{x=5,y=4,z=9} 条件取值：TTFF

（理解：只要将每个判定即每个菱形框里的每个条件真假都各取一次，但注意，比如TFTF时由于第二个判定里的逻辑运算符是||，那么条件y>5不执行，同理，FTFT时z<10不执行，就引出了第三条测试用例）

x	y	z	x>3	z<10	x==4	y>5
4	4	11	T	F	T	F--无（被||短路）
2	6	9	F	T--无（被&& 短路）	F	T
5	4	9	T	T	F	F

同理在设计判定条件组合覆盖测试用例时也应考虑到此问题。

参考自：白盒测试方法 - 清平乐2017 - 博客园