A stronger logic coverage criterion is known as decision coverage or branch coverage. This criterion states that you must write enough test cases that each decision has a true and a false outcome at least once. In other words, each branch direction must be traversed at least once.
Examples of branch or decision statements are switch-case, do-while, and if-else statements. Multipath GOTO statements qualify in some programming languages such as Fortran.
In the case of loops, the number of test cases required by the multiple-condition criterion is normally much less than the number of paths.