-So we can now update our test criteria subsumption. We start - -2
-from this situation in which there are no relationship between condition - -3
-coverage, branch coverage and statement coverage. And when we add branch - -4
-and condition coverage, we can mark the fact that branch and - -5
-condition coverage subsumes branch coverage - -6
-and also subsumes condition coverage, for - -7
-the same reason. Therefore, this is a stronger criterion than both - -8
-branch coverage and condition coverage, and of course indirectly also soft - -9
-statement coverage. So once more, to make sure we are all - -10
-on the same page, if I develop a test rate that satisfies branch and condition - -11
-coverage, the same test will satisfy also - -12
-branch coverage, statement coverage and condition coverage, necessarily. -- cgit 1.4.1