Autor:
Galindo, José A.

Cargando...
Foto de perfil

E-mails conocidos

jagalindo@inria.fr
jagalindog@inria.fr
jagalindo@us.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Galindo

Nombre de pila

José A.

Nombre

Nombres alternativos

Galindo, José Ángel
Galindo Duarte, Jose Ángel

Afiliaciones conocidas

University of Seville, Spain
University of Seville
Inria - Rennes, France
Universidad de Sevilla, Spain
Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 10 de 15
  • 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
    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
    Advisory. Una herramienta para identificar los riesgos de seguridad
    Márquez Trujillo, Antonio Germán; Varela Vaca, Angel Jesus; Galindo, José A.. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
    En el desarrollo de un proyecto software actual es frecuente delegar parte de la funcionalidad en librerías o dependencias de terceros. Este uso extensivo de dependencias puede introducir problemas de seguridad en el software que estamos desarrollando y que cada vez afecta a más proyectos software dada la necesidad de conocer cada una de las vulnerabilidades de estas dependencias. Para aliviar este problema, presentamos Advisory, una herramienta que aplica técnicas de análisis automático de la variabilidad al análisis de seguridad de proyectos software.
  • Artículo
    Hacia el uso de sistemas de recomendación en sistemas de alta variabilidad
    Rodas, Jorge L.; Olivares, Javier; Galindo, José A.; Benavides, David. Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016), 2016-09-13.
    Los sistemas de alta variabilidad son sistemas software cuyo comportamiento puede ser personalizado de acuerdo con las necesidades de un contexto particular. De hecho, existen sistemas de alta variabilidad que representan miles de productos. Por otra parte, en la industria encontramos los sistemas de recomendación, los cuales, permiten recomendar la serie de productos que mejor se adapten a un usuario o un contexto de uso particular. En este artículo de prospección exploramos el uso de sistemas de recomendación en el contexto de los sistemas de alta variabilidad. Asimismo, identificamos algunas tareas donde podrían ayudar a la gestión de los sistemas de variabilidad.
  • Artículo
    Prototipo Para la Generación, Prueba Y Despliegue Automático de Sitios Web Con WordPress Usando Líneas de Producto Software (WebSPL)
    Zamudio, José A.; Romero, David; Galindo, José A.; Benavides, David. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
    Las líneas de producto software (SPL) proponen soluciones, métodos y técnicas para la producción y construcción productos software que comparten características pudiendo mantener ciertas diferencias entre s+AO0. Una parte importante del paradigma de las SPL es definir un modelo que represente todos los productos posibles dentro de un mismo dominio. Para esto, usamos los modelos de características, que representan la información de todos los productos posibles dentro de una SPL respetando restricciones y relaciones entre características. Hasta la actualidad, la comunidad de líneas de producto ha propuesto múltiples técnicas para el análisis automático de modelos, o lenguajes concretos para la representación de los mismos (e.g., Universal Variability Language (UVL)) y herramientas para su análisis automático como FaMa o FeatureIDE entre otras. En este artículo presentamos WebSPL, un configurador automático que implementa una línea de producto software de sitios WordPress haciendo uso de un modelo de características. Para ello, la herramienta delega en FLAMA+ADs una herramienta de análisis de modelos de características para el ecosistema Python, la validación, y despliega de manera automática los sitios webs teniendo en cuenta información de dominio.