Javainv

Revista EIA, ISSN 1794-1237 Número 9, p. 31-42. Julio 2008
Escuela de Ingeniería de Antioquia, Medellín (Colombia)

UN MÉTODO DE INGENIERÍA INVERSA
DE CÓDIGO JAVA HACIA DIAGRAMAS
DE SECUENCIAS DE UML 2.0

Carlos Mario Zapata*
ÓsCar andrés oChoa**
CaMilo VéleZ**

RESUMEN

La Ingeniería inversa de software aparece como un proceso que ayuda al aseguramiento de la calidad
y documentación de aplicaciones con deficiencias en los modelos de análisis y diseño. Además, ayuda en la
disminución de costos y tiempos de mantenimiento. En la actualidad existen herramientas CASE y algunas
propuestas de investigación que realizan el proceso de ingeniería inversa a diagramas UML, en especial a
los diagramas de clases y secuencias. Algunas se encuentran en fases experimentales; otras se enfocan mu-
cho más en el diagrama de clases que en el de secuencias. Un tercer grupo obtiene algunos elementos del
diagrama de secuencias, pero no posee muchos de los elementos que hacen parte de la especificación de
UML 2.0. En este artículo se propone un método que automatiza la conversión de código JAVA en diagrama
de secuencias de UML 2.0, por medio de la aplicación de reglas de transformación que convierten los ele-
mentos del código en elementos del diagrama. Se presenta también un ejemplo de aplicación del método
con un prototipo que lo emplea, el UNC-Inversor.
PALABRAS CLAVE: Ingeniería inversa; diagrama de secuencias; UML; JAVA; reglas de transfor-
mación.

* Ingeniero Civil, Especialista en Gerencia de Sistemas Informáticos, Magíster en Ingeniería de Sistemas y Doctor en
Ingeniería con énfasis en Sistemas. Profesor Asociado de la Escuela de Sistemas, Facultad de Minas, Universidad
Nacional de Colombia, Sede Medellín. Integrante del Grupo de Investigación en Lenguajes Computacionales.
cmzapata@unal.edu.co

** Estudiante de Ingeniería de Sistemas e Informática de la Universidad Nacional de Colombia. Integrante del Grupo
de Investigación en Lenguajes Computacionales de la Escuela de Sistemas, Facultad de Minas, Universidad Nacional
de Colombia. oaochoa@unalmed.edu.co; cvelezp@unalmed.edu.co

Artículo recibido 20-III-2008. Aprobado 8-VI-2008
Discusión abierta hasta diciembre de 2008

Un método de ingeniería inversa de código java hacia diagramas de secUencias de Uml 2.0

ABSTRACT

Software reverse engineering seems to be the process for helping software quality assurance and
documentation in applications with low-quality analysis and design models. It also helps for decreasing
maintenance cost and time. Currently, some CASE tools and research proposals assist analysts to develop
reverse engineering process with UML diagrams as a result (especially class and sequence diagram). Some
of them have reached experimental phases. Some others are focused more on class diagram and less on
sequence diagram. A third group of CASE tools and proposals obtains sequence diagram, but the resulting
diagram lacks some of the elements of the UML 2.0 specification. In this paper, we propose a method for
automating the conversion of JAVA code into UML 2.0 sequence diagram, by means of the application of
transformation rules for converting code elements to the diagram elements. We also present an example of
the method application through a prototype named UNC-Inversor.

KEY WORDS: Reverse engineering; sequence diagram; UML; JAVA; transformation rules.

1. INTRODUCCIÓN Actualmente, existen herramientas y pro-
puestas de investigación que realizan el proceso de
Inmersa en el área de conocimiento de la ingeniería inversa hacia estos diagramas, que aún
ingeniería de software, se encuentra la ingeniería presentan algunos problemas: la mayoría de las he-
inversa como punto de apoyo para los procesos de rramientas CASE que realizan este proceso todavía
análisis y diseño propuestos en diferentes métodos lo hacen de forma experimental e incompleta; las he-
de desarrollo (Tilley et al., 1994). Muchos proyectos rramientas y propuestas de investigación se enfocan,
de software eluden la aplicación de métodos de de- por lo general, en el diagrama de clases, y finalmente
sarrollo que faciliten el mantenimiento posterior de aquellas que intentan obtener otros diagramas (como
las aplicaciones resultantes. Este tipo de aplicaciones los de interacción) aún no obtienen los nuevos ele-
carece de la documentación necesaria para realizar mentos que define el estándar de UML 2.0.
su adecuado mantenimiento (Fitzgerald, Russo y
O’Kane, 2003). En este artículo se propone un proceso de
conversión de código JAVA a diagrama de secuen-
La ingeniería inversa permite subsanar esta cias de UML 2.0, en el cual se define un conjunto de
deficiencia, al documentar los productos de software reglas de transformación y que se ejemplifica con un
a partir del código ejecutable, con el fin de obtener caso de estudio en el prototipo de una herramienta
los artefactos de análisis y diseño. La ingeniería que automatiza dicho proceso, denominada UNC-
inversa es además una herramienta útil que ayuda Inversor.
en el proceso de aseguramiento de la calidad del
software, mediante la comparación de diagramas de El artículo se organiza así: en la sección 2 se
fases de análisis y desarrollo (Briand, Labiche y Miao, presenta un marco teórico que recopila los cono-
2003). La ingeniería inversa de software se apoya co- cimientos básicos necesarios para comprender los
múnmente en la generación del diagrama de clases, procesos de ingeniería inversa; en la sección 3 se
debido a la importancia de este diagrama en la fase de discuten los antecedentes y trabajos existentes en
diseño y su facilidad de generación. Existen también la materia, prestando especial atención a la inge-
otros diagramas de interés como el de comunicación niería inversa del diagrama de secuencias a partir
y el de secuencias, que modelan las características de código ejecutable; en la sección 4 se presenta
dinámicas de un producto de software. el método para obtener el diagrama de secuencias

32 Revista EIA

de UML 2.0 a partir de código JAVA, detallando las mantenimiento y la corrección de defectos que el
reglas y el método empleado en la transformación; software pueda presentar; la adquisición de conoci-
en la sección 5 se presenta un caso de estudio que miento de un producto de software, revelando los
emplea el prototipo de la herramienta UNC-Inversor, detalles estructurales y de comportamiento que se
que automatiza el método propuesto; al final, en las encuentran dispersos u ocultos, ofreciendo mayor
secciones 6 y 7, se presentan las conclusiones y el independencia entre el producto de software y sus
trabajo futuro, respectivamente. constructores; finalmente, el apoyo al aseguramiento
de la calidad del software, al facilitar la compara-
ción de los diagramas de análisis y diseño contra
2. MARCO TEÓRICO
los diagramas generados mediante el proceso de
La ingeniería inversa es el proceso para ana- ingeniería inversa.
lizar componentes y relaciones entre componentes, Asimismo, la ingeniería inversa de software
con el fin de construir descripciones de un sistema en presenta riesgos y problemas que pueden ocasionar
un nivel superior de abstracción (Chikofsky y Cross, que un equipo de trabajo desestime su uso. Entre
1990). La ingeniería inversa de software permite ex- ellos se encuentran los siguientes:
traer los detalles estructurales y de comportamiento
implícitos en el código de un producto de software • Las dificultades asociadas con la complejidad de
y expresarlos de forma estándar, generalmente en la inversión y con la comprensión de los diagra-
diagramas UML (Tonella y Potrich, 2005). mas, puesto que en muchos casos se incluye
información irrelevante.
Existen dos tipos de ingeniería inversa. El pri-
mero se basa en el código estático, es decir, cuando • La escasa madurez de los procesos de ingeniería
no se utiliza información de tiempo de ejecución, y el inversa, que implica un bajo refinamiento en la
segundo analiza el código en ejecución. Esta diferen- transformación y, por ende, incrementa la sus-
cia es importante, en tanto establece la dificultad de ceptibilidad a errores.
la inversión y sus alcances. Mientras que la inversión • El desconocimiento de la aplicación de la in-
del código estático se utiliza, ante todo, cuando se ge- geniería inversa en entornos productivos y la
neran diagramas que describen su estructura, como desconfianza por el uso de nuevas tecnologías.
el diagrama de clases y el de paquetes, la inversión
que analiza el código en ejecución se utiliza, primor- El diagrama de secuencias UML 2.0 es un
dialmente, cuando se requieren modelos que revelen diagrama de interacción que describe cómo un
las características dinámicas del sistema, como el grupo de objetos intercambian mensajes para rea-
diagrama de objetos (Fowler, 2004). El diagrama lizar una operación. Existen muchas características
de secuencias modela el comportamiento dinámico por las cuales el diagrama de secuencias UML 2.0
de un software, lo cual sugiere que se debe invertir se usa para modelar el comportamiento dinámico
usando el código en ejecución. Sin embargo, por ser de un sistema. Entre estas, se destaca la facilidad de
la secuencia de mensajes la que interesa analizar, es comprensión, es decir, que no se necesita una expli-
posible utilizar la información estática obtenida en cación rigurosa de la notación de dicho diagrama y la
tiempo de compilación para invertir sus caracterís- posibilidad de modelar secuencias correspondientes
ticas esenciales. a códigos escritos en lenguajes orientados a objetos,
ya que estos se basan en el intercambio de mensajes
Entre los usos más difundidos de la ingeniería
(Fowler, 2004).
inversa se encuentran (Tonella y Potrich, 2005): la
documentación de aplicaciones con deficientes En el diagrama de secuencias, se distribuyen
fases de análisis y diseño, con el fin de facilitar el los elementos en dos ejes, en los cuales se ubican los

Escuela de Ingeniería de Antioquia
33


participantes (eje horizontal u objetual) y los mensa- Otras propuestas se encargan únicamente del
jes y fragmentos combinados (eje vertical o tempo- diagrama de clases, como Guéhéneuc (2004) desde
ral). Los elementos del diagrama de secuencias son: lenguaje C; Sutton y Maletic (2005), Philippow et al.
participantes, mensajes y fragmentos combinados (2005), Yeh et al. (2007) y Sutton y Maletic (2007) des-
(Fowler, 2004). de C++; Keschenau (2004), Wang y Yuan (2006) y
Dong, Lad y Zhao (2007) a partir de código JAVA.
3. ANTECEDENTES Un tercer grupo de propuestas se encarga de
diagramas de interacción, como el de comunicación
Ahora se dispone de varias herramientas (colaboración en el estándar de UML 1.4) y el de
CASE que automatizan los procesos de ingeniería secuencias. En este grupo se encuentran Kollman y
inversa. Algunas de las más representativas son: Gogolla (2001), que definen los elementos básicos del
NetBeans (Myatt, 2007), Together versión 2006 de diagrama de comunicación, como actores, objetos
Borland que se apoya en el entorno Eclipse (Thurston y mensajes; Briand, Labiche y Miao (2003) y López
y Kanouse, 2005), Visual Paradigm (Tsang, 2005) y Vi- et al. (2006), que obtienen el diagrama de secuen-
sual Studio (Levinson y Nelson, 2006). Exceptuando cias de UML a partir de código C++, pero que no
el Visual Studio, que sólo genera unas estructuras de obtienen los fragmentos combinados definidos en el
datos desde código, las demás herramientas generan estándar de UML 2.0; Tonella y Potrich (2005), que
de forma exitosa el diagrama de clases desde código realizan una revisión de las técnicas disponibles para
en diferentes lenguajes de programación, pero todas la ingeniería inversa de código orientado a objetos
ellas presentan inconvenientes al obtener el diagra- y dedican un capítulo especial a los diagramas de
ma de secuencias, puesto que no obtienen la gran interacción, pero sin obtener los elementos nuevos
mayoría de los elementos de dicho diagrama perte- definidos por el estándar de UML 2.0 (como los
necientes al estándar de UML 2.0. Además, NetBeans fragmentos combinados), y Merdes y Dorsch (2006),
y Together 2006 para Eclipse, que sí generan algunos que obtienen los diagramas de secuencias de UML a
de los elementos de UML 2.0, presentan problemas partir de JAVA, pero sin incluir los fragmentos combi-
en la identificación del fragmento combinado LOOP, nados. Propuestas como la de Rountev et al. (2005) y
a partir de sentencias DO y DO WHILE. Rountev y Connell (2005) obtienen los diagramas de
El creciente interés en esta clase de trabajos se secuencias de UML 2.0 a partir de JAVA, incluyendo
nota también en el trabajo de El-Attar y Miller (2008) algunos fragmentos combinados, pero presentan
quienes, a partir de las descripciones textuales de los problemas con el fragmento LOOP a partir de las
casos de uso, aplican ingeniería inversa a la obten- sentencias DO y DO WHILE.
ción del diagrama de casos de uso, que es uno de
los diagramas de comportamiento de UML, el grupo 4. MÉTODO PARA LA
de diagramas del cual descienden los de interacción.
INGENIERÍA INVERSA
Existen propuestas de investigación que estudian la
ingeniería inversa del código orientado a objetos a
DEL DIAGRAMA DE
nivel general, como Baxter y Mehlich (1997), que SECUENCIAS DE UML 2.0
consideran la ingeniería inversa como un caso espe- A PARTIR DE CÓDIGO JAVA
cial de la ingeniería de software convencional; Cain y
McCrindle (1999), que generan una taxonomía de clases Como una forma de respuesta a los diferentes
a partir de código en C++, y Snavely, Debray y Andrews problemas enunciados en la sección anterior para
(2005), que obtienen diagramas de flujo y expresiones la inversión del diagrama de secuencias, el grupo
en lógica de predicados a partir de código C. de Lenguajes Computacionales de la Universidad

34 Revista EIA

Nacional de Colombia presenta, en este artículo, definen en JAVA, pero se podrían definir equivalen-
un método que permite obtener los diferentes ele- cias a cualquier otro lenguaje orientado a objetos.
mentos del diagrama de secuencias de UML 2.0, En la tabla 1, se muestran algunas de las reglas de
incluyendo los fragmentos combinados OPT, ALT y transformación (las demás se omitieron por razones
LOOP, obtenido este último a partir de sentencias de espacio). En “Condición” se incluye un ejemplo
DO y FOR. Para las sentencias DO WHILE, se optó del fragmento que se busca en el código JAVA, en
por generar un fragmento combinado estereotipa- tanto que en “Resultado” se presenta la imagen del
do <<DO-WHILE>>, puesto que su semántica es diagrama de secuencias resultante en cada caso. Se
muy diferente de los fragmentos combinados LOOP incluye para cada regla una descripción en lenguaje
convencionales. Las reglas de transformación se natural por efectos de claridad de la regla.

Tabla 1. Reglas de transformación de código JAVA al diagrama de secuencias de UML 2.0

No. REGLAS DE TRANSFORMACIÓN
Mensaje Normal: Llamado a un método con el patrón ‘nombreObjeto.nombreMetodo()’.
Condición Resultado
1 miCajero.getSaldo();

Mensaje Nuevo: Instancia de un objeto por medio del operador ‘new’.
CajeroAutomatico miCajero = new
2 CajeroAutomatico(saldoInicial);

Mensaje Recurrente: Llamado a un método de clase ‘nombreMetodo()’. Se puede usar el operador ‘this’
antecediendo el llamado del método.
3 this.getSaldo();

Mensaje Retorno: Retorno de un método que se identifica por la palabra reservada ‘return’.

4 return this.saldo;

Mensaje Encontrado: Método del cual empieza el proceso de inversión del código.
public class Main {
public static void main( String args[] ) throws
5 IOException{
}
}

Mensaje Perdido: Caso especial del mensaje tipo Retorno, que se realiza en el ámbito del método del cual se
empieza el proceso de inversión del código.
6 return this.resultado;

Participante Normal: Representación de un objeto definido con una clase cuya definición se encuentra en la
estructura del código invertido.
CajeroAutomatico miCajero = new
7
CajeroAutomatico(saldoInicial);

35


No. REGLAS DE TRANSFORMACIÓN
Participante Límite: Representación de un objeto definido con una clase cuya definición no se encuentra en la
estructura del código invertido.
BufferedReader br;
8 br = new BufferedReader(isr);

Participante Estático: Representación de un objeto-clase al cual se le realiza llamado a métodos estáticos
pertenecientes a éste.
Integer.parseInt(br.readLine());

9

Participante Anónimo: Representación de un objeto instanciado como anónimo.
new CajeroAutomatico(saldoInicial)
10

Participante “Inicial”: Representación de la clase que contiene el método del cual se inicia el proceso de
inversión.
public class Main {
11 public static void main( String args[] ) throws
IOException{
}
}

Fragmento OPT: Estructura de control alternativa ‘if’ que no tiene secuencia ‘else’.
if ( saldoInicial == 0 )
12 System.out.println("Sin fondos");

Fragmento ALT: Estructura de control alternativa ‘if-else’.
if ( saldoInicial == 0 )
System.out.println("Sin fondos");
13 else
System.out.println("Con fondos");

Fragmento LOOP: Estructuras de repetición o bucles ‘for’ y ‘while’.
for( int i = 0; i < 10; i++ ) {
System.out.println("contador:"+i);
}
14
while( i < 10 ) {
System.out.println("contador:"+i);
i++;
}

Fragmento <<do-while>>: Fragmento combinado estereotipado que representa la estructura de repetición ‘do-
while’.
do{
15 System.out.println(" 1. Consultar saldo");
System.out.println(" 0. Terminar");
} while( opcion != 0 );

36 Revista EIA
7

El método enunciado se programó en el de forma recurrente. El UNC-Inversor detecta los
prototipo UNC-Inversor. La figura 1 ilustra los di- métodos recurrentes que se encuentran dentro
ferentes módulos que componen el UNC-Inversor del código que se invierte, de manera que no se
y también ilustra el proceso de inversión (módulo entra en un bucle infinito de recurrencia. El UNC-
de inversión). Inversor maneja este proceso con la ayuda de tres
módulos: inversión, edición de diagramas y manejo
El proceso de inversión comienza luego de
de proyectos.
hacer un análisis de código para identificar paquetes,
clases, métodos y atributos y para ello es indispen- El módulo de Inversión es el núcleo de UNC-
sable que se cree un proyecto que contenga los Inversor, que integra las diferentes funciones para
archivos fuente. Enseguida, se selecciona el método asumir la complejidad que requiere el proceso de
inicial de inversión y se continúa con la obtención inversión. Este módulo se compone a su vez de tres
de la representación computacional del diagrama módulos más pequeños: análisis de código, manejo
de secuencias en lenguaje XML para, al final, pre- de archivos XML y graficación. El módulo de aná-
sentarle al usuario el gráfico correspondiente a la lisis de código se encarga de recorrer los paquetes
inversión del método seleccionado como inicial. La y clases de los diferentes archivos que forman un
inversión se puede hacer de dos formas diferentes: proyecto de programación en JAVA y obtiene es-
en la primera (forma no recurrente) se resuelven tructuras de datos que representen el código por
única y exclusivamente los mensajes pertenecientes analizar en memoria, para formar estructuras para
al método elegido para invertir, mientras que en la las clases incluyendo sus métodos, atributos, impor-
segunda forma (recurrente) se ofrece una mayor taciones y clases interiores. Este módulo también
flexibilidad y se resuelven los mensajes ocasionados se encarga de analizar el método inicial para crear
por los propios mensajes contenidos en el método la representación computacional del diagrama de
de inversión inicial. secuencias. El módulo de manejo de archivos XML
se encarga de generar la estructura para los archivos
XML correspondientes a los diagramas de secuencias
creados por el módulo de análisis de código; tiene
la capacidad de guardarlos en disco y leerlos para
MÓDULO DE ANÁLISIS MÓDULO DE MANEJO MÓDULO DE
su posterior análisis. El módulo de graficación se
DE CÓDIGO DE ARCHIVOS XML GRAFICACIÓN
encarga de dibujar y situar los diferentes elementos
de un diagrama de secuencias que se encuentra
almacenado en un archivo XML.
MÓDULO DE MANEJO MÓDULO DE EDICIÓN
DE PROYECTOS DE DIAGRAMAS
El módulo de edición de diagramas le permite
al UNC-Inversor editar el diagrama de secuencias, y
lo convierte en una herramienta CASE convencional
de modelado. Los diagramas invertidos también
Figura 1. Módulos que componen UNC-Inversor son susceptibles de modificación, pues permiten el
manejo estético que el usuario requiera. Este mó-
En esta última forma, la resolución de los dulo permite guardar los diagramas de secuencias
mensajes permite condensar en un solo diagrama el generados en el proceso de inversión o editados por
comportamiento del sistema desde una perspectiva el usuario, en formato binario, como una imagen en
más global. Es de anotar que ninguna de las herra- formato jpg o como un archivo XML compatible con
mientas CASE comerciales resuelve los mensajes el usado por el módulo de graficación.

37


El módulo de manejo de proyectos absorbe El método que se analiza pertenece a la clase
la complejidad asociada con el manejo de proyec- ‘CajeroAutomatico’, la cual hace parte de un código
tos y crea un entorno que facilita la inversión. De JAVA que emula el comportamiento de un cajero
esta manera, permite manejar varios proyectos automático bancario. La figura 2 muestra el fragmento
simultáneamente y crear las estructuras de archivos de código, que incluye el método analizado ‘Depo-
y carpetas necesarias para crear, abrir o editar un sitar’ y el método referenciado en el interior de éste
proyecto de inversión. ‘sumarAlSaldo’. Por efectos de claridad del proceso,
se omiten los demás métodos de la clase ‘CajeroAuto-
matico’. Las reglas de transformación que se emplean
5. CASO DE ESTUDIO para la inversión del fragmento de código de la figura
2 se muestran en la tabla 1. Usando la herramienta
EN EL PROTOTIPO UNC
UNC-Inversor para realizar la inversión de este código,
INVERSOR se obtiene el resultado que se presenta en la figura
3. En esta figura, se puede apreciar la secuencia de
El siguiente es un ejemplo de conversión de mensajes resultante del análisis del método ‘Deposi-
código JAVA en el diagrama de secuencias de UML tar’. En el ejemplo de inversión, se pueden observar
2.0, a través de la herramienta UNC-Inversor. las siguientes secuencias:

Figura 2. Fragmento de código perteneciente a la clase ‘CajeroAutomatico’

38 Revista EIA

• El participante ‘CajeroAutomatico’ representa la la consola, por lo que se dibujan como mensajes
clase que contiene el método inicial de inversión. recurrentes. Estos se asocian con la regla 3 de la
Se refiere a la regla 11 de la tabla 1 y se ve, en el tabla de reglas de transformación. De esta misma
código, en la línea 5. forma, se puede analizar el mensaje ‘sumarAlSal-
do()’, que se encuentra en la línea 19 del código
• El mensaje ‘Depositar()’ es el método inicial de
de la figura 2.
inversión, por lo cual se dibuja como un mensaje
tipo Encontrado. Se asocia con la regla 5 de la tabla
• En la línea 13 del código, se encuentra la se-
1 y se ve en la figura 2 del código en la línea 9.
cuencia de instanciación de un nuevo objeto,
• Las secuencias asociadas a las líneas 10, 11, 12, lo cual se representa por medio de un mensaje
16 y 20 son mensajes ‘System.out.println’ y se tipo Nuevo y la aparición de un participante tipo
refieren a interacciones con el usuario por medio Límite, debido a que la clase Double no hace

Figura 3. Resultado de la inversión del código de la figura 2 con UNC-Inversor

39


parte de la estructura del código invertido. Estas ingeniería inversa a diagrama de secuencias de UML
secuencias, se transforman aplicando las reglas 2.0, mediante la aplicación de reglas de transforma-
2 y 8 de la tabla de reglas de transformación. ción que establecen una relación unívoca entre los
elementos del diagrama y patrones de código, que
• El mensaje ‘doubleValue()’ es de tipo Normal, se
se ejemplifica en JAVA, pero se podrían equiparar
representa en la línea de código 14 y se invierte
a cualquier lenguaje orientado a objetos.
al aplicar la regla 1 de la tabla 1.
La inversión del diagrama de secuencias, aun-
• La estructura de control alternativo ‘if-else’, que
que es una tarea compleja que teóricamente se debe
abarca las líneas 15 a 23 del código, se transforma
realizar con información de tiempo de ejecución y
mediante la aplicación de la regla 13 de la tabla de
de tiempo de compilación, se puede simplificar para
reglas de transformación. En la figura 2, se aprecia
realizar la inversión tomando como base la informa-
su representación como el fragmento combinado
ción de tiempo de compilación, para obtener de esta
ALT, el cual contiene todos los mensajes enviados
manera la mayor cantidad de secuencias disponibles
dentro de la estructura de control.
en el código.
• Los mensajes tipo Retorno se asocian con las
líneas 17 y 21 del código invertido y representan 7. TRABAJO FUTURO
el envío de un método return aplicando la regla
4 de la tabla 1. Existen aspectos del código que el método
definido en este artículo no contempla, como algunas
6. CONCLUSIONES operaciones que se corren en tiempo de ejecución,
tales como polimorfismos y asociaciones tardías. Es-
La ingeniería inversa es un proceso multipro- tos aspectos, al igual que la mayoría de los fragmen-
pósito que contribuye a mejorar la documentación tos combinados predefinidos en UML no los invierte
que se genera mediante la ingeniería de software. este método, por no tener una representación lógica
Dentro de la ingeniería de software, la ingeniería en el código. Asimismo, los esfuerzos subsecuentes
inversa hacia diagramas de secuencias permite la a este trabajo se enfocarán en inversiones de más
comprensión de los detalles dinámicos de un método diagramas y desde más lenguajes, contemplando la
por medio de la visualización del intercambio de mayor cantidad de detalles, con el objetivo de que el
mensajes en el tiempo. Este tipo de ingeniería inversa conjunto de documentos invertidos conformen entre
aún presenta problemas que motivan la investigación todos una representación completa de un producto
en este campo, pues, por lo general, los esfuerzos se de software determinado.
encaminaron a la ingeniería inversa del diagrama de
Es importante, igualmente, la definición
clases y los trabajos que se ocupan de los diagramas
de un mecanismo de comparación que permita
de interacción todavía presentan problemas, como la
determinar la coherencia entre los diagramas de
falta de identificación de los fragmentos combinados
secuencia construidos en fases de análisis y diseño y
y los errores que se cometen al invertir sentencias
los obtenidos a partir del proceso de inversión. Esta
DO y DO WHILE.
comparación permite establecer qué tan similar es
En este artículo se definió un método para lo construido con lo deseado. Además, si se supone
obtener el diagrama de secuencias de UML 2.0 a que los diagramas de fase de análisis y diseño son
partir de código JAVA, como una forma de superar correctos, se pueden realizar extrapolaciones para
algunas de las limitaciones encontradas en este pro- que la comparación determine si el producto de
ceso. Este método permite automatizar el proceso de software cumple con las necesidades del interesado

40 Revista EIA

o no. Este criterio de comparación también se debe Levinson, J. and Nelson, D. 2006. Pro Visual Studio 2005
definir para los otros diagramas que se obtengan team system. Apress, Berkeley.
mediante el proceso de inversión. López, M.; Alfonzo, A.; Pérez, J.; González, J. and Montes,
A. (2006). A metamodel to carry out reverse engineer-
ing of C++ Code into UML Sequence Diagrams. Pro-
REFERENCIAS ceedings of the Electronics, Robotics and Automotive
Mechanics Conference, Cuernavaca (México).
Baxter, D. and Mehlich, M. (1997). Reverse engineering
is reverse forward engineering. Proceedings of the 4th Merdes, M. and Dorsch, D. (2006). Experiences with the
Working Conference on Reverse Engineering, Amster- development of a reverse engineering tool for UML
dam (Países Bajos). sequence diagrams: A case study in modern Java
development. Proceedings of the 4th International
Briand, L. C.; Labiche, Y. and Miao, Y. (2003). Towards the Symposium on Principles and Practice of Programming
reverse engineering of UML sequence diagrams. Pro- in Java, Mannheim (Alemania), pp. 125-134.
ceedings of the 10th Working Conference on Reverse
Engineering, Victoria (Canada), pp. 57-66. Myatt, A. 2007. Pro NetBeans IDE 5.5 Enterprise Edition.
Apress, New York.
Cain, J. W. and McCrindle, R. J. (1999). Software visu-
alisation using C++ Lenses. Proceedings of the 7th Philippow, I.; Streitferdt, D.; Riebisch, M. and Naumann, S.
International Workshop on Program Comprehension, (2005). An approach for reverse engineering of design
Pittsburgh (Estados Unidos). patterns. Software and System Modeling 4(1): 55-70.
Chikofsky, E. and Cross, J. (1990). Reverse engineering Rountev, A. and Connell, B. (2005). Object naming analysis
and design recovery: A Taxonomy. IEEE Software, for reverse-engineered sequence diagrams. Proceed-
7(1): 13-17. ings of the 27th International Conference on Software
Dong, J.; Lad, D. and Zhao, Y. (2007). DP-Miner: Design Engineering, St. Louis (Estados Unidos), pp. 254-263.
pattern discovery using Matrix. Proceedings of the 14th
Rountev, A.; Volgin, O. and Reddoch, M. (2005). Static
Annual IEEE International Conference and Workshops
control-flow analysis for reverse engineering of UML
on the Engineering of Computer-Based Systems, Tuc-
sequence diagrams. Proceedings of the 2005 ACM
son (Estados Unidos). p. 371-380.
SIGPLAN-SIGSOFT Workshop on Program Analysis
El-Attar, M. and Miller, J. (2008). Producing robust use case for Software Tools and Engineering, Lisboa (Portugal),
diagrams via reverse engineering of use case descrip- pp. 96-102.
tions. Software and System Modeling 7:67-73.
Snavely, N.; Debray, S. and Andrews, G. (2005). Unpredica-
Fitzgerald, B.; Russo, N. and O’Kane, T. (2003). Software tion, unscheduling, unspeculation: reverse engineering
development method tailoring at Motorola. Commu- Itanium executables. IEEE Transactions on Software
nications of the ACM, 46(4):64-70. Engineering, 31(2): 99-115.
Fowler, M. 2004. UML distilled: A brief guide to the
Sutton, A. and Maletic, J. I. (2005). Mappings for ac-
standard object modeling language. Addison Wesley,
curately reverse engineering UML class models from
Boston.
C++. Proceedings of the 12th Working Conference
Guéhéneuc, Y. (2004). A reverse engineering tool for on Reverse Engineering, Pittsburgh (Estados Unidos),
precise class diagrams. Proceedings of the 2004 Confer- pp. 175-184.
ence on the Centre for Advanced Studies on Collabora-
tive Research, Markham (Canadá), pp. 28-41. Sutton, A. and Maletic, J. I. (2007). Recovering UML class
models from C++: a detailed explanation. information
Keschenau, M. (2004). Reverse engineering of UML speci- and software technology, 49: 212-219.
fications from Java programs. Proceedings of the 19th
Annual ACM SIGPLAN Conference on Object-Oriented Thurston, M. and Kanouse, G. 2005. Eclipse distilled: a
Programming Systems, Languages, and Applications, programmer’s first look at Eclipse. Addison Wesley
Vancouver (Canadá), pp. 326-327. Professional, Indianapolis.

Kollman, R. and Gogolla, M. (2001). Capturing dynamic Tilley, S.; Wong, K.; Storey, M. and Muller, H. (1994). Pro-
program behaviour with UML collaboration diagrams. grammable reverse engineering. International Journal
Proceedings of the 5th Conference on Software Mainte- of Software Engineering and Knowledge Engineering,
nance and Reengineering, Lisboa (Portugal). 4(4):501-520.

41


Tonella, P. and Potrich, A. 2005. Reverse engineering of Canadian Conference on Electrical and Computer
object oriented code. Springer, New York. Engineering, Ottawa (Canadá), pp. 422-425.

Tsang, C. 2005. Object-oriented technology from diagram Yeh, D.; Sun, P.; Chu, W.; Lin, C. and Yang, H. (2007). An
to code with Visual Paradigm for UML. McGraw-Hill, empirical study of a reverse engineering method for the
Maidenhead. aggregation relationship based on operation propaga-
tion. Empirical Software Engineering 12:575-592.
Wang, X. and Yuan, X. (2006). Towards and AST-based
approach to reverse engineering. Proceedings of the

42 Revista EIA

Javainv

Más contenido relacionado

La actualidad más candente (20)

Similar a Javainv (20)

Más de PlusReports (6)

Javainv