Extracción y análisis de información estática orientada a la comprensión de programas para Sistemas OO

Abstract

Sin lugar a dudas, una de las tareas más complejas y que más tiempo consume en el ciclo de vida de una aplicación es la de Mantenimiento. En este entorno, las actividades que más tiempo consumen son aquellas que debe ejecutar el programador para lograr un completo entendimiento del sistema. A partir de esta necesidad, es que surge una disciplina de la Ingeniería de Software denominada Comprensión de Programas (CP). En este contexto, muchos autores afirman que un programador efectivamente comprende un programa cuando puede relacionar el Dominio del Problema con el Dominio del Programa. El primero hace referencia a la salida del sistema bajo estudio. El segundo se relaciona con los componentes del sistema utilizados para producir dicha salida. En este artículo se presenta una estrategia que asiste al programador durante el proceso de Comprensión de Programas de sistemas Orientados a Objetos (OO). Dicha estrategia realiza las siguientes tareas: i) extrae el Grafo Estático de Llamadas a Métodos (GELM), ii) aplica filtros que eliminan métodos muy relacionados con detalles de implementación, del GELM y iii) posibilita el análisis del GELM reducido, con el propósito de inferir funcionalidades. De esta manera la estrategia planteada pretende asistir al arduo proceso cognitivo que implica comprender un sistema.

Undoubtedly, one of the most complex and time-consuming tasks in the life cycle of an application is the Maintenance one. Within this environment, the most timeconsuming activities are those that the programmer must execute for a complete understanding of the system. Based on this need, Program Comprehension (PC), a Software Engineering discipline, arises to tackle the problem. In this context, many authors claim that a programmer comprehend a program when it can relate the Problem Domain with the Program Domain. The first refers to the output of the system under study. The second relates to the system components used to produce that output. In this article a strategy that assists the programmer during the understanding of Object Oriented (OO) systems is presented. The strategy performs the following tasks: i) extracts the Static Method Call Graph (SMCG), ii) applies filters that remove methods closely related to implementation details from the SMCG and iii) enables analysis of the reduced SMCG in order to obtain system functionalities. Thereby, the proposed strategy seeks to assist the arduous cognitive process that involves understanding a system.