Metodologías, Calidad y Pruebas Software

Metodologías, Calidad y Pruebas Software

URI permanente para esta colección:

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

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

Notificar un error en esta colección

Examinar

Mostrando 1 - 18 de 18

Generación de Interfaces de Usuario a partir de Modelos BPMN con Estereotipos
Díaz, Eduardo; Panach, José Ignacio; Rueda, Silvia; Pastor López, Óscar. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
La notación de modelo de procesos de negocio (BPMN – Business Process Model Notation) proporciona a las organizaciones un estándar que facilita una mayor compresión del proceso empresarial. BPMN se centra en los procesos funcionales, dejando el desarrollo de las interfaces a un lado. De este modo, el diseño de la interfaz generalmente depende de la experiencia subjetiva del analista y no existe un procedimiento para extraer la interfaz de los procesos. Este artículo propone un nuevo método para generar interfaces de usuario a partir de modelos BPMN y Diagramas de Clases. La propuesta se basa en la identificación de reglas de generación de procesos a interfaces. Se han definido estereotipos para extender la notación BPMN en aquellas reglas donde haya más de una posible transformación. Estos estereotipos permiten aplicar la regla de forma inequívoca. Las reglas se extrajeron de cinco proyectos, tres existentes en el repositorio de Bizagi y dos de empresas reales. Específicamente, la propuesta se basa en la extracción de reglas para generar interfaces de usuario basadas en tres patrones, Patrón de Secuencia, Patrón de Decisión Implícita y Patrón de Ejecución Intercalada. Como resultado de nuestra propuesta, se han agregado catorce nuevos estereotipos a la notación BPMN. Para ilustrar la propuesta, los estereotipos se aplicaron a un ejemplo ilustrativo. Los resultados muestran que este trabajo es un "paso adelante" para la generación automática de códigos a partir modelos.
Assessment of C++ object-oriented mutation operators: A selective mutation approach
Delgado Pérez, Pedro; Segura Rueda, Sergio; Medina Bulo, María Inmaculada. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
La prueba de mutaciones está considerada como una técnica efectiva, pero que es costosa en contrapartida. Varios estudios han pues- to de manifiesto que pueden existir mutantes redundantes y que, una vez eliminados, no suponen pérdida de la efectividad de la técnica. De la misma manera, algunos mutantes pueden ser más efectivos que otros a la hora de guiarnos en la generación de nuevos casos de pruebas de alta calidad. En base a estos dos hallazgos, en este artículo presentamos una evaluación de los operadores de mutación definidos para C++ en la que clasificamos dichos operadores en dos rankings diferentes tras estudiar los mutantes que cada uno de los operadores genera. La primera clasificación ordena los operadores según el grado de redundancia de sus mutantes y la segunda en base a la calidad de las pruebas que ayudan a diseñar. Una vez establecidos ambos rankings, llevamos a cabo un proceso de mutación selectiva en el que seleccionamos subconjuntos de operadores desechando los menos valorados. El objetivo es determinar qué relación existe entre la reducción que se obtendría al eliminar estos operadores y la pérdida de efectividad. Los resultados experimentales muestran de una manera consistente que al seleccionar los operadores que están en la parte alta del ranking podemos obtener una reducción significativa en el número de mutantes con una mínima pérdida de efectividad. Esto se produce en ambas clasificaciones a pesar de que los operadores se ordenan de for- ma distinta, lo cual valida el planteamiento de valorar los operadores de mutación de una manera diferente según nuestro objetivo sea evaluar o refinar el conjunto de pruebas. P. Delgado-Pérez, S. Segura and I. Medina-Bulo, “Assessment of C++ object- oriented mutation operators: A selective mutation approach,” Software Testing, Verification and Reliability, vol. 27, num. 4–5, pp. e1630, 2017. http://dx.doi.org/10.1002/stvr.1630 Factor de impacto revista: 1.588
Generacio?n de pruebas del sistema en el desarrollo del proyecto ADAGIO mediante la aplicacio?n de NDT
Moreno-Leonardo, S.; González Enríquez, José; Morales-Trujillo, Leticia; Domínguez Mayo, Francisco José. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
La ingenieri?a guiada por modelos (MDE) se ha utilizado en los u?ltimos an?os para promover mejores resultados en el desarrollo de aplicaciones web, en el campo que se ha denominado ingenieri?a web guiada por modelos (MDWE). Una de las ventajas de aplicar MDWE es que ofrece una solucio?n para reducir el coste de las pruebas sin afectar su ejecucio?n ni la calidad de las mismas. Navigational Development Techinques (NDT), es una metodologi?a que proporciona soporte para todas las fases del ciclo de vida del desarrollo de un proyecto de software, proponiendo transformaciones automa?ticas entre dichas fases, sin embargo, en este trabajo, aunque se describe brevemente co?mo se ha hecho uso de NDT para la definicio?n de las fases de requisitos y ana?lisis, se hace hincapie? en el uso de la metodologi?a para la definicio?n de la fase de pruebas de un proyecto real denominado ADAGIO. La aplicacio?n de esta metodologi?a, proporciona un mayor i?ndice de cobertura de pruebas del sistema, y, consecuentemente, un incremento en la calidad del producto.
Diseño de un marco de trabajo dirigido por modelos y soportado por herramientas para mejorar la gestión de guías clínicas y procesos asistenciales
Cid De La Paz Furest, Virginia; García García, Julián Alberto; Ramos, Juan Manuel; Escalona Cuaresma, María José. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
El Proyecto IDE4ICDS se mueve en el contexto médico para dar solu-ción a la gestión del ciclo de vida de guías clínicas. Actualmente, las guías clíni-cas están definidas de forma textual, lo que las hace difíciles de seguir en el día a día. Esto provoca, entre otros factores, variabilidad en la práctica clínica. En este proyecto se presenta una metodología guiada por modelos que permite auto-matizar la gestión de guías clínicas, así como una plataforma software que le de soporte, permitiendo definir, ejecutar y monitorizar guías clínicas. Dicha plata-forma ha sido validada con profesionales sanitarios del Hospital Virgen del Rocío (Sevilla), obteniendo resultados prometedores. Actualmente se encuentra en fase de pilotaje en Atención Primaria con pacientes que sufren Diabetes Mellitus Tipo 2.
Metamorphic Testing of RESTful Web APIs
Segura Rueda, Sergio; Parejo Maestre, José Antonio; Troya, Javier; Ruiz Cortés, Antonio. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
S. Segura, J. A. Parejo, J. Troya and A. Ruiz-Cortés, "Metamorphic Testing of RESTful Web APIs" in IEEE Transactions on Software Engineering, Oct 2017 (online) vol. PP, no. 99, pp. 1-1. https://doi.org/10.1109/TSE.2017.2764464 Aceptado para ser presentado en ICSE 2018 en la categoría de journal-first: https://www.icse2018.org/track/icse-2018-Journal-first-papers#event-overview 166 lecturas en ResearchGate desde su publicación (118 en IEEE Xplore).
Técnicas creativas para la captura de requisitos en el desarrollo ágil: una revisión sistemática de la literatura
Aldave, Ainhoa; Vara, Juan Manuel; Granada, David; Marcos Martínez, Esperanza. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
Si bien uno de los objetivos de las metodologías ágiles es proporcionar un contexto que facilite la innovación, el afán de las técnicas tradicionales para la captura de requisitos por conseguir una especificación completa y pormenorizada de requisitos que guíe el proceso de desarrollo, parece no encajar a priori con el carácter innovador de las metodologías ágiles. Aplicar el pensamiento creativo a la captura de requisitos, permitiría en principio seguir contemplando la captura de requisitos como una fase más del desarrollo ágil, sin penalizar el carácter innovador de estas metodologías. Para evaluar las iniciativas al respecto que existen hasta la fecha, este trabajo presenta una revisión sistemática que identifica y analiza los trabajos que proponen alguna forma de combinar la utilización de técnicas creativas para la toma de requisitos con el desarrollo ágil. El estudio revela que hasta el momento las metodologías ágiles basadas en modelado rápido son las más populares como forma de introducir la creatividad en la toma de de requisitos. Asimismo, el estudio muestra que la creatividad en la toma de requisitos debe venir acompañada de un alto nivel de compromiso por parte del usuario y de un contexto que favorezca la flexibilidad, si queremos favorecer la innovación en el desarrollo de software.
Diseño de operadores de mutación para características de sensibilidad al contexto en aplicaciones móviles
Polo Usaola, Macario; De La Caridad Rodriguez Trujillo, Isyed. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
Este artículo presenta el diseño arquitectónico de un conjunto de operadores de mutación. Este diseño mejora el tiempo y coste de implementación de nuevos operadores respecto de la experiencia previa de los autores en el desarrollo de otras herramientas de mutación. El diseño, además, se está utilizando para la creación de operadores específicamente diseñados para reproducir artificialmente errores sobre las características de sensibilidad al contexto de aplicaciones móviles.
Usabilidad de Software: Una Apuesta Corporativa
Carvajal, Carmen L.; Moreno, Ana M.. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
Este trabajo presenta los resultados de una síntesis cualitativa de la literatura orientada a identificar pautas y recomendaciones que ayuden a integrar la usabilidad en una organización software desde el punto de vista corporativo. Los resultados constituyen el primer paso para definir un conjunto de guías y prácticas que puedan usar los gestores o responsables de calidad de las organizaciones software para crear una cultura de usabilidad que ayude a integrar dicho atributo de calidad de manera sostenible en los distintos proyectos de la organización. La metodología utilizada es la síntesis temática, con la que se han sintetizado 44 artículos dando como resultado la identificación de cinco prácticas generales que agrupan otras 13 prácticas más concretas para abordar este fin. Finalmente, se presenta un modelo de interrelaciones entre las distintas prácticas identificadas.
IoT–TEG: Test event generator system
Gutiérrez-Madroñal, Lorena; Medina Bulo, María Inmaculada; Domínguez Jiménez, Juan José. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
Internet of Things (IoT) has been paid increasingly attention by the government, academe and industry all over the world. One of the main drawbacks of the IoT systems is the amount of information they have to handle. This information arrives as events that need to be processed in real time in order to make correct decisions. Given that processing the data is crucial, testing the IoT systems that will manage that information is required. In order to test IoT systems, it is necessary to generate a huge number of events with specific structures and values to test the functionalities required by these systems. As this task is very hard and very prone to error if done by hand, this paper addresses the automated generation of appropriate events for testing. For this purpose, a general specification to define event types and its representation are proposed and an event generator is developed based on this definition. Thanks to the adaptability of the proposed specification, the event generator can generate events of an event type, or events which combine the relevant attributes of several event types. Results from experiments and real-world tests show that the developed system meets the demanded requirements. Journal of Systems and Software, JSS Special Issue on Software Reliability Engineering Impact factor: 2,444 (Q1) Available online 20 June 2017 DOI: https://doi.org/10.1016/j.jss.2017.06.037
FEETINGS: Un Marco para la Sostenibilidad del Software
Mancebo Pavón, Javier; García Rubio, Félix Óscar; Calero Muñoz, Coral; García Berná, José Alberto; Fernández Alemán, José Luis; Toval, Ambrosio. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
El desarrollo del software no debe de permanecer indiferente a la necesidad de construir productos que sean sostenibles y respetuosos con el medioambiente a lo largo de su ciclo de vida. Sin embargo, uno de los principales problemas actuales, es la falta de herramientas que permitan medir el consumo de energía cuando un software es ejecutado, y detectar, por ejemplo, cuáles son las partes del software que tienen un consumo de energía excesivo. Por esta razón, se ha propuesto FEETINGS (Framework for Energy Efficiency Testing to Improve eNviromental Goals of the Software), un marco que permite medir la eficiencia energética del software y así mejorar la sostenibilidad del mismo. En este trabajo, nos hemos centrado en el núcleo del marco, EET (Energy Efficiency Tester). EET es un dispositivo hardware de medición dedicado a recopilar los datos de consumo específicos del software que se está evaluando. A lo largo del documento se presenta las principales funciones de EET, y un caso de estudio usando el dispositivo de medición EET, donde se pretende observar si existe una correlación entre los requisitos de usabilidad de un software determinado con el consumo de ener-gía que conlleva al ser ejecutado.
Generación de eventos de prueba para un sistema IoT de detección de caídas
Gutiérrez-Madroñal, Lorena; La Blunda, Luigi; Wagner, Matthias F.; Medina Bulo, María Inmaculada. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
El Internet de las Cosas (IoT) se ha ido aplicando en diferentes áreas; como smartcyties , medicina, procesos de negocio, etc, convirtiéndolo en un paradigma muy popular. Uno de los inconvenientes de los sistemas IoT es la toma de decisiones en tiempo real según la gran cantidad de información, eventos, que manejan. Realizar pruebas en estos sistemas es crucial para la toma de decisiones, ya que si no se filtra la información correcta no se llevarán a cabo las acciones esperadas. En diversas ocasiones es difícil obtener los eventos con valores específicos para realizar pruebas: condiciones ambientales adversas, subida o bajada de la tensión arterial, paro cardíaco, caídas... Este trabajo está enfocado en analizar caídas y en generar los eventos de prueba que las simulen utilizando la herramienta IoT-TEG. Este análisis ha permitido detectar el comportamiento de los eventos durante las mismas y ampliar las funcionalidades de IoT-TEG: los eventos de prueba a generar siguen las reglas de comportamiento que el usuario defina.
Un primer enfoque para medir la calidad de FIWARE
Villalobos, Ignacio; Ferrer, Javier; Alba, Enrique. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
FIWARE es un ecosistema tecnológico abierto que pretende convertirse en la plataforma de referencia para los servicios y aplicaciones del Internet del Futuro. Para ello, primero se necesita solventar las dudas existentes en cuanto a la calidad de FIWARE, ya que la plata- forma manejará datos sensibles tanto personales como esenciales para la correcta gestión de las ciudades inteligentes. Hay muchas formas de estudiar la calidad de un middleware complejo como este. En nuestro caso seguimos las pautas de un estándar ISO usando herramientas existentes en una primera fase de identicación de problemas. Tras estudiar 26 habilitadores genéricos de referencia de FIWARE, hemos detectado numerosos puntos de mejora. En el caso de la conconfiabilidad y seguridad se podrán solventar en poco tiempo, mientras que los defectos relativos a mantenibilidad requeriran del orden de meses de trabajo. Esto posiblemente es debido al carácter tan heterogéneo del equipo de desarrollado de FIWARE (miembros de diversas empresas), que afecta directamente a la mantenibilidad del código.
Gestión de Proyectos con PMBOK y LEGO(R) SERIOUD PLAY(R)
Gutierrez, Javier; Suárez-Otero, Pablo; Morán, Jesús; Escalona Cuaresma, María José. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
La comunicación es una de las técnicas más importantes en la gestión de proyectos. La técnica más utilizada en A Guide to the Project Management Body of Knowledge (PMBOK) son los juicios de experto junto contras di-námicas de trabajo en grupo como reuniones. Sin embargo, las reuniones ha-bituales en las que una persona habla y el resto escucha presentan un por-centaje de actividad mental y de implicación muy bajo. Por tanto una mejora en la manera de trabajar en grupo supone una mejora en la gestión de un proyecto. En este trabajo, se explora el uso de la metodología de trabajo en grupo LEGO® SERIOUS PLAY® en la gestión de proyectos. Para ello, este trabajo propone 11 talleres utilizando esta metodología que dan soporte a los procesos basados en comunicación y trabajo en grupo de PMBOK. Las eva-luaciones preliminares de estos talleres por parte de sus asistentes muestran un alto grado de satisfacción y participación en los mismos.
MRG4BPEL: herramienta para generar relaciones metamórficas candidatas en composiciones WS-BPEL
de Castro-Cabrera, M. Carmen; Valle-Gómez, Kevin J.; Medina Bulo, María Inmaculada; Tena-Sánchez, Pablo. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
En el contexto de la prueba de software, existen diversas técnicas que permiten probar las composiciones de servicios web. Una de ellas, que va adquiriendo importancia y visibilidad en este campo es la Prueba Metamórfica (PM). Dentro los aspectos que esta técnica requiere considerar, está la obtención y generación de Relaciones Metamórficas (RM), parte esencial y la más compleja de automatizar. En este trabajo se abordan las mejoras tanto en la arquitectura inicialmente propuesta (que representa un framework para probar composiciones de servicios web en el lenguaje WS-BPEL), como en los módulos que la componen. Es decir, se describen los avances en la herramienta de análisis (Analyzer4BPEL) y se presenta una nueva aplicación para generar RM candidatas, MRG4BPEL. Se muestra un caso de uso, donde, a partir de una composición, se obtienen y aplican RM utilizando estas herramientas, así como las conclusiones obtenidas.
Evaluating Software Project Managers: A Multidimensional Perspective
Peters, Lawrence; Moreno, Ana M.. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
Lawrence Peters, Ana M. Moreno. Evaluating Software Project Managers: A multidimensional perspective. IEEE Software, Nov-Dec. 2017, Vol 34 (6), pp 104-109. IEEE Software – JCR Impact Factor (2016): 2,547 – Rank Computer Science, Software Engineering 26/106 - Q1 Qualified and motivated software project managers are key contributors in software organizations. According to literature and supported by authors experience one of the most effective motivators for software practitioners is the recognition of their work. Feedback and recognition of the work done implies the evaluation of professionals and their work. Evaluating software project managers should go beyond a hasty analysis determining if their projects finished on time, under budget and met requirements. Software project managers develop their practice in an organizational context and their work directly impacts different groups within the organization. Each group has its own value system regarding what the software project should accomplish and what an effective software project manager is. This paper discuss a holistic approach for evaluating software project managers having in mind the value system of those groups.
Incremental test data generation for database queries
Suárez-Cabal, María José; de la Riva, Claudio; Tuya, Javier; Blanco, Raquel. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
Título: Incremental test data generation for database queries Autores: María José Suárez-Cabal, Claudio de la Riva, Javier Tuya, Raquel Blanco Revista de publicación: Automated Software Engineering Número, mes y año de la publicación: 24(4), Diciembre 2017 Páginas: 719-755 DOI: 10.1007/s10515-017-0212-7 Indicios de calidad: Factor de impacto: 2.625 (JCR, 2016) Número de citas: 2 [1] R. Blanco and J. Tuya, "Modelling Test Views for Graph Database Applications", IEEE Latin America Transactions, vol. 15, no. 7, pp. 1312-1317, 2017. doi: 10.1109/TLA.2017.7959352 [2] W. Castelein, M. Aniche, M. Soltani, A. Panichella, A. Deursen, "Search-Based Test Data Generation for SQL Queries", Proceedings of the 40th International Conference on Software Engineering (ICSE 2018)
Automatización de la localización de defectos en el diseño de aplicaciones MapReduce
Morán, Jesús; de la Riva, Claudio; Tuya, Javier. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
Los programas MapReduce analizan grandes cantidades de datos sobre una infraestructura distribuida. En cambio, estos programas pueden desarrollarse independientemente de la infraestructura ya que un framework gestiona automáticamente la asignación de recursos y la gestión de fallos. Una vez que se detecta un defecto, suele ser complicado localizar su causa raíz ya que diversas funciones se ejecutan simultáneamente en una infraestructura distribuida que cambia continuamente y que es difícil tanto de controlar como depurar. En este artículo se describe una técnica que, a partir de un caso de prueba que produce fallo, localiza su causa raíz analizando dinámicamente las características del diseño que se cubren cuando se produce fallo y aquellas que no.
Evaluación del mantenimiento de la consistencia lógica en Cassandra
Suárez-Otero, Pablo; Suárez-Cabal, María José; Tuya, Javier. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
En las bases de datos NoSQL como Cassandra es común que exista duplicidad de los datos entre las tablas, a diferencia de los modelos relacionales normalizados. Esto se debe a que las tablas son diseñadas en base a consultas y a la ausencia de relaciones entre ellas. Por tanto, si los datos no son modificados convenientemente se pueden producir inconsistencias en la información almace-nada. A su vez, es relativamente fácil que se introduzcan defectos que ocasionen inconsistencias en Cassandra, siendo éstos difíciles de detectar utilizando técnicas convencionales de pruebas dinámicas. Con el objetivo de ayudar al desarro-llador a evitar la producción de inconsistencias, proponemos un nuevo método que, usando un modelo conceptual, es capaz de establecer los procesos necesarios para asegurar la calidad de los datos desde el punto de vista de su consistencia a través de pruebas estáticas. En este trabajo evaluamos la eficiencia de este método ante un caso de estudio en el que insertamos tuplas en entidades y relaciones del modelo conceptual y extraemos qué es necesario para mantener la consistencia en el modelo lógico. Los resultados muestran como la desnormalización de los datos puede aumentar la complejidad del mantenimiento de la consistencia, no solo necesitando saber dónde se debe mantener la consistencia sino también cómo hay que mantenerla.

Examinar

Envíos recientes