1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
1
00:00:00,280 --> 00:00:03,400
So we can now update our test criteria subsumption. We start
2
00:00:03,400 --> 00:00:06,700
from this situation in which there are no relationship between condition
3
00:00:06,700 --> 00:00:09,650
coverage, branch coverage and statement coverage. And when we add branch
4
00:00:09,650 --> 00:00:12,160
and condition coverage, we can mark the fact that branch and
5
00:00:12,160 --> 00:00:14,470
condition coverage subsumes branch coverage
6
00:00:14,470 --> 00:00:16,370
and also subsumes condition coverage, for
7
00:00:16,370 --> 00:00:19,660
the same reason. Therefore, this is a stronger criterion than both
8
00:00:19,660 --> 00:00:23,100
branch coverage and condition coverage, and of course indirectly also soft
9
00:00:23,100 --> 00:00:25,330
statement coverage. So once more, to make sure we are all
10
00:00:25,330 --> 00:00:29,255
on the same page, if I develop a test rate that satisfies branch and condition
11
00:00:29,255 --> 00:00:31,380
coverage, the same test will satisfy also
12
00:00:31,380 --> 00:00:35,210
branch coverage, statement coverage and condition coverage, necessarily.
|
