Metodologías, Calidad y Pruebas del Software

Metodologías, Calidad y Pruebas del Software

URI permanente para esta colección:

https://hdl.handle.net/11705/JISBD/2022/MCPS

Artículos en la categoría Metodologías, Calidad y Pruebas del Software publicados en las Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022).

Notificar un error en esta colección

Examinar

Mostrando 1 - 20 de 20

Pruebas de Mutación de APIs Web: Un Enfoque de Caja Negra
Sánchez Jerez, Ana Belén; Martin-Lopez, Alberto; Segura, Sergio; Ruiz-Cortés, Antonio. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
Las Interfaces de Programación de Aplicaciones (APIs) web tienen un papel clave en la integración de aplicaciones, por lo que validar su correcto funcionamiento es crucial. La mayoría de técnicas de generación de casos de prueba en este ámbito son de caja negra y suelen evaluarse con APIs sin código fuente disponible. Por ello, no es posible emplear pruebas de mutación tradicional, y no podemos cuantificar la efectividad de las pruebas si la API no expone ningún error. Este artículo propone un enfoque de caja negra para evaluar la capacidad de detección de errores de las pruebas para APIs web: en lugar de crear variantes defectuosas del código del programa (pruebas de mutación tradicionales), se crean mutantes de las salidas del programa (respuestas HTTP). JSONMutator es la herramienta implementada para llevar a cabo estas mutaciones. Los oráculos de pruebas se aplican sobre dichos mutantes y, a medida que las pruebas fallan, la cobertura de mutación aumenta. Experimentos preliminares sugieren que la herramienta es efectiva para crear mutantes a partir de la salida de APIs web y que existe correlación entre la cobertura de mutación de caja negra y caja blanca.
Modelo de costes para el despliegue de pruebas E2E en entornos Cloud
Alonso, Cristian Augusto; Morán, Jesús; De La Riva, Claudio; Tuya, Javier. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
La ejecución de pruebas de sistema puede requerir grandes cantidades de recursos físico-lógicos al necesitar todo el sistema para su ejecución. Ejecutarlas en la infraestructura potencialmente limitada y escalable del Cloud, permite obtener un mejor coste, eligiendo entre las distintas infraestructuras disponibles. No obstante, es habitual que la ejecución de las pruebas no use totalmente los objetos contratados por lo que no todo el coste es usado. En este trabajo se detalla un modelo de coste que tiene en cuenta los recursos que requieren las pruebas de sistema en el Cloud. El modelo divide el coste de la infraestructura (el coste de los objetos contratados) en el coste del plan de ejecución (el coste de los distintos recursos requeridos por las pruebas) y sobresuscripción (el coste de la infraestructura que no utilizada). Con el modelo se pueden comparar diferentes combi-naciones de objetos en el Cloud, no solo con el coste de la infraestructura (con-tratado) sino que se puede elegir que objetos se contratan y cómo se usan atendiendo al coste del plan de ejecución (usado) y de sobresuscripción (no usado).
GoRace: A Multi-Context and Narrative-Based Gamification Suite to Overcome Gamification Technological Challenges
Trinidad, Manuel; Calderón Sánchez, Alejandro; Ruiz, Mercedes. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
Gamification is a potential approach to foster motivation and engagement in different contexts which popularity in recent years has encouraged its application in a diversity of domains, including health, education, business, society, or tourism. However, although all their promising benefits and rapidly developing, the gamification community should face a variety of theoretical, empirical, and technological challenges. Focusing on technological challenges, we can observe a need that claims for suitable gamification software tools that offer system-independence and flexibility, support the gamification design, implementation, and monitoring activities, and experiment with more game elements than only points, badges, and leaderboards. For that reason, this paper deals with the identified technological challenges by introducing a gamification software tool to cover the main lacks found. An analysis of the advances in gamification domain and their recent literature was conducted to identify the strengths and weaknesses of the most popular gamification software tools in order to design and develop a flexible system-independent gamification software solution that goes beyond the implementation of the classic game elements. As a result, we created GoRace, a multi-context and narrative-based gamification suite that supports the entire gamification process, provides flexible and system-independent gamification solutions, and allows the creation of tailored and reusable gamification solutions that go beyond the classic game elements to immerse participants in a fun, engaging, and challenging narrative-based gamification experience.
A methodology to automatically translate user requirements into visualizations: Experimental validation
Lavalle, Ana; Maté, Alejandro; Trujillo, Juan; Teruel, Miguel A.; Rizzi, Stefano. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
Context: Information visualization is paramount for the analysis of Big Data. The volume of data requiring interpretation is continuously growing. However, users are usually not experts in information visualization. Thus, defining the visualization that best suits a determined context is a very challenging task for them. Moreover, it is often the case that users do not have a clear idea of what objectives they are building the visualizations for. Consequently, it is possible that graphics are misinterpreted, making wrong decisions that lead to missed opportunities. One of the underlying problems in this process is the lack of methodologies and tools that non-expert users in visualizations can use to define their objectives and visualizations. Objective: The main objectives of this paper are to (i) enable non-expert users in data visualization to communicate their analytical needs with little effort, (ii) generate the visualizations that best fit their requirements, and (iii) evaluate the impact of our proposal with reference to a case study, describing an experiment with 97 non-expert users in data visualization. Methods: We propose a methodology that collects user requirements and semi-automatically creates suitable visualizations. Our proposal covers the whole process, from the definition of requirements to the implementation of visualizations. The methodology has been tested with several groups to measure its effectiveness and perceived usefulness. Results: The experiments increase our confidence about the utility of our methodology. It significantly improves over the case when users face the same problem manually. Specifically: (i) users are allowed to cover more analytical questions, (ii) the visualizations produced are more effective, and (iii) the overall satisfaction of the users is larger. Conclusion: By following our proposal, non-expert users will be able to more effectively express their analytical needs and obtain the set of visualizations that best suits their goals.
Generación automática de circuitos de prueba para la verificación de algoritmos cuánticos deterministas
García de la Barrera Amo, Antonio; Serrano, Manuel A.; García-Rodríguez de Guzmán, Ignacio; Polo, Macario; Piattini Velthuis, Mario Gerardo. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
La computación cuántica permitir+AOE acelerar exponencialmente el rendimiento de un amplio conjunto de problemas computacionales, como la criptografía, machine learning o la simulación química. Sin embargo, el potencial cuántico no es sólo una cuestión de hardware, sino también de software. Por lo tanto, este nuevo paradigma tiene un impacto aún por explorar en los procesos y técnicas de desarrollo de software, y la adaptación de la ingenie-ría de software clásica a los nuevos sistemas híbridos clásicos/cuánticos plantea un número importante de retos: es necesaria, por lo tanto, una nueva Ingeniería de Software Cuántica. En particular, y centrándose en la calidad del software cuántico, la verificación del software sigue siendo una cuestión de investigación abierta, ya que su novedad y complejidad hacen que el desarrollo del software cuántico sea un proceso particularmente propenso a errores. La mayoría de los enfoques actuales para la verificación basada en pruebas se basan en gran medida en simulaciones, lo que supone un problema debido a la falta de escalabilidad de los simuladores ejecutados en ordenadores clásicos. Para abordar esta carencia, definimos el concepto de +ACI-Caso de Prueba Cuántica+ACI, y a continuación presentamos un método para probar los circuitos cuánticos en máquinas reales, sin utilizar las funcionalidades de las pruebas de simulación, como el cálculo de la amplitud o la medida no destructiva. Esto se consigue mediante la generación automática de un Caso de Prueba Cuántica, que envuelve el circuito bajo prueba y realiza la verificación. También presentamos el proceso para ejecutar un conjunto de pruebas sobre un circuito con este método, junto con un ejemplo para ilustrar la técnica.
Demostración de TRABIS (TRAzabilidad de Muestras BIológicaS de Reproducción Humana Asistida)
Morales, Leticia; García García, Julián Alberto; Domínguez Mayo, Francisco José; Mejías Risoto, Manuel. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
El control y trazabilidad de muestras biológicas es un problema a re-solver en un gran número de ámbitos, pero en lo que se refiere a laboratorios de reproducción humana asistida, existen una serie de factores ambientales y del propio contexto de trabajo que hace que la práctica est+AOk expuesta a múltiples po-sibles incidentes. En este contexto, investigadores del departamento de Lengua-jes y Sistemas Informáticos de la Universidad de Sevilla, han colaborado en un proyecto de transferencia tecnológica con la empresa andaluza G7innovation dentro del marco del proyecto +IBw-TRABIS - TRAzabilidad de muestras BIológicaS de reproducción humana asistida+IB0, cofinanciado por el Centro para el Desarrollo Tecnológico e Industrial (CDTI). TRABIS es una solución tecnológica e innova-dora que permite la ejecución y la monitorización de procesos de reproducción humana asistida, de manera integrada con dispositivos físicos de laboratorio para mejorar el control, salvaguarda y trazabilidad de muestras biológicas de paciente. Para alcanzar este objetivo, se han utilizado tecnologías como blockchain y smart contracts. Además, para verificar y validar la solución tecnológica, se ha reali-zado el pilotaje de la solución en Inebir (clínica privada de Reproducción Asis-tida).
On the Analysis of Non-Coding Roles in Open Source Development
Cánovas Izquierdo, Javier Luis; Cabot, Jordi. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
The role of non-coding contributors in Open Source Software (OSS) is poorly understood. Most of current research around OSS development focuses on the coding aspects of the project (e.g., commits, pull requests or code reviews) while ignoring the potential of other types of contributions. Often, due to the assumption that these other contributions are not significant in number and that, in any case, they are handled by the same people that are also part of the +IBw-coding team+IB0. This paper aims to investigate whether this is actually the case by analyzing the frequency and diversity of non-coding contributions in OSS development. As a sample of projects for our study we have taken the 100 most popular projects in the ecosystem of NPM, a package manager for JavaScript. Our results validate the importance of dedicated non-coding contributors in OSS and the diversity of OSS communities as, typically, a contributor specializes in a specific subset of roles. We foresee that projects adopting explicit policies to attract and onboard them could see a positive impact in their long-term sustainability providing they also put in place the right governance strategies to facilitate the migration and collaboration among the different roles. As part of this work, we also provide a replicability package to facilitate further quantitative role-based analysis by other researchers.
Punto de Vista Arquitectónico para Ecosistemas DevOps
Fuentes, Guillermo; Ruiz, Francisco; Caro, Angelica. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
Un punto de vista arquitectónico nos permite usar y analizar una vista arquitectural, la cual describe ciertas preocupaciones para una organización. En este trabajo se presenta un punto de vista para ecosistemas DevOps, que contempla los recursos tecnológicos y humanos asociados al desarrollo de software utilizando este enfoque. Esta propuesta pretende facilitar la comprensión del ecosistema DevOps y, en consecuencia, mejorar la comunicación y colaboración entre los diversos stakeholders, especialmente los integrantes de los equipos de desarrollo y de operaciones, un aspecto esencial para el éxito de las iniciativas DevOps.
Estudio de evolución de bases de datos orientadas a columnas en proyectos open-source
Suárez-Otero, Pablo; Mior, Michael; Suárez-Cabal, María José; Tuya, Javier. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
Durante el mantenimiento de una aplicación los requisitos pueden variar, obligando a evolucionar las bases de datos de la aplicación afectando tanto a la vista conceptual de los datos como al propio esquema. En algunas bases de datos como las orientadas a columnas, la evolución del esquema puede resultar especialmente compleja debido a la repetición de los datos. En este trabajo se han analizado varios proyectos open-source para obtener información de patrones de cambios en el esquema ante un determinado cambio en el modelo conceptual. En los casos en los que se detectaron distintos patrones para el mismo cambio en el modelo conceptual, se estudiaron y discutieron las opciones, teniendo en consideración el rendimiento de la base de datos, as+AO0 como la complejidad en la evolución de las aplicaciones clientes para adaptarse al nuevo esquema. Con este estudio se tiene como objetivo proponer una automatización de los cambios a efectuar en el esquema ante cambios en el modelo conceptual.
Generación de datos de prueba en el contexto de la Automatización Robótica de Procesos
Martínez Rojas, Antonio; López Carnicer, José Manuel; González Enríquez, José; Jiménez Ramírez, Andrés. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
Un problema común en muchos ámbitos (e.g., automatización robótica de procesos, minería de procesos, o inteligencia artificial) es la obtención de registros de eventos que incluyan capturas de pantalla de la interfaz de usuario (i.e., UI Log). En este artículo se presenta AGOSUIRPA, una plataforma de código abierto para la generación automática de UI Logs y capturas de pantalla tomando como referencia la ejecución de un proceso base. Además, esta herramienta también ofrece la posibilidad de configurar ciertos parámetros permitiendo múltiples opciones de variabilidad en el conjunto de datos generado. AGOSUIRPA supone un gran avance para la comunidad científica e industrial ya que permite reducir los esfuerzos a la hora de realizar experimentación, casos de estudio, o pruebas sobre soluciones RPA.
Agile-CMMI Alignment: Contributions and To-Dos for Organizations
Henriquez, Valeria; Moreno, Ana M; Calvo-Manzano, Jose Antonio; San Feliu, Tomas. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
CMMI and Agile can work together. Over 80+ACU of CMMI appraisals in 2018 were conducted at agile organizations, even though pre-2018 CMMI versions do not provide guidelines for agile contexts. A number of experience reports and research studies address the alignment between the two approaches but also pinpoint open tactical and organizational challenges. CMMI V2.0, published in 2018, was designed to be understandable, accessible, and flexible. It was intended to be integrated with other methodologies such as Agile. In this paper, we discuss to what extent the new CMMI V2.0 addresses the existing Agile-CMMI alignment challenges. We identify the two most significant CMMI V2.0 artifacts for this aim, the context-specific sections provided for most of the practice areas, and the value statements linked to the practices. We analyze how they contribute to each of the existing challenges and highlight important issues that organizations still need to tackle regarding this alignment.
Hacia un Framework de Adaptación Inteligente de Interfaces de Usuario
Gaspar Figueiredo, Daniel; Abrahão, Silvia; Insfran, Emilio. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
Tomar la decisión de adaptar el interfaz de usuario en un momento o circunstancia incorrecta puede producir errores o reducir la experiencia de usuario. Es muy importante elegir qu+AOk y cuándo aplicar las adaptaciones que más convienen de acuerdo al contexto y las necesidades del usuario. En un trabajo previo, hemos propuesto un framework genérico para guiar la adaptación inteligente de interfaces de usuario (IUs). En este trabajo se presenta un planteamiento inicial de la instanciación de este framework para abordar adaptaciones de IUs mediante el Aprendizaje por Refuerzo basado en modelos y el uso de datos fisiológicos de la experiencia de usuario, que hacen que el sistema pueda aprender de los errores y aciertos del pasado, para dotar de un cierto grado de inteligencia a la adaptación de los interfaces de usuario.
The Problem of Reference Rot in Spatial Metadata Catalogues
Martin-Segura, Sergio; López-Pellicer, Francisco Javier; Nogueras Iso, Javier; Lacasta, Javier; Zarazaga-Soria, Francisco Javier. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
The content at the end of any hyperlink is subject to two phenomena: the link may break (Link Rot) or the content at the end of the link may no longer be the same as it was when it was created (Content Drift). Reference Rot denotes the combination of both effects. Spatial metadata records rely on hyperlinks for indicating the location of the resources they describe. Therefore, they are also subject to Reference Rot. This paper evaluates the presence of Reference Rot and its impact on the 22,738 distribution URIs of 18,054 metadata records from 26 European INSPIRE spatial data catalogues. Our Link Rot checking method detects broken links while considering the specific requirements of spatial data services. Our Content Drift checking method uses the data format as an indicator. It compares the data formats declared in the metadata with the actual data types returned by the hyperlinks. Findings show that 10.41+ACU of the distribution URIs suffer from Link Rot and at least 6.21+ACU of records suffer from Content Drift (do not declare its distribution types correctly). Additionally, 14.94+ACU of metadata records only contain intermediate HTML web pages as distribution URIs and 31.37+ACU contain at least one HTML web page+ADs thus, they cannot be accessed or checked directly.
Propuesta de implementación de operadores de mutación de rendimiento en MuCPP
Acuña Vega, Luis Eduardo; Medina-Bulo, 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.
Herramienta para el Análisis de Modelos de Objetivos basado en Valor
Cano Genoves, Carlos; Insfran, Emilio; Abrahão, Silvia. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
El análisis de modelos de objetivos ayuda a los analistas a identificar conflictos de interés entre los distintos stakeholders as+AO0 como en la toma de decisiones priorizando sus necesidades. La mayoría de las técnicas se centran en analizar la satisfacción de los stakeholders resultando en aproximaciones neutrales con respecto al valor que aportan los elementos intencionales. Es decir, consideran igual de importantes todos los elementos del modelo de objetivos. Además, la mayoría están basadas en aproximaciones cuantitativas o cualitativas. En este artículo se presenta una herramienta que da soporte al análisis de modelos de objetivos centrado en el concepto de valor que considera la importancia relativa de cada elemento intencional y la propaga a los demás elementos relacionados en el modelo. La técnica propuesta emplea una aproximación basada en lógica difusa, que permite obtener las ventajas de las aproximaciones cuantitativas y cualitativas, y usa FTOPSIS para la toma de decisiones multicriterio.
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.
Un marco y flujo de trabajo para la coordinación y el aseguramiento de la calidad en el desarrollo de IAMs en Vensim
Crespo, Yania; Bazaco, Daniel; Herruzo, Juan; Stratis, Panos. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
En este artículo se presenta el trabajo en progreso para la definición e implantación de un marco y flujo de trabajo que permite el desarrollo coordinado de IAMs, el control de la calidad del modelo y la comunicación del conocimiento entre los interesados.
Pruebas de mutación para patrones de consultas Cypher
Blanco, Raquel; De La Riva, Claudio; Tuya, Javier. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
Probar aplicaciones que acceden a la base de datos orientada a grafos Neo4j utilizando su lenguaje de consulta Cypher supone nuevos retos debido a sus características distintivas respecto a una base de datos relacional. En este trabajo se definen un conjunto de operadores de mutación diseñados a partir de un modelo de defectos, que considera una tipología de defectos derivada de los patrones de las consultas Cypher. Además de operadores de mutación sintácticos, se han elaborado operadores de mutación semánticos, que utilizan la información de un modelo conceptual para generar los mutantes.
CODICE: Un nuevo enfoque metodológico para el Procesamiento Inteligente de Documentos.
López Carnicer, José Manuel; Martínez Rojas, Antonio; González Enríquez, José; Jiménez Ramírez, Andrés; Sánchez Oliva, Jesús Miguel. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
La automatización de los procesos organizativos suele implicar el tratamiento de documentos en los que se emplean distintas técnicas de procesamiento. Con el creciente interés y uso de la Inteligencia Artificial (IA) y la Automatización Robótica de Procesos (RPA) para mejorar este trabajo, se están utilizando diferentes metodologías y técnicas para resolver problemas relacionados con la integración y uso cohesionado de dichas tecnologías en el campo del procesamiento inteligente de documentos (IDP). Por ello, este trabajo presenta el proyecto CODICE que aborda la necesidad de crear una metodología para pipelines IDP, definiendo cómo incorporar la asistencia de IA y RPA, y una arquitectura que de soporte a ésta.
Cobertura de caminos utilizando MBT y CP
de Castro-Cabrera, María del Carmen; García Domínguez, Antonio; Medina-Bulo, Inmaculada. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
En la prueba de software basada en modelos es frecuente representar el modelo de la aplicación en forma de diagrama de esta- dos para visualizarlo más claramente, permitiendo tener cobertura de caminos de manera visual. Por otro lado, cada camino del modelo est+AOE definido por una serie de condiciones que se pueden expresar en forma de restricciones (programación de restricciones), lo que permite obtener un conjunto de casos de prueba que cumplan esas restricciones para los caminos definidos. En este trabajo se propone combinar ambas técnicas (pruebas basadas en modelos y pogramación con restricciones) para ob- tener un conjunto de casos de prueba con cobertura de caminos. Para realizar esto, se proponen dos herramientas: GraphWalker (para la repre- sentación del modelo) y MiniZinc (para obtener la cobertura de caminos mediante programación con restricciones).

Examinar

Envíos recientes