Autor:
Valle-Gómez, Kevin

Cargando...
Foto de perfil

E-mails conocidos

kevin.valle@uca.es
kevin.vallegomez@alum.uca.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Valle-Gómez

Nombre de pila

Kevin

Nombre

Nombres alternativos

J Valle-Gómez, Kevin
Valle-Gómez, Kevin J.

Afiliaciones conocidas

Departamento de Ingeniería Informática, Universidad de Cádiz
Universidad de Cádiz, Spain
Departamento de Ingeniería Informática, Universidad de Cádiz, España

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 8 de 8
  • Artículo
    Reducción de costes en la Industria 4.0 a través de la prueba del software
    Valle-Gómez, Kevin; Delgado-Pérez, Pedro; Medina-Bulo, Inmaculada; Magallanes Fernández, José. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    La Industria 4.0 está cambiando todos los aspectos de la producción. Este cambio requiere la evolución de los sistemas con una gran rapidez. En este contexto, la validación y verificación de los proyectos software cobra especial importancia. Un defecto en el software podría tener consecuencias catastróficas, por lo que es fundamental que los sistemas funcionen correctamente en producción. En este trabajo se presenta una solución para aliviar el coste de proyectos industriales mediante la automatización de la fase de pruebas del software. Esto se enmarca dentro de una colaboración entre la Universidad de Cádiz y Navantia, una empresa española líder en construcción naval que desarrolla grandes proyectos de software.
  • Artículo
    MRG4BPEL: herramienta para generar relaciones metamórficas candidatas en composiciones WS-BPEL
    de Castro-Cabrera, María del Carmen; Valle-Gómez, Kevin; Medina-Bulo, Inmaculada; Tena-Sánchez, Pablo. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
    En el contexto de la prueba de software, existen diversas técnicas que permiten probar las composiciones de servicios web. Una de ellas, que va adquiriendo importancia y visibilidad en este campo es la Prueba Metamórfica (PM). Dentro los aspectos que esta técnica requiere considerar, está la obtención y generación de Relaciones Metamórficas (RM), parte esencial y la más compleja de automatizar. En este trabajo se abordan las mejoras tanto en la arquitectura inicialmente propuesta (que representa un framework para probar composiciones de servicios web en el lenguaje WS-BPEL), como en los módulos que la componen. Es decir, se describen los avances en la herramienta de análisis (Analyzer4BPEL) y se presenta una nueva aplicación para generar RM candidatas, MRG4BPEL. Se muestra un caso de uso, donde, a partir de una composición, se obtienen y aplican RM utilizando estas herramientas, así como las conclusiones obtenidas.
  • Artículo
    Analyzer4BPEL: Una herramienta de análisis de composiciones WS-BPEL para su aplicación en la etapa de prueba del software
    Valle-Gómez, Kevin; de Castro-Cabrera, María del Carmen; Medina-Bulo, Inmaculada. Actas de las XIII Jornadas de Ciencia e Ingeniería de Servicios (JCIS 2017), 2017-07-19.
    Toda herramienta de prueba de software requiere en algún momento de su proceso realizar un análisis, o bien como primer paso, para extraer la información necesaria para aplicar una determinada técnica, o bien, una vez procesado el software para estudiar los resultados y evaluarlos. Existen en la actualidad herramientas capaces de analizar la mayoría de los lenguajes de programación. Sin embargo, no abundan los analizadores de lenguajes para composiciones de servicios. En este trabajo se presenta una aplicación que realiza un análisis de composiciones en lenguaje WS-BPEL y de sus casos de prueba para extraer información útil para diversos objetivos. Así mismo, se describe su utilización particular, en una de las etapas de la aplicación de una técnica de prueba de software: la prueba metamórfica.
  • Artículo
    Mejora de la legibilidad en la generación de casos de prueba mediante búsqueda interactiva
    Delgado-Pérez, Pedro; Ramírez, Aurora; Valle-Gómez, Kevin; Medina-Bulo, Inmaculada; Romero, José Raúl. Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021), 2021-09-22.
    La generación de pruebas es una actividad costosa pero a la vez imprescindible para aumentar la calidad de los proyectos software. Las herramientas de pruebas automatizadas basadas en los principios de la búsqueda evolutiva aún presentan limitaciones a la hora de encontrar fallos en sistemas reales, as+AO0 como en la obtención de código entendible para un ingeniero de pruebas. El uso de enfoques interactivos puede ayudar a paliar estas limitaciones, pues permiten incluir conocimiento y habilidades humanas en la búsqueda. En este trabajo presentamos las posibilidades que la interacción ofrece a la generación automática de casos de prueba, proponiendo un algoritmo evolutivo interactivo capaz de integrar la evaluación del ingeniero de pruebas respecto a la legibilidad de los casos de prueba. Una comparativa inicial frente a la versión no interactiva del algoritmo evidencia que la inclusión de interacción favorece la generación de conjuntos de pruebas más legibles, sin perjudicar la cobertura alcanzada. Fruto de este primer experimento, basado en interacción simulada, planteamos una serie de retos relacionados con el diseño y validación real de algoritmos evolutivos interactivos en el contexto de la generación de pruebas.
  • Artículo
    Incorporación de mutaciones en la Ejecución Simbólica Dinámica
    Valle-Gómez, Kevin; Delgado-Pérez, Pedro; Medina-Bulo, Inmaculada; García Domínguez, Antonio. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
    Hoy en día, existe una gran variedad de soluciones para reducir los costes de las pruebas y mejorar su calidad. La combinación de dos técnicas conocidas como la Ejecución Simbólica Dinámica (ESD) y la Prueba de Mutaciones (PM) produce conjuntos de pruebas capaces de detectar un buen número de mutantes, pero a expensas de un elevado coste. En este trabajo se propone un enfoque para alcanzar los buenos resultados de combinar ESD y PM sin aumentar el ya de por s+AO0 elevado coste de utilizar ESD.
  • Artículo
    Ejecución Simbólica y Prueba de Mutaciones: mejora de la generación automática de casos de prueba
    Valle-Gómez, Kevin; Delgado-Pérez, Pedro; Medina-Bulo, Inmaculada; García Domínguez, Antonio. Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021), 2021-09-22.
    La prueba del software es una etapa compleja y costosa del desarrollo de software, existiendo una gran variedad de soluciones para reducir su coste y mejorar su calidad. En concreto, con respecto a la generación de pruebas, la ejecución simbólica dinámica (ESD) permite generar automáticamente pruebas con una buena cobertura estructural. En cuanto a la evaluación de las pruebas, la prueba de mutaciones (PM) evalúa la calidad de los casos de prueba introduciendo pequeños cambios localizados que se asemejan a fallos reales. Sin embargo, se sabe que la ESD genera pruebas que no tienen una buena cobertura de mutaciones. En este trabajo, proponemos combinar la ESD con la PM, de tal manera que obtengamos automáticamente conjuntos de casos de prueba con una mejora significativa de la cobertura de mutación y, por tanto, de la detección de fallos reales.
  • Artículo
    Automatización de la etapa de análisis para la aplicación de la técnica de prueba metamórfica a composiciones de servicios WS-BPEL
    de Castro-Cabrera, María del Carmen; Valle-Gómez, Kevin; Medina-Bulo, Inmaculada. Actas de las XII Jornadas de Ciencia e Ingeniería de Servicios (JCIS 2016), 2016-07-13.
    La importancia de los servicios web en el mundo actual está en auge, y el impacto social que están teniendo gracias a las nuevas tecnologías desarrolladas, hace necesario el diseño de mejores técnicas de prueba para el software específico de composición de estos servicios web. Una de las técnicas propuestas para las composiciones WS-BPEL es la técnica de prueba metamórfica. En trabajos anteriores se ha presentado una arquitectura para su aplicación y se han aportado algunas ideas para la automatización de la etapa inicial de la misma, que se corresponde con el análisis y obtención de propiedades, pero no se llegaron a desarrollar ni implementar. En este trabajo se presenta el diseño de una solución para automatizar ciertos aspectos de la etapa de análisis y obtención de propiedades, la cual ha sido probada en diferentes casos de prueba obteniéndose buenos resultados.
  • Artículo
    Aplicación de técnicas avanzadas de prueba de software en la industria
    Medina-Bulo, Inmaculada; Delgado-Pérez, Pedro; Valle-Gómez, Kevin; Palomo-Lozano, Francisco; Domínguez-Jiménez, Juan José; de Castro-Cabrera, María del Carmen; Heredia-Bravo, Jose Manuel; García Alba, Antonio; Barra Morales, Ricardo. Actas de las XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2024), 2024-06-17.
    El proyecto ASSENTER (PDC2022-133522-I00) persigue alcanzar un TRL6 aplicándolo en productos de software de ámbito industrial y fomentar una mayor implantación de los nuevos avances en prueba de software por parte de las empresas. En particular, entre sus objetivos se encuentra la aplicación de nuevas técnicas de automatización de pruebas en un proyecto de tamaño industrial de la empresa Navantia para ayudar en la automatización durante la fase de verificación y validación, optimizando el desarrollo de las pruebas de software y reduciendo los costes asociados. El equipo de investigación de ASSENTER está constituido por investigadores pertenecientes al grupo UCASE de Ingeniería del Software de la Universidad de Cádiz. En el equipo de trabajo, además de otros participantes, se encuentra personal de la empresa Navantia. Todo el equipo está comprometido con la aplicación de los resultados obtenidos en la industria, en particular, en la Industria 4.0. De hecho, Navantia evaluará la utilidad de las técnicas y herramientas desarrolladas por el grupo UCASE y su integración en su ciclo de desarrollo, mientras que el grupo UCASE diseminará los resultados obtenidos entre la comunidad científica para garantizar su impacto científico-técnico. Se prevé que este proyecto tenga un impacto social y económico relevante al permitir incrementar la competitividad de nuestra industria naval.