Autor:
Benavides, David

Cargando...
Foto de perfil

E-mails conocidos

benavides@us.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Benavides

Nombre de pila

David

Nombre

Nombres alternativos

Benavides Cuevas, David Felipe
Benavides Cuevas, David

Afiliaciones conocidas

University of Seville, Spain
University of Seville
Universidad de Sevilla, España
Universidad de Sevilla
University of Seville Av. de la Reina Mercedes S/N, 41012 Seville, Spain
Universidad de Sevilla, Spain

Páginas web conocidas

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

Resultados de la búsqueda

Mostrando 1 - 10 de 22
  • Artículo
    A general approach to Software Product Line testing
    Ruiz, Elvira G.; Ayerdi, Jon; Galindo, José A.; Arrieta, Aitor; Sagardui, Goiuria; Benavides, David. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Variability is a central concept in Software Product Lines (SPLs). It has been extensively studied how the SPL paradigm can improve both the efficiency of a company and the quality of products. Nevertheless, this brings several challenges when testing an SPL, which are mainly caused by the potentially huge amount of products that can be derived from an SPL. There exist different studies proposing methods for testing SPLs. Also there are secondary studies reviewing and mapping the literature of the existing proposals. Nevertheless, there is a lack of systematic guidelines for practitioners and researchers with the different steps required to perform a testing strategy of an SPL. In this paper, we present a first version of a tutorial that summarizes the existing proposals of the SPL testing area. To the best of our knowledge, there is no similar attempt in existing literature. Our goal is to discuss this tutorial with the community and enrich it to provide a more solid version of it in the future.
  • Artículo
    Generando modelos de características mediante Large Language Models manteniendo la coherencia sintactica y semántica
    Galindo, José A.; Dominguez, Antonio J.; White, Jules; Benavides, David. Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023), 2023-09-12.
    Los modelos de características representan aspectos comunes y variables de las lineas de producto software. El análisis automatizado de los modelos de características ha permitido probar, mantener y mejorar las líneas de productos de software. Para probar el análisis de los modelos de características suele ser necesario basarse en un gran número de modelos lo más realistas posible. Existen diferentes propuestas para generar modelos sintéticos de características; sin embargo, los métodos existentes no tienen en cuenta la semántica de los conceptos del dominio. Este artículo propone el uso de Large language models (LLM), como Codex o GPT-3, para generar variantes realistas de modelos que preserven la coherencia semántica al tiempo que mantienen la validez sintáctica.
  • Artículo
    Benchmarking del rendimiento de proyectos software de código abierto mediante una herramienta colaborativa
    Sánchez Ruiz, José Manuel; Olivero González, Miguel Ángel; Domínguez Mayo, Francisco José; Oriol, Xavier; Benavides, David. Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023), 2023-09-12.
    La creciente popularidad y dependencia de las organizaciones en proyectos de software de código abierto (OSS) hace esencial asegurar su rendimiento óptimo. Sin embargo, las herramientas de evaluación del rendimiento actuales no cuentan con funcionalidades de colaboración adecuadas, lo que dificulta la evaluación y comparación objetiva del rendimiento mediante métricas estandarizadas, presentando desafíos tanto para desarrolladores como organizaciones en el mercado tecnológico. En este artículo se presenta Performance-Tracker, una herramienta de evaluación comparativa que ha sido diseñada para evaluar y comparar el rendimiento de proyectos OSS mediante métricas que consideran las características propias de los proyectos OSS. Performance-Tracker utiliza una base de conocimientos inicial de 50 proyectos de código abierto y define un modelo de contribución participativa y colaborativa en proyectos OSS, lo que permite a las comunidades evaluar su rendimiento de forma objetiva. La herramienta permite evaluar y comparar el rendimiento de los proyectos OSS, proporcionando perspectivas valiosas de mejora y asentando un marco de trabajo incial para fomentar un desarrollo más eficiente basado en un aprendizaje participativo y colaborativo.
  • Artículo
    MOTIV: selección de pruebas para algoritmos de detección de movimiento en vídeos usando técnicas de líneas de productos software
    Galindo, José A.; Alférez, Mauricio; Acher, Mathieu; Baudry, Benoit; Benavides, David. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
    Las líneas de producto software se usan para gestionar la producción de sistemas software con un alto grado de variabilidad lo que puede permitir tener un mejor tiempo de respuesta para poder configurar un producto de acuerdo a sus especificaciones concretas en un escenario de uso determinado. La investigación en líneas de producto software se ha centrado en las últimas décadas en proponer procesos, técnicas, herramientas y métodos para gestionar la variabilidad a todos los niveles: desde los requisitos, hasta la generación de código. En este sentido, se han desarrollado distintas técnicas que pueden ser utilizadas en distintos escenarios más allá de la gestión de líneas de producto software. Es el caso del conocido como análisis automático de modelos de características. En este proyecto se usaron técnicas que provienen de este área para afrontar un reto tecnológico en un consorcio con empresas que usaban distintos algoritmos para detectar movimientos en sistemas de vídeo vigilancia. En concreto, se usaron técnicas de modelado y selección de casos de prueba usando modelos de características. La aportación tecnológica permitió una reducción considerable de los costes en la producción de algoritmos de detección de movimientos y la mejora en la detección de fallos en los sistemas. El consorcio estuvo formado por dos empresas francesas e INRIA donde trabajaban varios de los autores del trabajo en el momento de la ejecución del proyecto. Además, se contó con el asesoramiento de la Universidad de Sevilla. keywords{líneas de producto software, modelos de características, selección de pruebas
  • Artículo
    RESDEC: Un prototipo de herramienta para la selección de configuraciones de despliegue basada en Sistemas de Recomendación
    Rodas, Jorge L.; Galindo, José A.; Benavides, David. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
    Los sistemas de alta variabilidad son sistemas que representan cientos de configuraciones distintas. En un contexto particular, estas configuraciones pueden ser desplegadas en distintos entornos de despliegue lo cual es una decisión crítica para el correcto funcionamiento de la misma. Por ejemplo, determinar en qué dispositivo móvil se va a ejecutar correctamente nuestra app, es una tarea difícil de resolver. En este artículo presentamos RESDEC, un prototipo de herramienta para asistir al ingeniero de software en la toma de decisiones para el despliegue. Concretamente RESDEC provee algoritmos de recomendación para tres escenarios de despliegue distintos.
  • Artículo
    Cómo gestionan la variabilidad las empresas que no conocen de líneas de producto software: hacia una evaluación real
    Chacón-Luna, Ana Eva; Galindo, José A.; Benavides, David. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.
    Las líneas de producto software tienen como prioridad alcanzar la reutilización sistemática dentro de una organización permitiendo la reducción de coste, esfuerzo, tiempo de desarrollo, y numero promedio de defectos por producto. Sin embargo, existen desafíos al ejecutar un proyecto de emph{líneas de producto software (SPLs)} y pocas veces estos han sido reportados, reduciendo la posibilidad de comprobación entre la teoría y la praxis. Esto implica dificultades para el fortalecimiento o elaboración de ajustes o mejoras a los frameworks de SPL. Asimismo, hay nuevos conceptos novedosos como los ecosistemas software software ecosystems'', que hacen necesario revisar el concepto de SPL y adaptarlo a los tiempos actuales. En este artículo, presentamos el diseño de un emph{estudio de caso} para la reducir esta brecha, permitiendo conocer el contexto de dos medianas empresas que no saben de líneas de producto software emph{gestionan la variabilidad}. También, nos permitirá identificar oportunidades y debilidades descubiertas en los frameworks de adopción de SPL con el objetivo de mejorarlos. Además de presentar un fragmento metodológico que indique el camino a seguir para que una empresa pueda transicionar hacia el paradigma de SPLs.
  • Artículo
    Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de características
    Horcas Aguilera, José Miguel; Márquez Trujillo, Antonio Germán; Galindo, José A.; Benavides, David. Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021), 2021-09-22.
    La mayoría de los sistemas configurables describen un amplio espacio de soluciones que hacen intratable su exploración exhaustiva. En la literatura encontramos técnicas de análisis como la resolución SAT o la programación de restricciones. Sin embargo, ninguna de ellas ha explorado los métodos basados en la simulación de la toma de decisiones cuando configuramos un sistema. Nosotros proponemos usar el método de Montecarlo el cual simula la búsqueda en espacios de soluciones colosales de manera aleatoria. Este trabajo presenta la implementación de un marco conceptual que aborda varios de esos análisis utilizando métodos de Montecarlo, los cuales, han demostrado tener éxito en otros dominios con espacios de búsqueda colosales como la teoría de juegos. Concretamente presentamos una implementación en Python del marco de trabajo que muestra la viabilidad de nuestra propuesta con la que prevemos que se pueden abordar diferentes problemas y que nuestro marco pueda utilizarse para avanzar el estado del arte.
  • Artículo
    Variabilidad en visualización de datos: retos y posibilidades
    Galindo, José A.; Ruiz, Elvira G.; Benavides, David. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Los sistemas de visualizaci´on de la informaci´on nos permiten visualizar datos usando abstracciones de los mismos, por ejemplo, usando gr´aficos de barras o de tartas. No obstante, la diversidad de visualizaciones dificulta la correcta elecci´on de los sistemas m´as apropiados para cada conjunto de datos. La ingenier´?a de l´?neas de producto y sistemas de alta variabilidad ha generado m´ultiples t´ecnicas que permiten la configuraci´on ´optima de productos software dados unos requisitos o caracter´?sticas. En este trabajo proponemos el uso y adaptaci´on de las t´ecnicas de configuraci´on, derivaci´on y an´alisis autom´atico existentes en el ´area de lineas de producto software al contexto de la visualizaci´on. Permitiendo de esta forma el guiado sobre las opciones de configuraci´on para visualizar un conjunto de datos.
  • Artículo
    Modelo de arquitectura multinivel para sistemas de gobernanza inteligente
    Muñoz-Hermoso, Salvador; Benavides, David; Domínguez Mayo, Francisco José. Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023), 2023-09-12.
    La falta de modelos para sistemas de gobernanza inteligente, dificulta el desarrollo de este software complejo de alta variabilidad, e interés para el sector público y la ciudadanía. Proponemos un modelo de arquitectura en TOGAF-Archimate multinivel que facilita la especificación de arquitecturas generales, a través de dos submodelos (dominio general y específico) que contemplan diferentes niveles de abstracción (conceptual, lógico y tecnología) de la arquitectura. El primer submodelo enfoca los problemas comunes de la colaboración entre interesados, y el segundo los específicos del dominio de la gobernanza inteligente. Este enfoque, a la vez que divide la complejidad, representa en un único modelo y con un mismo lenguaje estándar, los distintos niveles de detalle del sistema, de una forma integral y conectada. Así, esta propuesta constituye un recurso útil para el diseño y desarrollo de sistemas para gobernanza inteligente dirigidos por modelos.
  • Artículo
    Análisis de la gestión de variabilidad en la empresa
    Chacón-Luna, Ana Eva; Gutiérrez-Fernández, Antonio Manuel; Benavides, David; Fuentes, Lidia. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
    Las líneas de productos de software (Software Product Line, SPL) permiten la reutilización sistemática dentro de una organización, lo que permite reducir los costes, los esfuerzos, el tiempo de desarrollo y el número medio de defectos por producto. Sin embargo, no existen evidencias empíricas sobre la adopción de las SPL en las empresas de desarrollo software, para la personalización de sus productos. Para evaluar la necesidad de las tecnologías SPL en el desarrollo software real es necesario analizar las prácticas de variabilidad en las empresas para desarrollar sus productos, señalando las fortalezas y debilidades de sus enfoques. Para ello, presentamos el diseño de un estudio para evaluar cómo las empresas realizan la gestión de la variabilidad. Partimos de la base de que la mayoría de las empresas gestionan la variabilidad, pero no muchas de ellas conocen las líneas de productos de software.