Generating a catalog of unanticipated schemas in class hierarchies using Formal Concept Analysis

Context: Inheritance is the cornerstone of object-oriented development, supporting conceptual modeling, subtype polymorphism and software reuse. But inheritance can be used in subtle ways that make complex systems hard to understand and extend, due to the presence of implicit dependencies in the inh...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Arévalo, Gabriela Beatriz, Ducasse, Stéphane, Gordillo, Silvia Ethel, Nierstrasz, Oscar
Formato: Articulo
Lenguaje:Inglés
Publicado: 2010
Materias:
Informática
Object-oriented development
Class hierarchy schemas
Source code analysis
Formal concept analysis
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/128591
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-128591
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Informática
Object-oriented development
Class hierarchy schemas
Source code analysis
Formal concept analysis
spellingShingle Informática
Object-oriented development
Class hierarchy schemas
Source code analysis
Formal concept analysis
Arévalo, Gabriela Beatriz
Ducasse, Stéphane
Gordillo, Silvia Ethel
Nierstrasz, Oscar
Generating a catalog of unanticipated schemas in class hierarchies using Formal Concept Analysis
topic_facet Informática
Object-oriented development
Class hierarchy schemas
Source code analysis
Formal concept analysis
description Context: Inheritance is the cornerstone of object-oriented development, supporting conceptual modeling, subtype polymorphism and software reuse. But inheritance can be used in subtle ways that make complex systems hard to understand and extend, due to the presence of implicit dependencies in the inheritance hierarchy. Objective: Although these dependencies often specify well-known schemas (i.e., recurrent design or coding patterns, such as hook and template methods), new unanticipated dependency schemas arise in practice, and can consequently be hard to recognize and detect. Thus, a developer making changes or extensions to an object-oriented system needs to understand these implicit contracts defined by the dependencies between a class and its subclasses, or risk that seemingly innocuous changes break them. Method: To tackle this problem, we have developed an approach based on Formal Concept Analysis. Our Formal Concept Analysis based-Reverse Engineering methodology (FoCARE) identifies undocumented hierarchical dependencies in a hierarchy by taking into account the existing structure and behavior of classes and subclasses. Results: We validate our approach by applying it to a large and non-trivial case study, yielding a catalog of hierarchy schemas, each one composed of a set of dependencies over methods and attributes in a class hierarchy. We show how the discovered dependency schemas can be used not only to identify good design practices, but also to expose bad smells in design, thereby helping developers in initial reengineering phases to develop a first mental model of a system. Although some of the identified schemas are already documented in existing literature, with our approach based on Formal Concept Analysis (FCA), we are also able to identify previously unidentified schemas. Conclusions: FCA is an effective tool because it is an ideal classification mining tool to identify commonalities between software artifacts, and usually these commonalities reveal known and unknown characteristics of the software artifacts. We also show that once a catalog of useful schemas stabilizes after several runs of FoCARE, the added cost of FCA is no longer needed.
format Articulo
Articulo
author Arévalo, Gabriela Beatriz
Ducasse, Stéphane
Gordillo, Silvia Ethel
Nierstrasz, Oscar
author_facet Arévalo, Gabriela Beatriz
Ducasse, Stéphane
Gordillo, Silvia Ethel
Nierstrasz, Oscar
author_sort Arévalo, Gabriela Beatriz
title Generating a catalog of unanticipated schemas in class hierarchies using Formal Concept Analysis
title_short Generating a catalog of unanticipated schemas in class hierarchies using Formal Concept Analysis
title_full Generating a catalog of unanticipated schemas in class hierarchies using Formal Concept Analysis
title_fullStr Generating a catalog of unanticipated schemas in class hierarchies using Formal Concept Analysis
title_full_unstemmed Generating a catalog of unanticipated schemas in class hierarchies using Formal Concept Analysis
title_sort generating a catalog of unanticipated schemas in class hierarchies using formal concept analysis
publishDate 2010
url http://sedici.unlp.edu.ar/handle/10915/128591
work_keys_str_mv AT arevalogabrielabeatriz generatingacatalogofunanticipatedschemasinclasshierarchiesusingformalconceptanalysis
AT ducassestephane generatingacatalogofunanticipatedschemasinclasshierarchiesusingformalconceptanalysis
AT gordillosilviaethel generatingacatalogofunanticipatedschemasinclasshierarchiesusingformalconceptanalysis
AT nierstraszoscar generatingacatalogofunanticipatedschemasinclasshierarchiesusingformalconceptanalysis
bdutipo_str Repositorios
_version_ 1764820452573708288

Ejemplares similares