Quantification of the development evolution of the VDM grammar of VooDooMFront.

Coverage Metrics

Version KP Pr S RSa RSm RC
0.0.1 1005 815 2278 2 17 52%
0.0.2 946 2753 3396 2 17 54%
0.0.3 900 2753 3518 2 17 55%
1.0 900 2753 3518 2 17 55%

where

KP Kernel Productions Number of non-reject productions in the normalized SDF grammar
Pr Priorities Number of priorities in the normalized SDF grammar
S States Number of states in the parse table
RSa Rule Size average Average size of the LHS of productions
RSm Rule Size maximum Maximum size of the LHS of productions
RC Rule Coverage Percentage of kernel productions used in the test suite

Size and Complexity Metrics

The size metrics were calculated with the SdfMetz tool. For more information see the SdfMetz wiki page.

Version TERM VAR MCC AVS HAL
0.0.1 138 161 234 4.404 228.9
0.0.2 138 118 232 6.441 241.1
0.0.3 138 71 232 10.437 256.1
1.0 138 71 232 10.437 256.1

where:

VAR number of unique non-terminals
TERM number of unique terminals
PROD number of production rules
AVS average Right Hand Side size
HAL Halstead Effort (measured in thousands)

Structural Metrics

Version TIMP LEV CLEV NSLEV DEP
0.0.1 0.9 53 32.9 4 69
0.0.2 1.3 49 41.5 4 39
0.0.3 2.8 35 49.3 3 27
1.0 2.8 35 49.3 3 27

where:

TIMP Tree impurity
LEV Count of levels
CLEV Normalized count of levels
NSLEV Number of non-singleton levels
DEP Size of the largest level

Ambiguity-related Metrics

Version FRST ASSOC REJP UPPRI TNUPEG TNPC TNG
0.0.1 4 0 63 0 0 0 0
0.0.2 4 35 99 72 72 2 18
0.0.3 4 35 99 72 72 2 18
1.0 4 35 99 72 72 2 18

where:

FRST Number of follow restrictions
ASSOC Number of associativity attributes in context-free productions
REJP Number of reject productions
UPPRI Number of unique productions in priorities
TNUPEG Total number of unique productions in each group
TNPC Total number of priority chains
TNG Total number of priority groups