PURe

Program Understanding and Re-engineering: Calculi and Applications

Navigation

Related

News

Sep 18 Paper Towards a Coordination Model for Interactive Systems by MarcoAntonioBarbosa, JoseCampos and LuisSoaresBarbosa has been accepted for FMIS'06 (Macau).

July 3 Paper Configurations of Web Services by MarcoAntonioBarbosa and LuisSoaresBarbosa has been accepted for FOCLASA'06 (Bonn, Germany).

July 3 Paper Strong Types for Relational Databases by Alexandra Silva and JoostVisser has been accepted for the Haskell Workshop 2006 (Portland, USA).

June 16 Paper Strongly Typed Rewriting For Coupled Software Transformation (by AlcinoCunha and JoostVisser) accepted by RULE 2006 (Seattle, USA).

May, 26 Paper Transposing Partial Coalgebras (by LuisSoaresBarbosa and JoseNunoOliveira) accepted for publication in TCS, Elsevier.

May, 11 Papers Type-safe two-level data transformation (by AlcinoCunha, JoseNunoOliveira and JoostVisser) and Pointfree factorization of operation refinement (by JoseNunoOliveira and Cesar Rodrigues) have been accepted by FM'06 (Canada).

May, 8 A paper entitled An Orchestrator for Dynamic Interconnection of Software Components, by MarcoAntonioBarbosa and LuisSoaresBarbosa, accepted at MTCoord'06 (Bologna).

More...

Research » PURe » VooDooMFront » VDMGrammarEvolution
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

r2 - 12 Feb 2007 - 19:32:08 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM