2026-06-03T21:18:57Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/233712026-02-03T10:24:04Zcom_10630_1685col_10630_38055

00925njm 22002777a 4500 dc Gómez Calero, Ismael Alonso author 2021-06 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. https://hdl.handle.net/10630/23371 Ingeniería del software Procesamientos de Eventos Complejos Grado en Ingeniería del Software - Trabajos Fin de Grado Informática - Trabajos Fin de Grado Creación de pruebas automatizadas para modelos ejecutables de software