Autor:
Tuya, Javier

Foto de perfil
E-mails conocidos
tuya@uniovi.es
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Tuya
Nombre de pila
Javier
Nombre
Nombres alternativos
Afiliaciones conocidas
Universidad de Oviedo, Spain
University of Oviedo
University of Oviedo, Spain
Departamento de Informática, Universidad de Oviedo
Departamento de Informática, Universidad de Oviedo, Gijón, España
Department of Computing, University of Oviedo, Spain
Universidad de Oviedo
Departamento de Informática, Universidad de Oviedo, Spain
Páginas web conocidas
http://giis.uniovi.es/tuya/
Página completa del ítem
Notificar un error en este autor

Filtros

2015 - 201992020 - 20236
Restablecer filtros

Ajustes

Resultados de la búsqueda

Mostrando 1 - 10 de 15
  • Miniatura
    Artículo
    Pruebas sobre aplicaciones de bases de datos orientadas a grafos: un enfoque basado en modelos
    Blanco, Raquel; Tuya, Javier. Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016), 2016-09-13.
    Las bases de datos NoSQL plantean nuevos desafíos a la hora de probar las aplicaciones que las utilizan, debido a que sus modelos de datos y sus modos de acceso difieren de las bases de datos relacionales. La prueba de aplicaciones que acceden a bases de datos relacionales ha atraído el interés de muchos investigadores, mientras que la prueba de aplicaciones que acceden a bases de datos NoSQL es un área que aún no ha sido prácticamente explorada. Este trabajo describe un enfoque que permite crear modelos que definen objetivos de prueba para aplicaciones que utilizan bases de datos orientadas a grafo, a partir de la especificación del sistema y del modelo de datos conceptual. Estos modelos son empleados posteriormente para derivar los requisitos de prueba que guían la generación de los casos de prueba. El enfoque ha sido aplicado a una aplicación que representa un problema del mundo real y los resultados muestran que permite diseñar casos de prueba capaces de detectar fallos que pueden aparecer tanto en la especificación del sistema como en la implementación.
  • Miniatura
    Artículo
    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.
  • Miniatura
    Artículo
    Anonimización de datos guiada por pruebas para aplicaciones inteligentes
    Alonso, 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 calidad
  • Miniatura
    Artículo
    Mantenimiento de la Consistencia Lógica en Cassandra
    Suárez-Otero, Pablo; Gutierrez, Javier; de la Riva, Claudio; Tuya, Javier. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.
    A diferencia de las bases de datos relacionales, en bases de datos NoSQL como Cassandra es muy común que exista duplicidad de los datos en diferentes tablas. Esto es debido a que, normalmente, las tablas son diseñadas en base a las consul-tas y a la ausencia de relaciones entre ellas para primar el rendimiento en las con-sultas. Por tanto, si los datos no se actualizan convenientemente, se pueden pro-ducir inconsistencias en la información almacenada. Es relativamente fácil intro-ducir defectos que originan inconsistencia de datos en Cassandra, sobre todo du-rante la evolución de un sistema en el que se crean nuevas tablas, y éstos son difí-ciles de detectar utilizando técnicas convencionales de pruebas dinámicas. El desarrollador es quien debe preocuparse de mantener esta consistencia incluyendo y actualizando los procedimientos adecuados. Este trabajo propone un enfoque preventivo a estos problemas, estableciendo los procesos necesarios para asegu-rar la calidad de los datos desde el punto de vista de su consistencia, facilitando así las tareas del desarrollador. Estos procesos incluyen: (1) un análisis estático considerando el modelo conceptual, las consultas y el modelo lógico de la aplica-ción, para identificar qué elementos (tablas o columnas) de la base de datos se ven afectados por un cambio, y (2) la determinación y ejecución de las operaciones que aseguren la consistencia de la información.
  • Miniatura
    Artículo
    Evolución en sistemas de bases de datos orientadas a columnas ante cambios conceptuales
    Suárez-Otero, Pablo; Mior, Michael; Suárez-Cabal, María José; Tuya, Javier. Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021), 2021-09-22.
    Los modelos de datos entre los que se incluyen el modelo conceptual y el esquema de la base de datos se diseñan en base a los requisitos de las aplicaciones. Estos modelos de datos pueden evolucionar ante cambios de los requisitos, lo cual puede implicar cambios en los datos y las consultas de las aplicaciones cliente. Este problema es más significativo en los sistemas que usan bases de datos orientadas a columnas debido al diseño de sus esquemas en las que la información se encuentra duplicada en varias tablas. Esto significa que, ante un cambio del modelo conceptual, se deben realizar varios cambios en el esquema, los datos y las consultas para mantener la calidad del sistema con respecto a la consistencia modelo conceptual-esquema, la integridad de los datos y la aplicación cliente . Para ello, proponemos enfoques preventivos que, ante cambios del modelo conceptual, eviten defectos en el esquema, los datos y las aplicaciones que afecten a la calidad del sistema. Para el esquema y los datos proponemos un enfoque orientado a MDE en el que se generen modelos que contengan las acciones para mantener la consistencia modelo conceptual-esquema y la integridad de los datos. Para las consultas proponemos el uso de técnicas de reparación automática de software para actualizar la aplicación cliente.
  • Miniatura
    Artículo
    Modelo de defectos dirigido por consultas para aplicaciones de bases de datos orientadas a grafos
    Blanco, Raquel; Tuya, Javier; de la Riva, Claudio. Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021), 2021-09-22.
    Las bases de datos NoSQL, cada vez más presentes en las aplicaciones actua-les, plantean nuevos retos en las pruebas de dichas aplicaciones, debido a la ausencia de un esquema explícito en la base de datos. Este trabajo presenta un modelo de defectos para aplicaciones que utilizan bases de datos orientadas a grafos, que ha sido elaborado considerando tres factores que afectan a la escri-tura de las consultas y la relación existente entre ellos: la propia consulta, el modelo conceptual y los datos almacenados en la base de datos. Este modelo de defectos define una serie de escenarios de defectos que identifican cuáles de estos factores deben ser corregidos.
  • Miniatura
    Artículo
    Verificación del mantenimiento de la consistencia lógica en bases de datos Cassandra
    Suá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.
  • Miniatura
    Artículo
    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.
  • Miniatura
    Artículo
    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.
  • Miniatura
    Artículo
    Localización de defectos en aplicaciones MapReduce
    Morán, Jesús; de la Riva, Claudio; Tuya, Javier; Rivas García, Bibiano. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.
    Los programas que analizan grandes cantidades de datos suelen ejecutarse en entornos distribuidos, tal y como ocurre con las aplicaciones MapReduce. Estos programas se desarrollan independientemente de la infraestructura sobre que la que se ejecutan, ya que un framework gestiona automáticamente la asignación de recursos y gestión de fallos, entre otros. Detectar y localizar defectos en estos programas suele ser una tarea compleja ya que diversas funciones se ejecutan simultáneamente en una infraestructura distribuida, difícil de controlar y que cambia continuamente. En este artículo se describe una técnica que, a partir de un fallo detectado en las pruebas, localiza defectos de diseño analizando dinámicamente los parámetros que lo causan.