Metodologías, Calidad y Pruebas Software
URI permanente para esta colección:
Artículos en la categoría Metodologías, Calidad y Pruebas Software publicados en las Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019).
Notificar un error en esta colección
Examinar
Envíos recientes
Resumen Are CS conferences (too) closed communities?Cabot Sagrera, Jordi; Cánovas Izquierdo, Javier Luis; Cosentino, Valerio. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.Título: Are CS conferences (too) closed communities? Autores: Jordi Cabot, Javier Luis Cánovas Izquierdo, Valerio Cosentino Revista: Communications of the ACM Número: 61(10) Fecha de publicación: Octubre 2018 Páginas: 32-34 DOI: 10.1145/3209580 Indicios de calidad: - Factor de impacto: 3.063. Posicion: 9/104 (Q1)Artículo Verificación del mantenimiento de la consistencia lógica en bases de datos CassandraSuárez-Otero, Pablo; Suárez-Cabal, María José; Tuya, Javier. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.En anteriores trabajos habíamos desarrollado un método para prevenir la producción de inconsistencias en bases de datos Cassandra. En el actual trabajo tenemos como objetivo la verificación de dicho método para lo cual hemos definido un oráculo que nos permite comprobar que las operaciones determinadas por nuestro método mantienen la consistencia. Este oráculo consta de un proceso donde se inserta la tupla en el modelo conceptual de forma paralela a su inserción en el modelo lógico que representa las tablas Cassandra y compara los datos almacenados en ambos. Si tras insertarse la tupla en ambos modelos, éstos contienen los mismos datos, se verifica que se mantiene la consistencia. Este oráculo ha sido aplicado en diversos casos de prueba seleccionados de forma sistemática, verificando que se mantuvo la consistencia en Cassandra en cada uno de ellos.Resumen MEdit4CEP-Gam: A model-driven approach for user-friendly gamification design, monitoring and code generation in CEP-based systemsCalderón Sánchez, Alejandro; Boubeta-Puig, Juan; Ruiz, Mercedes. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.AUTHORS Alejandro Calderón, Juan Boubeta-Puig & Mercedes Ruiz JOURNAL Information and Software Technology (vol. 95, pp. 238-264, 2018). IF: 2.627 (2017). Q1 (16/104) in “Computer Science, Software Engineering” category. DOI https://doi.org/10.1016/j.infsof.2017.11.009 ABSTRACT Context: Gamification has been proven to increase engagement and motivation in multiple and different non-game contexts such as healthcare, education, workplace, and marketing, among others. However, many of these applications fail to achieve the desired benefits of gamification, mainly because of a poor design. Objective: This paper explores the conceptualization, implementation and monitoring phases of meaningful gamification strategies and proposes a solution for strategy experts that hides the implementation details and helps them focus only on what is crucial for the success of the strategy. The solution makes use of Model-Driven Engineering (MDE) and Complex Event Processing (CEP) technology. Method: An easy-to-use graphical editor is used to provide the high-level models that represent the design of the gamification strategy and its deployment and monitoring. These models contain the event pattern definitions to be automatically transformed into code. This code is then deployed both in a CEP engine to detect the conditions expressed in such patterns and in an enterprise service bus to execute the corresponding pattern actions. Results: The paper reports on the use of both a graphical modeling editor for gamification domain definition and a graphical modeling editor for gamification strategy design, monitoring and code generation in event-based systems. It also shows how the proposal can be used to design and automate the implementation and monitoring of a gamification strategy in an educational domain supported by a well-known Learning Management System (LMS) such as Moodle. Conclusion: It can be concluded that this unprecedented model-driven approach leveraging gamification and CEP technology provides strategy experts with the ability to graphically define gamification strategies, which can be directly transformed into code executable by event-based systems. Therefore, this is a novel solution for bringing CEP closer to any strategy expert, positively influencing the gamification strategy design, implementation and real-time monitoring processes.Artículo Reducción de costes en la Industria 4.0 a través de la prueba del softwareValle-Gómez, Kevin J.; Delgado Pérez, Pedro; Medina Bulo, María Inmaculada; Magallanes Fernández, José. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.La Industria 4.0 está cambiando todos los aspectos de la producción. Este cambio requiere la evolución de los sistemas con una gran rapidez. En este contexto, la validación y verificación de los proyectos software cobra especial importancia. Un defecto en el software podría tener consecuencias catastróficas, por lo que es fundamental que los sistemas funcionen correctamente en producción. En este trabajo se presenta una solución para aliviar el coste de proyectos industriales mediante la automatización de la fase de pruebas del software. Esto se enmarca dentro de una colaboración entre la Universidad de Cádiz y Navantia, una empresa española líder en construcción naval que desarrolla grandes proyectos de software.Resumen Interactions between environmental sustainability goals and software product quality: a mapping studyGarcía-Mireles, Gabriel Alberto; Moraga, María Ángeles; García Rubio, Félix Óscar; Calero Muñoz, Coral; Piattini Velthuis, Mario Gerardo. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.La sostenibilidad es un requisito de calidad que debe tenerse en cuenta a la hora de desarrollar el software. Sin embargo, es posible que existan ciertos conflictos entre el resto de características de calidad que tiene que cumplir un producto software y la sostenibilidad. Teniendo esto en cuenta, en este artículo se ha realizado un estudio de las interacciones existentes entre las características de calidad del producto software y la sostenibilidad dentro del contexto de las aplicaciones software. Para ello, se ha realizado una SMS (Systematic Mapping Study) obteniendo como resultado que la interacción entre la eficiencia del rendimiento y la eficiencia energética es la más estudiada y analizada y que esa interacción es bastante positiva. Además, parece existir una interacción positiva entre la fiabilidad y la usabilidad con respecto a la eficiencia energética, por el contrario, la seguridad tiene un impacto negativo en la eficiencia energética. Por otro lado, la idoneidad funcional y la mantenibilidad pueden tener tanto un impacto positivo como negativo en los diferentes objetivos de la sostenibilidad. En definitiva, se ha detectado que es necesario realizar un esfuerzo mayor de investigación para determinar el impacto que existe en las interacciones entre las características tradicionales de calidad del software y la sostenibilidad. Finalmente, destacar que las propuestas existentes deberían ser validadas en entornos industriales.Artículo Definición de Operadores de Mutación para Sistemas de Información GeográficaAlvarado, Suilen H.; García Rodríguez de Guzmán, Ignacio; Rodríguez Luaces, Miguel; Pedreira, Oscar; Saavedra Places, Ángeles; Polo Usaola, Macario. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.Este artículo presenta la definición de un conjunto de operadores de mutación que reproducen errores probables que pueden ocurrir durante el desarrollo de Sistemas de Información Geográfica. Estos operadores fueron definidos a partir de errores que se identificaron analizando las tecnologías más usadas para implementar este tipo de aplicaciones. Para la creación de los operadores implementamos un prototipo basado en programación orientada a aspectos. Finalmente evaluamos su uso simulando estos errores en dos aplicaciones reales.Resumen Software Design Smell Detection: a systematic mapping studyAlkharabsheh, Khalid; Crespo, Yania; Manso, M. Esperanza; Taboada González, Jose A.. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.Design Smells are indicators of situations that negatively affect software quality attributes such as understandability, testability, extensibility, reusability, and maintainability in general. Improving maintainability is one of the cornerstones of making software evolution easier. Hence, Design Smell Detection is important in helping developers when making decisions that can improve software evolution processes. After a long period of research, it is important to organize the knowledge produced so far and to identify current challenges and future trends. In this paper, we analyze 18 years of research into Design Smell Detection. There is a wide variety of terms that have been used in the literature to describe concepts which are similar to what we have defined as "Design Smells", such as design defect, design flaw, anomaly, pitfall, antipattern, and disharmony. The aim of this paper is to analyze all these terms and include them in the study. We have used the standard systematic literature review method based on a comprehensive set of 395 articles published in different proceedings, journals, and book chapters. We present the results in different dimensions of Design Smell Detection, such as the type or scope of smell, detection approaches, tools, applied techniques, validation evidence, type of artifact in which the smell is detected, resources used in evaluation, supported languages, and relation between detected smells and software quality attributes according to a quality model. The main contributions of this paper are, on the one hand, the application of domain modeling techniques to obtain a conceptual model that allows the organization of the knowledge on Design Smell Detection and a collaborative web application built on that knowledge and, on the other, finding how tendencies have moved across different kinds of smell detection, as well as different approaches and techniques. Key findings for future trends include the fact that all automatic detection tools described in the literature identify Design Smells as a binary decision (having the smell or not), which is an opportunity to evolve to fuzzy and prioritized decisions. We also find that there is a lack of human experts and benchmark validation processes, as well as demonstrating that Design Smell Detection positively influences quality attributes.Artículo Estudio de la sostenibilidad energética en los portales de Carpeta Personal de SaludGarcía Berná, José Alberto; Fernández Alemán, José Luis; Carrillo de Gea, Juan Manuel; Nicolás Ros, Joaquín; Moros Valle, Begoña; Toval, Ambrosio; Mancebo Pavón, Javier; Calero Muñoz, Coral. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.La Carpeta Personal de Salud permite a los usuarios observar la evolución de su bienestar. Motivados por conocer la sostenibilidad energética de estas herramientas se llevó a cabo un análisis del consumo eléctrico durante la realización de tareas típicas en estas aplicaciones, como por ejemplo consultar el nivel de glucosa, añadir medicación y programar una cita médica. El consumo energético se midió con un dispositivo provisto de varias sondas conectadas a los componentes principales de un ordenador. Los datos se analizaron estadísticamente y se encontraron diferencias significativas en los consumos de la pantalla, procesador y fuente de alimentación (potencia suministrada al PC). En todos estos componentes NoMoreClipBoard fue la Carpeta Personal de Salud que menos energía consumió.Resumen Performance mutation testing: hypothesis and open questionsSánchez Jerez, Ana Belén; Delgado Pérez, Pedro; Segura Rueda, Sergio; Medina Bulo, María Inmaculada. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.Performance bugs are common, costly, and elusive. Performance tests aim to detect performance bugs by running the program with specific inputs and determining whether the observed behaviour is acceptable. There not exist mechanisms, however, to assess the effectiveness of performance tests. Mutation testing is a technique to evaluate and enhance functional test suites by seeding artificial faults in the program under test. In this new idea paper, we explore the applicability of mutation testing to assess and improve performance tests. This novel approach is motivated with examples and open questions. Ana B. Sánchez, Pedro Delgado-Pérez, Sergio Segura, Inmaculada Medina-Bulo. Performance Mutation Testing: Hypothesis and open questions. Information and Software Technology Journal, 103, 159-161, November 2018. Disponible online: https://doi.org/10.1016/j.infsof.2018.06.015 ÍNDICES DE CALIDAD Factor de impacto: 2,694 Categoría de la revista: Q1 Posición en su categoría: 16 Número de autores: 4Resumen Early Integration Testing for Entity Reconciliation in the Context of Heterogeneous Data SourcesBlanco, Raquel; González Enríquez, José; Domínguez Mayo, Francisco José; Escalona Cuaresma, María José; Tuya, Javier. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.- Revista en la que fue publicado el trabajo: IEEE TRANSACTIONS ON RELIABILITY, VOL. 67, NO. 2 - Fecha de publicación: Junio 2018 - Páginas: 538-556 - DOI: 10.1109/TR.2018.2809866 - Índice JCR: 2,729 - Cuartil: Q1Artículo Una Aproximación Basada en Valor para la Priorización de Alternativas en Modelos de ObjetivosCano Genoves, Carlos; Insfrán Pelozo, Emilio; Abrahao Gonzales, Silvia; Fernández-Diego, Marta; González-Ladrón-de-Guevara, Fernando. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.En este artículo se presenta una técnica basada en valor que permite alinear los sistemas de información con los objetivos estratégicos de los stakeholders y la organización. Para ello, hacemos uso de modelos de objetivos que re-presentan las intenciones de los stakeholders con respecto al sistema a desarrollar. Si bien hay muchas técnicas que se emplean junto con modelos de objetivos para ayudar a razonar, ya sea para detectar conflictos de intereses, elegir entre alternativas o comprobar la satisfacción del modelo, la mayoría de ellas considera tanto las intenciones como los stakeholders igual de importantes. La técnica propuesta hace uso de proposiciones de valor para priorizar las distintas primitivas del modelo de objetivos (actores, elementos intencionales y relaciones) por medio de la asignación de una importancia relativa para luego propagarla a través de las relaciones del modelo de objetivos y así calcular el valor. Se presenta un ejemplo que muestra el uso de la técnica para razonar sobre alternativas en un escenario de despliegue de servicios inalámbricos.Artículo Una estrategia centrada en el usuario y guiada por modelos para el desarrollo sistemático de módulos ERPOlivero González, Miguel Ángel; Morales-Trujillo, Leticia; Lizcano, David; Domínguez Mayo, Francisco José. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.Los sistemas ERP están compuestos por diferentes módulos funcionales en el que cada uno aborda un área de negocio distinta. Los desarrollos que se llevan a cabo sobre estos módulos se gestionan de manera independiente por cada uno, lo que permite abordar de forma controlada un gran número de requisitos de infor-mación relacionados. En este contexto trabaja la startup G7Innovation para su producto iMEDEA. En este estudio hemos combinado dos metodologías, Design Sprint y NDT 4.0; consiguiendo sistematizar el desarrollo de módulos de siste-mas ERP. Esta combinación permite usar Design Sprint para generar y validar el prototipado, y NDT 4.0 para hacer el estudio, análisis y diseño del software a desarrollar. Además, de acuerdo a las especificaciones definidas en NDT, se pue-de automatizar la generación de código del módulo ERP. Esta propuesta se vali-dado en un caso de estudio en colaboración con la startup G7Innovation donde hemos aplicado ambas metodologías sobre Odoo, un sistema ERP de código abierto escrito en lenguaje Python. Gracias al uso de estas dos metodologías he-mos producido un módulo afín a las necesidades de la clínica reduciendo costos, tiempos y fallos humanos.Artículo Prodevelop A Test Automation Case Study: From academic research to the real-world tool chainTorres, Ismael; Vos, Tanja E. J.; Markiegi, Urtzi; Calás, Ernesto; Pastor Ricos, Fernando; Etxeberria, Leire; Aldalur, Iñigo; Valencia, Xabier. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.Prodevelop A Test Automation Case Study: From academic research to the real-world tool chainResumen Automatic Testing of Design Faults in MapReduce ApplicationsMorán, Jesús; Bertolino, Antonia; de la Riva, Claudio; Tuya, Javier. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.New processing models are being adopted in Big Data engineering to overcome the limitations of traditional technology. Among them, MapReduce stands out by allowing for the processing of large volumes of data over a distributed infrastructure that can change during runtime. The developer only designs the functionality of the program and its execution is managed by a distributed system. As a consequence, a program can behave differently at each execution because it is automatically adapted to the resources available at each moment. Therefore, when the program has a design fault, this could be revealed in some executions and masked in others. However, during testing, these faults are usually masked because the test infrastructure is stable, and they are only revealed in production because the environment is more aggressive with infrastructure failures, among other reasons. This paper proposes new testing techniques that aimed to detect these design faults by simulating different infrastructure configurations. The testing techniques generate a representative set of infrastructure configurations that as whole are more likely to reveal failures using random testing, and partition testing together with combinatorial testing. The techniques are automated by using a test execution engine called MRTest that is able to detect these faults using only the test input data, regardless of the expected output. Our empirical evaluation shows that MRTest can automatically detect these design faults within a reasonable time.Artículo Continuous Piloting of an Open Source Test Automation Tool in an Industrial EnvironmentAho, Pekka; Vos, Tanja E. J.; Ahonen, Sami; Piirainen, Tomi; Moilanen, Perttu; Pastor Ricos, Fernando. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.Piloting an academic test automation tool in an industrial environment provides valuable feedback on practical applicability of the tool, but often requires a significant collaboration effort and an iterative process of feedback, development, and evaluation. In this paper, we propose an approach for continuous delivery of TESTAR open source test automation tool into an industrial continuous integration (CI) environment for piloting and evaluation.Artículo Herramienta de entrenamiento para el desarrollo de software seguroSancho Núñez, José Carlos; Castaño Javato, Mª Luz; Caro Lindo, Andrés; de Sande, José Andrés Félix; García Rodríguez, Pablo; Bravo Gómez, Alberto. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.El aumento de ataques cibernéticos que se producen en la actualidad hace primordial la seguridad del software. Las empresas desarrolladoras demandan herramientas de formación que permitan enseñar a sus desarrolladores a construir software de forma segura. Esto es debido a la poca importancia que se ha venido otorgando a la seguridad frente a otros conceptos. Los autores proponen el diseño de una aplicación web de formación que permita a los usuarios practicar y enfrentarse a los problemas más comunes de seguridad. La aplicación muestra a la vez dos escenarios: uno vulnerable que per-mite explotar el código desarrollado de forma insegura; y otro escenario seguro y protegido ante ataques en el que se interceptan y evitan las vulnerabilidades planteadas. Ambos escenarios permiten a los desarrolladores consultar y comparar el código para conseguir así una mejora en su aprendizaje. La herramienta que se presenta es utilizada en la actualidad por una empresa española de servicios tecnológicos y desarrollo de software para formar a sus desarrolladores en materia de seguridad.Artículo Anonimización de datos guiada por pruebas para aplicaciones inteligentesAlonso, Cristian Augusto; Morán, Jesús; de la Riva, Claudio; Tuya, Javier. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.En la actualidad gran cantidad de datos son compartidos para su uso, tratamiento o análisis entre empresas y terceros. Es habitual que estos datos tengan que ser protegidos con diferentes técnicas de preservación de la privacidad para dar cumplimiento a las leyes y regulaciones. Una de las técnicas más comunes es la anonimizacion que, aunque provee de privacidad a los datos, presenta como efecto colateral la perdida de información. Esta pérdida de información puede afectar negativamente al comportamiento de aquellos desarrollos altamente dependientes de dichos datos como son las aplicaciones inteligentes. Para abordar este problema, proponemos un enfoque guiado por pruebas para seleccionar el conjunto de datos anonimizado que mantenga un compromiso entre la calidad no funcional (privacidad) y la funcional (utilidad). Para ello se alimenta a las aplicaciones con los datos anonimizados para que tomen los patrones de comportamiento de estos, y seguidamente validar las predicciones con los datos originales, midiendo así su calidad funcional. Dicha calidad junto con la no funcional (privacidad), es ponderada según los criterios de usuario con el fin de alcanzar el punto de compromiso entre ambas características de calidadArtículo Towards the Definition of Test Coverage Criteria for RESTful Web APIsMartín-López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.Web APIs following the REST architectural style (so-called RESTful Web APIs) have become the de-facto standard for software integration. As RESTful APIs gain momentum, so does the testing of them. However, there is a lack of mechanisms to assess the adequacy of testing approaches in this context, which makes it difficult to measure and compare the effectiveness of different testing techniques. In this work-in-progress paper, we take a step forward towards a framework for the assessment and comparison of testing approaches for RESTful Web APIs. To that end, we propose a preliminary catalogue of test coverage criteria. These criteria measure the adequacy of test suites based on the degree to which they exercise the different input and output elements of RESTful Web services. To the best of our knowledge, this is the first attempt to measure the adequacy of testing approaches for RESTful Web APIs.