pablo fernández busch - marcos pasqualino. motivación: construcción de jerarquías de clases...

Pablo Fernández Busch - Marcos Pasqualino

Motivación: Construcción de jerarquías de clases

Análisis de Conceptos Formales Desarrollo de la Metodología Implementación: Jerónimo Casos de Estudio: Collections y Swing Análisis de Resultados: Patrones de codificación Lecciones Aprendidas Conclusiones

Patrones de Codificación de Jerarquías de Clases en Aplicaciones Orientadas a Objetos 2

Herencia Tipos :

Implementación / Subclasificación Interfaz Clase

Construcción evolutiva Contratos implícitos

ReingenieríaPatrones de Codificación de Jerarquías de Clases en Aplicaciones Orientadas a Objetos 3


Clase A

a1

m1 { … }m2 { … }m3 { this.m1}

Clase C

m6 { this.m1 }m7 { this.m2 }

a2a3

Clase E

m9 { a2, a3 }m6 { super.m6 }

Clase B

m4 { this.m1 }m5 { this.m2 }

Clase D

m8 { a1 }m4 { super.m4 }

Las clases B y C reutilizan comportamiento definido en la clase A, vía this

Las clases D y E utilizan estado de sus superclases

Las clases D y E utilizan

comportamiento definido en la

superclase vía super

Las clases D y E extienden comportamiento de sus superclases

Detección no trivial Documentación desactualizada No explícitos en el código fuente.

¿Qué esconden? Definiciones, utilizaciones,

reutilizaciones, extensiones, cancelaciones …


Es una herramienta que permite identificar grupos de elementos que tienen propiedades comunes.

Elementos importantes Tabla de incidencia Concepto Lattice

Patrones de Codificación de Jerarquías de Clases en Aplicaciones Orientadas a Objetos

Rock

Pop

Jazz

Blues

Salsa

Merengue

Tango

Mambo

José X X

Juan X X X X

Ana X X X

Camila X X X X

Pedro X X X

María X X X

Nicolás X X X X

Gastón X X X



Jerarquía de clases Tabla de incidencia Patrones

Lattice

Propiedades

¿Qué son? Conjunto de características

¿Para qué sirven? Extracción de información Agrupadas conforman patrones

¿Cómo se detectan?


Ejemplo


Acceso directo a estado local

Concreto en ancestro

ArrayList -> size X

EnumMap -> putAll X

¿Qué son? Conjunto de propiedades

Tipos Buenas prácticas Prácticas irregulares Malas prácticas


Ejemplo Comportamiento concreto local

redefinido


Propiedades:• Concreto localmente• Concreto en descendiente• Invocado vía this

Nuestra herramienta: Jerónimo

Cuatro etapas de análisis: Análisis de código fuente Extracción de propiedades Construcción de la tabla de incidencia y

el lattice Inferencia de patrones

Cálculo de métricasPatrones de Codificación de Jerarquías de Clases en Aplicaciones Orientadas a Objetos 15

Construcción de un metamodelo del código fuente

Se utilizó una biblioteca de terceros: Recoder


Metamodelo

Código fuente

Análisis del metamodelo Invocaciones a métodos Acceso a variables de instancia

Características consideradas Ubicación de la declaración Tipo de invocación Métodos de acceso a estado,

concretos, abstractos y cancelados

Comparación de métodos


Propiedades

Metamodelo

Se utilizó y extendió la biblioteca de ACF Colibri

Construcción de la tabla de incidencia a partir de las propiedades detectadas

Usando la tabla de incidencia se construye el lattice


Propiedades

Lattice

Tabla de incidencia

Dos fases:1. Búsqueda automática de

instancias de patrones conocidos

2. Descubrimiento de nuevos patrones a través de un análisis manual

Detección de patrones contenidos en otros más generales


Lattice

Patrones

Aportan información sobre el proceso y los resultados obtenidos

Distintos grupos de métricas De las jerarquías analizadas Del contexto estudiado Del análisis realizado De los patrones detectados


Métricas

Se probó la metodología y la herramienta en: Java Collections Swing

Los resultados se utilizaron para validar y enriquecer el análisis


Comportamiento concreto de ancestro redefinido y extendido

TreeMap extiende comportamiento heredado


Uso de nombres incorrecto

El nombre del método size() coincide con el nombre de la variable de instancia size.


Acceso directo a estado en ancestro

SyntTableHeaderUI accede directamente a una variable definida en su superclase


Collections

Swing

Instancias de patrones 54 1258

Conceptos con inclusión de patrones

25 357

Tipos de patrones 8 17

Tipos de patrones Buenas Prácticas

5 10

Tipos de patrones Malas Prácticas

3 5

Tipos de patrones Prácticas Irregulares

0 2Patrones de Codificación de Jerarquías de Clases en Aplicaciones Orientadas a Objetos 26

Collections vs Swing


Lattice completo vs lattice reducido

Proporción de patrones


Análisis de conceptos formales

Análisis manual de resultados Evolución del proceso Detección de nuevos patrones Patrones contenidos (Superpatrones)

Volumen de información


Descubrimiento de patrones de codificación

Detección de fortalezas y debilidades

Análisis semiautomático


Definición de Superpatrones

Ampliar información de las propiedades

Continuar con el análisis de resultados

Analizar cuerpo de los métodos

Incorporar propiedades negativas



Construcción de jerarquías de clases Análisis de Conceptos Formales Desarrollo de la Metodología Implementación: Jerónimo Casos de Estudio: Collections y Swing Patrones de codificación

pablo fernández busch - marcos pasqualino. motivación: construcción de jerarquías de clases...

Documents