Autor: Galindo, José A.
Cargando...
E-mails conocidos
jagalindog@inria.fr
jagalindo@us.es
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
Afiliaciones conocidas
University of Seville, Spain
University of Seville
Inria - Rennes, France
Universidad de Sevilla, Spain
University of Seville
Inria - Rennes, France
Universidad de Sevilla, Spain
Páginas web conocidas
Página completa del ítem
Notificar un error en este autor
11 resultados
Resultados de la búsqueda
Mostrando 1 - 10 de 11
Artículo A general approach to Software Product Line testingRuiz, Elvira G.; Ayerdi, Jon; Galindo, José A.; Arrieta, Aitor; Sagardui, Goiuria; Benavides Cuevas, David Felipe. 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 MOTIV: selección de pruebas para algoritmos de detección de movimiento en vídeos usando técnicas de líneas de productos softwareGalindo, José A.; Alférez, Mauricio; Acher, Mathieu; Baudry, Benoit; Benavides Cuevas, David Felipe. 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 pruebasArtículo Advisory. Una herramienta para identificar los riesgos de seguridadMárquez Trujillo, Antonio Germán; Varela Vaca, Ángel Jesús; 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 Variabilidad en visualización de datos: retos y posibilidadesGalindo, José A.; Ruiz, Elvira G.; Benavides Cuevas, David Felipe. 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 RESDEC: Un prototipo de herramienta para la selección de configuraciones de despliegue basada en Sistemas de RecomendaciónRodas, Jorge L.; Galindo, José A.; Benavides Cuevas, David Felipe. 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 Una Línea de Productos Software para la Visualización de DatosHorcas Aguilera, José Miguel; Galindo, José A.; Benavides Cuevas, David Felipe. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.La visualización de datos expone una gran cantidad de variabilidad a nivel de diseño de gráficos y su implementación con las herramientas existentes. Sin embargo, no todas las configuraciones son igual de efectivas para representar datos. Nosotros proponemos una línea de productos software (SPL) para la visualización de datos que sintetiza la variabilidad y los principios y buenas prácticas de diseño en visualización de datos, modelando aquellas opciones recomendadas por los expertos en visualización y reduciendo la variabilidad expuesta por las librerías software existentes. Este trabajo presenta la implementación de la SPL de visualización de datos. Concretamente se presentan los artefactos desarrollados en la SPL, incluyendo el modelo de variabilidad y la implementación de las visualizaciones usando plantillas variables, y se muestra la viabilidad de nuestra propuesta con la que se abre una nueva línea de investigación donde se aplican técnicas de variabilidad a la visualización de datos.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 Cuevas, David Felipe. 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.Artículo Generando modelos de características mediante Large Language Models manteniendo la coherencia sintactica y semánticaGalindo, José A.; Dominguez, Antonio J.; White, Jules; Benavides Cuevas, David Felipe. 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 Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de característicasHorcas Aguilera, José Miguel; Márquez Trujillo, Antonio Germán; Galindo, José A.; Benavides Cuevas, David Felipe. 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 Hacia el uso de sistemas de recomendación en sistemas de alta variabilidadRodas, Jorge L.; Olivares, Javier; Galindo, José A.; Benavides Cuevas, David Felipe. 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.