Imagen del encabezado de la página

IV Congreso Internacional de Ingeniería Informática y Sistemas de Información

IMPLEMENTACIÓN DE ESTRUCTURAS GRAMATICALES EN LA HERRAMIENTA ANTLR (ANOTHER TOOL FOR LANGUAGE RECOGNITION) CON VISTAS A LA OBTENCIÓN DEL GRAFO DE CONTROL DE FLUJO

Alejandro Miguel Güemes Esperón, Marta Dunia Delgado Dapena, Danay Larrosa Uribazo

Resumen

Las pruebas de software aumentan considerablemente la confiabilidad y calidad de los sistemas, contribuyendo así, a su posicionamiento en el mercado. Sin embargo, las pruebas son costosas por lo que se hace necesaria su automatización con el propósito de disminuir su costo y aumentar su efectividad.

Diversas herramientas permiten a los desarrolladores ejecutar automáticamente dichas pruebas, sin embargo, no les ofrece la posibilidad de asistirles durante la etapa de diseño de los casos de pruebas.

El proyecto “Pruebas Tempranas” de la Facultad de Ingeniería Informática de la CUJAE, ha desarrollado diferentes componentes para la automatización de las pruebas de software a partir de modelos, entre los que se destaca el “Generador de Casos de Prueba” (GeCaP), que pueden ser utilizados por desarrolladores y equipos de probadores, lo que contribuye a reducir el esfuerzo vinculado con esta costosa actividad.

Se pretende, en general, presentar propuestas para dar solución a problemas de implementación identificados dentro de la herramienta ANTLR (ANother Tool for Language Recognition; en español: "otra herramienta para reconocimiento de lenguajes"), que integra la generación de analizadores léxicos, sintácticos, árboles de sintaxis abstracta (AST, por sus siglas en inglés) y evaluadores de atributos; para la construcción automática del AST a partir del código fuente  JAVA, el cual constituye una forma de representación del conocimiento  compuesto por elementos significativos del código fuente y sus relaciones. Esta herramienta es utilizada por el componente GeCaP para la obtención del grafo de control de flujo (GFC) correspondiente al AST generado por el ANTLR.

Las pruebas de software aumentan considerablemente la confiabilidad y calidad de los sistemas, contribuyendo así, a su posicionamiento en el mercado. Sin embargo, las pruebas son costosas por lo que se hace necesaria su automatización con el propósito de disminuir su costo y aumentar su efectividad.

Diversas herramientas permiten a los desarrolladores ejecutar automáticamente dichas pruebas, sin embargo, no les ofrece la posibilidad de asistirles durante la etapa de diseño de los casos de pruebas.

El proyecto “Pruebas Tempranas” de la Facultad de Ingeniería Informática de la CUJAE, ha desarrollado diferentes componentes para la automatización de las pruebas de software a partir de modelos, entre los que se destaca el “Generador de Casos de Prueba” (GeCaP), que pueden ser utilizados por desarrolladores y equipos de probadores, lo que contribuye a reducir el esfuerzo vinculado con esta costosa actividad.

Se pretende, en general, presentar propuestas para dar solución a problemas de implementación identificados dentro de la herramienta ANTLR (ANother Tool for Language Recognition; en español: "otra herramienta para reconocimiento de lenguajes"), que integra la generación de analizadores léxicos, sintácticos, árboles de sintaxis abstracta (AST, por sus siglas en inglés) y evaluadores de atributos; para la construcción automática del AST a partir del código fuente  JAVA, el cual constituye una forma de representación del conocimiento  compuesto por elementos significativos del código fuente y sus relaciones. Esta herramienta es utilizada por el componente GeCaP para la obtención del grafo de control de flujo (GFC) correspondiente al AST generado por el ANTLR.


Palabras claves

pruebas de software; ANTLR; árbol de sintaxis abstracta