Skip to main content

Table 1 Example: Sufficient test vectors per coverage metric.

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