Creación de pruebas automatizadas para modelos ejecutables de software

Abstract

El Desarrollo Guiado por Comportamiento (conocido como BDD, por sus siglas en inglés, Behavior Driven Development) es una estrategia para desarrollar software usando la especificación del comportamiento y los resultados esperados del programa para su desarrollo y para definir las pruebas. Por otro lado, la Ingeniería de Software Dirigida por Modelos (ISDM) se basa en el uso de modelos en todas las fases de desarrollo del software, aumentando así el nivel de abstracción y por tanto reduciendo notablemente la complejidad añadida al trabajar con lenguajes de programación que implementan las aplicaciones software. En este proyecto se desarrolla una propuesta para la unión de estos dos conceptos, creándose una herramienta que implementa las pruebas necesarias para verificar el comportamiento de modelos UML en USE con ayuda de Gherkin y Cucumber. USE es un entorno de especificación de sistemas que utiliza UML como lenguaje de modelado para definir su estructura y comportamiento general y SOIL para definir su comportamiento detallado. Por su parte, Gherkin utiliza el patrón "Given When-Then" para especificar las pruebas. Cada palabra clave define un aspecto de la prueba: las precondiciones (Given), las condiciones de la acción que se va a ejecutar (When) y el resultado esperado (Then). A partir de las especificaciones, se detallarán las pruebas en lenguaje SOIL. Tras esto, se usará la herramienta Cucumber para la generación automática de dichas pruebas.