Autor:
Delgado Pérez, Pedro

Cargando...
Foto de perfil

E-mails conocidos

pedro.delgado@uca.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Delgado Pérez

Nombre de pila

Pedro

Nombre

Nombres alternativos

Delgado-Pérez, Pedro

Afiliaciones conocidas

Universidad de Cádiz, Spain
Departamento de Ingeniería Informática, Universidad de Cádiz, España
Universidad de Cádiz, España
Departamento de Ingeniería Informática, Universidad de Cádiz
Grupo UCASE de Ingeniería del Software, Departamento de Ingeniería Informática, Universidad de Cádiz, 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 - 10 de 12
  • Artículo
    Estudio sobre la correlación de mutantes equivalentes: un enfoque evolutivo
    Delgado Pérez, Pedro; Chicano García, José Francisco. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    La prueba de mutaciones es una conocida técnica para el análisis y mejora de un conjunto de pruebas. Este artículo aborda un problema inherente a esta técnica, la existencia de mutantes equivalentes, tratando de establecer si estos mutantes comparten ciertas características que los liguen. Para ello se emplea un algoritmo evolutivo de selección de mutantes (conocido como prueba de mutación evolutiva) para observar si en la práctica los mutantes equivalentes tienden a generar otros equivalentes. Además, también se evalúa qué ocurre si, penalizando a estos mutantes durante la ejecución del algoritmo, la búsqueda se enfoca hacia otros mutantes de mayor utilidad. Los resultados de los experimentos en este artículo revelan la existencia de una correlación entre mutantes equivalentes, la cual puede ser aprovechada en general para incrementar el rendimiento de la prueba de mutación evolutiva.
  • Artículo
    Evaluación de la Mejora de Conjuntos de Casos de Prueba mediante la Prueba de Mutación Evolutiva
    Delgado Pérez, Pedro; Medina Bulo, María Inmaculada. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.
    La Prueba de Mutación Evolutiva (PME) es una técnica surgida recientemente para reducir el número de mutantes a generar en la prueba de mutaciones y, por consiguiente, su alto coste computacional. Esto se logra a través de un algoritmo genético, el cual trata de localizar la mayor cantidad posible de los mutantes con potencial para guiar a la mejora del conjunto de casos de prueba (denominados mutantes fuertes) en ese subconjunto de mutantes generado. La técnica ha sido evaluada precisamente respecto a esa capacidad de encontrar mutantes fuertes, pero tal análisis omite el hecho de que parte de esos mutantes fuertes puede no aportar a la mejora de las pruebas ya que son mutantes equivalentes. Por esa razón, en este artículo se propone una nueva metodología para la evaluación de la PME. Esta realiza una estimación del refinamiento conseguido del conjunto de pruebas a través de los mutantes seleccionados por el algoritmo genético. Esta metodología se emplea sobre cuatro programas en C++ que aplican orientación a objetos, mostrando que la PME es capaz de aumentar el conjunto de pruebas generando un porcentaje menor de mutantes que la selección aleatoria.
  • 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 J.; Delgado Pérez, Pedro; Medina Bulo, María 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
    Incorporación de mutaciones en la Ejecución Simbólica Dinámica
    Valle-Gómez, Kevin J.; Delgado Pérez, Pedro; Medina Bulo, María 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
    Propuesta de implementación de operadores de mutación de rendimiento en MuCPP
    Acuña Vega, Luis Eduardo; Medina Bulo, María Inmaculada; Domínguez Jiménez, Juan José; Delgado Pérez, Pedro. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
    Las prueba de mutaciones de rendimiento es una idea bastante nueva y con desafíos abiertos. En este artículo, precisamente, se aborda la aplicación de la prueba de mutaciones para la detección de problemas de rendimiento en los programas escritos en C+ACsAKw, mediante la extensión del sistema de prueba de mutaciones MuCPP con nuevos operadores de mutación que generen mutantes que simulen errores de rendimiento. En concreto, este artículo se centra en el estudio de estos operadores de mutación propuestos en trabajos previos, presentándose la implementación de uno de ellos.
  • 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 J.; Medina Bulo, María 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
    Mejora del Rendimiento de la Prueba de Mutación Evolutiva mediante la Reducción de Mutantes Equivalentes
    Delgado Pérez, Pedro; Medina Bulo, María Inmaculada. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.
    La Prueba de Mutación Evolutiva (PME) busca la generación de un subconjunto de mutantes mediante un algoritmo genético con el objetivo de mejorar el conjunto de casos de prueba a un menor coste. A pesar de los resultados positivos obtenidos hasta el momento empleando esta técnica, otros avances paralelos en la prueba de mutaciones pueden aumentar la eficiencia de la PME. En este artículo se propone la incorporación en herramientas que aplican la PME de nuevas técnicas para ayudar a detectar mutantes que son equivalentes al programa original, exponiendo los beneficios de esta fusión.
  • Artículo
    Estado y evolución de la comunidad SBSE en España: un análisis bibliométrico
    Ramírez, Aurora; Delgado Pérez, Pedro; Ferrer, Javier; Romero, José Raúl; Medina Bulo, María Inmaculada; Chicano García, José Francisco. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Dada la creciente complejidad de los sistemas software, disponer de métodos y técnicas eficientes para apoyar la realización de las diferentes actividades que se llevan a cabo en el ciclo de vida de un proyecto software ha despertado un gran interés. Así, el concepto de Ingeniería del Software basada en búsqueda (SBSE, search-based software engineering) ha permitido a ingenieros del software la aplicación de técnicas de optimización para automatizar tareas relativas a la gestión e implementación de un proyecto software. La comunidad científica en España no ha sido ajena a estos avances, contribuyendo desde la aparición de la disciplina en 2001. Este trabajo representa el primer estudio bibliométrico que resume y analiza el esfuerzo investigador realizado por la comunidad SBSE en España, así como su evolución en los últimos 18 años. Tras efectuar un riguroso proceso de búsqueda donde se han considerado más de 3700 artículos, se han identificado 232 publicaciones relevantes, donde participan hasta 145 autores de 19 instituciones diferentes. Entre los resultados más relevantes cabe destacar que casi la mitad de publicaciones se han llevado a cabo entre investigadores de distintas instituciones, la mayoría de ellas internacionales. No obstante, el nacimiento en 2015 del track sobre ingeniería del software guiada por búsqueda en las jornadas SISTEDES ha fomentado el contacto entre investigadores de instituciones españolas, mejorando el ratio de colaboraciones nacionales, así como la financiación dedicada a este campo en España.
  • Artículo
    Evaluación y mejora de pruebas de rendimiento utilizando mutación del software: Un enfoque evolutivo
    Sánchez Jerez, Ana Belén; Delgado Pérez, Pedro; Medina Bulo, María Inmaculada; Segura Rueda, Sergio. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
    Los errores de rendimiento del software pueden causar una importante degradación en la experiencia de usuario y dar lugar a problemas muy costosos de detectar y resolver. Las pruebas de rendimiento persiguen detectar y reducir el impacto de estos errores. Sin embargo, no existen mecanismos para evaluar la calidad de las pruebas de rendimiento, causando en muchos casos, que estos errores pasen desapercibidos. La prueba de mutación es una técnica para evaluar y mejorar las pruebas funcionales a través de la introducción de errores artificiales en el programa bajo prueba. En este artículo, exploramos la aplicabilidad de la prueba de mutación junto con el empleo de un algoritmo evolutivo para buscar mutantes que simulen errores de rendimiento. Esta propuesta noPrueba de mutación, errores de rendimiento, pruebas de rendimiento, algoritmos evolutivos.vedosa contribuye a mejorar la confianza en las pruebas de rendimiento al mismo tiempo que reduce el coste de la prueba de mutación.
  • Artículo
    Herramienta para la Prueba de Mutaciones en el Lenguaje C++
    Delgado Pérez, Pedro; Medina Bulo, María Inmaculada; Domínguez Jiménez, Juan José. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.
    La prueba de mutaciones es una técnica basada en fallos en torno a la cual se han elaborado herramientas para un amplio abanico de lenguajes de programación. Sin embargo, el desarrollo de un marco de prueba de mutaciones no comercial para C++ estaba pendiente. En este artículo se presenta una herramienta que permite analizar código C++, generar mutantes y ejecutar un conjunto de casos de prueba para obtener resultados que nos permitan determinar su efectividad en la detección de errores en el código. La herramienta está diseñada para permitir la inclusión de nuevos operadores para cubrir cualquier característica del lenguaje. En este documento, el uso de la herramienta se muestra a través de un operador de mutación al nivel de clase.