程序中的分支和循环结构是最容易出现逻辑错误的地方，这样将会使程序沿着在当前条件下本不应该运行的路径执行。分支测试把判断中的条件作为一个整体考虑，在测试时需要分别考虑该条件为真或为假的情况。而当条件是一个复合条件，即由多个条件判断通过逻辑运算（与、或、非等）组合形成，为了更加仔细进行测试，可以对每个组成条件分别取真、假，这样就形成了条件测试。