The Anatomy of Analysis Tools (EVO 2008)

The anatomy of analysis tools Tudor Gîrba www.tudorgirba.com

003 , Du casse 2 Lanza

mplem ented? ow is it i H 003 , Du casse 2 Lanza

But, why should you care?

a natomy nd our rocess ndersta ealing p n we u r the h Whe d bette we un derstan

Terminology

what is a model?

exemplar example good example simulation role model poser fashion model model variety manakin sort mannikin manikin form mannequin theoretical account kind modeling framework modelling

a model is a simpliﬁcation of the subject, and its purpose is to answer some particular questions aimed towards the subject. in, Ger be 2001 Beziv

what does meta mean?

μετά = beyond

Aristotle 384 BC - 322 BC

what is a meta-model?

a meta-model is a model that makes statements about what can be expressed in valid models. Seidew itz 2003

meta-model model subject

meta-model model representedBy subject

meta-model instanceOf model representedBy subject

schema instanceOf database representedBy subject

class instanceOf object representedBy subject

meta-model instanceOf model representedBy subject

Terminology Analysis and meta-models

What is an analysis?

TCC = ?

method pairs accessing common attributes TCC = total number of pairs TCC = 2 / 10 = 0.2 5 man, K ang, 199 Bie

What is an analysis?

analysis |əˈnaləsis| noun (pl. -ses |-ˌsēz|) Detailed examination of the elements or structure of something, typically as a basis for discussion or interpretation. The process of separating something into its constituent elements. Often contrasted with synthesis. y D ictionar Oxford

synthesis |ˈsinθəsis| noun ( pl. -ses |-ˌsēz|) Combination or composition. Often contrasted with analysis. y D ictionar Oxford

Analysis Data Information

TCC = ?

tightClassCohesion (classSource) count = 0 methodCount = methodBodies(classSource) attributes = attributes(classSource) methodsToAttributes = new Dictionary for (methodBody in methodBodies(classSource)) accessedAttributes = new Set for (statement in methodBody) accessedAttributes.add(attributesIn(statement)) end methodsToAttributes.put(methodBody, accessedAttributes) end for (methodToAttributes in methodsToAttributes) for (attribute in methodToAttributes.value) for (methodToAttributes2 in methodsToAttributes) if (methodToAttributes.value.contains(attribute) & methodToAttributes ~= methodToAttributes2) count++ end end end end return count / methodCount * (methodCount - 1) / 2 end

Class::tightClassCohesion () count = 0 methodCount = this.methods.size() for (attribute in this.attributes) temp = attribute.accessingMethods() count = count + temp * (temp - 1) / 2 end return count / methodCount * (methodCount - 1) / 2 end

Class::tightClassCohesion () count = 0 methodCount = this.methods.size() for (attribute in this.attributes) temp = attribute.accessingMethods() count = count + temp * (temp - 1) / 2 end return count / methodCount * (methodCount - 1) / 2 end Class belongsTo belongsTo * * Method Attribute

Class::tightClassCohesion () count = 0 methodCount = this.methods.size() for (attribute in this.attributes) temp = attribute.accessingMethods() count = count + temp * (temp - 1) / 2 end return count / methodCount * (methodCount - 1) / 2 end Class belongsTo belongsTo * ? * Method Attribute

A good meta-model enables easy navigation Package Namespace packagedIn belongsTo * * superclass * Class Inheritance subclass * belongsTo belongsTo * * * invokedBy Invocation Method Attribute * candidate accessedIn accesses * * Access

A meta-model offers a language

A common meta-model offers a common language

(FAMIX.Class (id: 100) (name 'Server') (container (ref: 82)) (isAbstract false) (isInterface false) (package (ref: 624)) (stub false) (NOM 9) (WLOC 124)) (FAMIX.Method (id: 101) (name 'accept') (signature 'accept(Visitor v)') (parentClass (ref: 100)) (accessControl 'public') (hasClassScope false) (stub false) (LOC 7) (CYCLO 3))

a com mon t imple ment ange odels ools th a m T l can e xch (FAMIX.Class (id: 100) (name 'Server') meta-mode (container (ref: 82)) (isAbstract false) (isInterface false) (package (ref: 624)) (stub false) (NOM 9) (WLOC 124)) (FAMIX.Method (id: 101) (name 'accept') (signature 'accept(Visitor v)') (parentClass (ref: 100)) (accessControl 'public') (hasClassScope false) (stub false) (LOC 7) (CYCLO 3))

ta-mo del can iﬁed o n a me nalyse s spec lying m odel A ied onany comp b e appl

Method Class Attribute Inheritance

Method Class Attribute Inheritance File

Method Class Attribute Inheritance File Symbol

Author Method Class Attribute Inheritance File Symbol

Duplication Author Method Class Attribute Inheritance File Symbol

Class History Class Duplication Author Version Method Class Attribute Inheritance File Symbol

Class History Class Duplication Author Version Method Class Attribute Event Inheritance File Trace Symbol

... Class History Class Duplication Author Version Method Class Attribute Event Inheritance File Trace Symbol

A good meta-model makes things explicit

Terminology Analysis and meta-models Analysis tools

Analysis Analysis Analysis Model repository described by a meta-model Fact extractor Fact extractor

Repository FAMIX Fame UI Mondrian EyeSee

Repository FAMIX Fame UI Mondrian EyeSee MSE Smalltalk

Repository FAMIX Fame UI Mondrian EyeSee Java iPlasma MSE Smalltalk C++

Yellow Chronia CodeCity DynaMoose Hapax SmallDude Submarine Repository FAMIX Fame UI Mondrian EyeSee Java iPlasma MSE Smalltalk C++

CVS J-Wiretap MSE Source SVN Yellow Chronia CodeCity DynaMoose Hapax SmallDude Submarine Repository FAMIX Fame UI Mondrian EyeSee Java iPlasma MSE Smalltalk C++

CVS J-Wiretap MSE Source SVN Softwarenaut BugsLife Clustering Metanool ... Yellow Chronia CodeCity DynaMoose Hapax SmallDude Submarine Repository FAMIX Fame UI Mondrian EyeSee Java iPlasma MSE Smalltalk C++

Terminology Analysis and meta-models Analysis tools Analysis as transformation

Analysis Data Information

Analysis Meta-model Glue Technique

e.g., Mondrian tal 2006 Meyer e

Mondrian is about visualization

Composition with Red,Yellow and Blue Piet Mondrian (1921)

The simplest script is an empty view view := ViewRenderer new. view open.

view = nodes, edges, layout view := ViewRenderer new. view nodes: classes. view edges: classes from: [:each | each superclass] to: [:each | each]. view treeLayout. view open.

Shapes are responsible for drawing view := ViewRenderer new. view newShape rectangle; height: [:each | each numberOfMethods]; withBorder. view nodes: classes. view edges: classes from: [:each | each superclass] to: [:each | each]. view treeLayout. view open.

Blocks can be replaced by symbols view := ViewRenderer new. view newShape rectangle; height: #numberOfMethods; withBorder. view nodes: classes. view edgesFrom: #superclass. view treeLayout. view open.

Nesting is done through blocks view := ViewRenderer new. view newShape rectangle; withBorder. view nodes: classes forEach: [:each | view nodes: each methods. view gridLayout ]. view edgesFrom: #superclass. view treeLayout. view open.

Mondrian is about visualization

Mondrian is about interactive visualization

Interaction is scriptable, too view := ViewRenderer new. view2 := ViewRenderer new. view interaction onSelect: [:each | each viewOn: view2]. view interaction popupView: [:each :aView | each viewOn: aView]. ... view open. view2 open.

mplem ented? ow is it i H

le; re ctang ds; new Shape Of Metho view : #n umber ibute s; de he ight rOf Attr ne sOfCo numbe e rOfLi s; wid th: # r: #numb : c lasse il lColo w ithin li nearF er. wit hBord s. c lasse s. no des: uperclas view ro m: #s e dgesF view ut. re eLayo v iew t

Terminology Analysis and meta-models Analysis tools Analysis as transformation Issues

meta-model What to model? model subject

meta-model another meta-model model another model subject

meta-model model What gets extracted? subject

Is the technique suitable for your task?

The meta-model dictates the problem decomposition

Tudor Gîrba www.tudorgirba.com creativecommons.org/licenses/by/3.0/

The Anatomy of Analysis Tools (EVO 2008)

0 comments

Notes on slide 1

1 Favorite