From: Towards Preserving Model Coverage and Structural Code Coverage
Test vector | ANSI C expression | Coverage criterion | ||||||||
---|---|---|---|---|---|---|---|---|---|---|
A | B | C | if(A || (B && C) | SC | DC | CC | MCDC | MCC | PC | SPC |
F | F | F | F |
| ||||||
F | F | T | F |
|
|
|
|
| ||
F | T | F | F |
|
|
|
|
|
| |
F | T | T | T |
|
|
|
|
| ||
T | F | F | T |
|
|
|
|
|
|
|
T | F | T | T |
| ||||||
T | T | F | T |
| ||||||
T | T | T | T |
|