Especificación de un marco de pruebas asociado a Genexus. con adaptación de funcionalidades de FIT

Abstract

El software presenta una vertiginosa tendencia hacia la ubicuidad. En la medida que los sistemas informáticos adquieren un rol cada vez más relevante se ha vuelto imprescindible que posean la máxima calidad, así como la habilidad de cumplir los requerimientos que se les hubieran establecido. Para obtener confianza en que el software trabajará como es debido se lo debe evaluar. Esta evaluación, especialmente dificultosa debido a que el software es discreto, intangible, invisible e interdependiente, se ha convertido en una disciplina crítica dentro de la Ingeniería de Software y es parte esencial de cualquier proceso de desarrollo; debiendo realizarse con la mayor eficacia (para detectar el mayor número de problemas) y con la mayor eficiencia (para disminuir su costo). Una parte importante del software creado en nuestro medio se desarrolla con

GeneXus, herramienta de especificación de sistemas de información que permite generar y mantener bases de datos y código, apoyada en una metodología incremental e iterativa. GeneXus captura los requerimientos a partir de las visiones de los usuarios, modelando la realidad mediante un conjunto de instancias de objetos tipos que almacena en una base de conocimiento. Provee los mecanismos de síntesis e inferencia capaces de construir y mantener bases de datos óptimas y los programas de aplicación, minimizando el impacto de los cambios. Sin embargo, en el área de pruebas, GeneXus no brinda actualmente funcionalidades específicas. El Framework for Integrated Tests (FIT), por otra parte, propone una metodología para mejorar la comunicación de los requerimientos, mediante ejemplos representados de forma tabular que simultáneamente pueden utilizarse para probar el software. Sin embargo, sus ventajas se diluyen rápidamente al crecer la cantidad de requerimientos y ante el impacto de los cambios.

En este trabajo se realiza un estudio del estado del arte en lo referente a las pruebas, procesos de pruebas en las metodologías ágiles, automatización de las pruebas unitarias (XUnit), FIT y GeneXus, con el fin de elaborar la especificación inicial de un marco de pruebas unitarias asociado a GeneXus para probar los programas producidos por instancias de sus objetos tipo, utilizando funcionalidades inspiradas en aquellas ofrecidas por FIT. El marco para pruebas que se propone se apoya en GeneXus para asegurar la portabilidad de los casos de prueba, minimizar el impacto de los cambios y crear el código necesario para ejecutar las pruebas en el lenguaje de destino. Brinda un marco

de definición y ejecución de pruebas unitarias automatizadas, en un ámbito donde no existe actualmente tal posibilidad y otorga un mecanismo que posibilita la aplicación práctica de funcionalidades de FIT.