M : an Open Model for Measuring Code Artifacts

Transcription

1 Software Analysis And Transformation 3 M : an Open Model for Measuring Code Artifacts Anastasia Izmaylova, Paul Klint, Ashim Shahi, Jurgen Vinju SWAT Centrum Wiskunde & Informatica (CWI)

2 OSSMETER: FP7 STREP Project: Automated Measurement and Analysis of Open Source Software.

3 OSSMETER Objectives Objectives Get insight in source code quantity & quality Get insight into programmer activity Means Measure source code Measure source code version deltas

4 SWAT & Rascal Software exploration, transformation, generation, visualization, specification: software *-ation :-) Domain specific languages Analyzing software Rascal is a DSL Lab infra-structure one stop shop Safe & simple Teaching UvA et al.

5 Domain analysis Transformation EASY Source Code Input Extraction Generation Extract Analysis Models Analyze Abstraction Visualization Formalization S Ynthesize Descriptions Output Conversion

6 Meta Tool one-stop-shop Tools Research Software

7 OSSMETER: EU FP7 STREP Project on Automated Measurement and Analysis of Open Source Software.

8 Challenges precision vs. efficiency deep vs. shallow constraints vs. types vs. CFGs vs. RegEx variety of languages & metrics: reuse, consistency and scale

9 M3 Code Extract Analyze M3 Measure Metric [inspired by FAMIX, SOUL, and others]

10 M3 Language-parametrized meta-model for source code metrics on syntax and semantics Code Extract Analyze M3 Measure Metric [inspired by FAMIX, SOUL, and others]

11 M3 Language-parametrized meta-model for source code metrics on syntax and semantics General & simple Analyze Code Extract Measure M3 Metric [inspired by FAMIX, SOUL, and others]

12 M3 Language-parametrized meta-model for source code metrics on syntax and semantics General & simple Formal Analyze Code Extract Measure M3 Metric [inspired by FAMIX, SOUL, and others]

13 M3 Language-parametrized meta-model for source code metrics on syntax and semantics General & simple Formal Detailed Analyze Code Extract Measure M3 Metric [inspired by FAMIX, SOUL, and others]

14 M3 = URI + Relations + Trees

15 M3 = URI + Relations + Trees Locations java+class://java/util/list

16 M3 = URI + Relations + Trees Locations java+class://java/util/list Language agnostic core containment loc loc declarations loc loc use loc loc sorts Exp, Stat,

17 M3 = URI + Relations + Trees Locations java+class://java/util/list Language agnostic core containment loc loc declarations loc loc use loc loc sorts Exp, Stat, Language specific extension inheritance loc loc invocation loc loc overriding loc loc sig If, Add,While

18 Extractor M3 = URI + Relations + Trees Locations java+class://java/util/list Language agnostic core containment loc loc declarations loc loc use loc loc sorts Exp, Stat, Language specific extension inheritance loc loc invocation loc loc overriding loc loc sig If, Add,While

19 Extractor Metrics M3 = URI + Relations + Trees Locations java+class://java/util/list Language agnostic core containment loc loc declarations loc loc use loc loc sorts Exp, Stat, Language specific extension inheritance loc loc invocation loc loc overriding loc loc sig If, Add,While

20 Managing variety by uniformity Java code PHP code C code... M3 Model LOC CC LCOM Caveat: details matter! Uniformity helps reuse but does not guarantee it

21 M3 context

22 Representing evolution version 1 version 2 version 3... M3 1 M3 2 M3 3 M3... metrics 1 metrics 2 metrics 3 metrics... M3 enables comparability and safe composition measure churn, growth, spikes, degradation, etc.

23 Incremental model extraction version 1 delta 1 delta 2... M3 1 M3 delta M3 delta M3... complete M3

24 Key design elements Textual values

25 Key design elements URI = Qualified Names and Hyperlinks

26 Key design elements reachable = m@containment+ m@invocations += m@invocations o m@overrides subtypes = m@extends + m@implements Relations = query and elaborate

27 Key design elements algebraic data-types are great for ASTs [pattern matching for open dispatch: term rewriting inside ]

28 Rascal/M3 the point? Rascal - CWI SWAT s lab OSSMETER - open source quality platform Diversity Lots of languages Lots of metrics Simple, extensible model, immutable/formal Caveat emptor & feedback/use welcome