RT Generic
T1 Creación de pruebas automatizadas para modelos  ejecutables de software
T2 Automatic tests generation for executable software models
A1 Gómez Calero, Ismael Alonso
K1 Ingeniería del software
K1 Procesamientos de Eventos Complejos
K1 Grado en Ingeniería del Software - Trabajos Fin de Grado
K1 Informática - Trabajos Fin de Grado
AB 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.
YR 2021
FD 2021-06
LK https://hdl.handle.net/10630/23371
UL https://hdl.handle.net/10630/23371
LA spa
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 19 ene 2026