El autor Raquel Blanco ha publicado 8 artículo(s):

Título: Incremental test data generation for database queriesAutores: María José Suárez-Cabal, Claudio de la Riva, Javier Tuya, Raquel BlancoRevista de publicación: Automated Software EngineeringNúmero, mes y año de la publicación: 24(4), Diciembre 2017Páginas: 719-755DOI: 10.1007/s10515-017-0212-7Indicios 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)

Autores: María José Suárez-Cabal / Claudio De La Riva / Javier Tuya / Raquel Blanco / 
Palabras Clave: Constraint satisfaction problem (CSP) - Database testing - Software Testing - Test coverage - Test database generation

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.

Autores: Raquel Blanco / Javier Tuya / Claudio de la Riva / 
Palabras Clave: Cypher - modelo conceptual - modelo de defectos - Neo4j - Pruebas sobre bases de datos orientadas a grafos

The management of large volumes of data has given rise to significant challenges to the entity reconciliation problem (which refers to combining data from different sources for a unified vision) due to the fact that the data are becoming more un-structured, un-clean and incomplete, need to be more linked, etc. Testing the applications that implement the entity reconciliation problem is crucial to ensure both the correctness of the reconciliation process and the quality of the reconciled data.

In this paper, we have presented a work-in-progress that aims to test applications that implement an entity reconciliation problem to ensure the quality of both the applications and the reconciled data. The approach allows the creation of test models for integration testing, taking into account the problem specification and the data models of the data sources and the solution. These test models are composed of several business rules, called integration rules, which can be used to automatically derive the test requirements. Besides, as the integration rules also describe the business logic of the entity reconciliation process, they can be used to partially derive the implementation of the application.

The proposal is based on two main pillars: MDE and virtual graph. The support of automation of the MDE paradigm allows us to build very scalable solutions at a low cost, whilst the virtual graphs allow us to dynamically build the entity reconciliation solution at runtime.

Autores: J.G. Enríquez / Raquel Blanco / F.J. Domínguez-Mayo / Javier Tuya / M.J. Escalona / 
Palabras Clave:

Probar una aplicación de bases de datos es una tarea laboriosa debido a que su comportamiento no sólo depende de los valores suministrados por el usuario a través de un interfaz, sino que también depende de la estructura y la información almacenada en la base de datos. Por ello, durante el diseño de los casos de prueba se debe considerar tanto la interacción con el usuario como la interacción con la base de datos. Además, la estructura de la base de datos puede tener una gran complejidad, lo que dificulta el diseño de datos de prueba de calidad. Este trabajo describe un enfoque basado en la especificación (caja negra) que guía el diseño de los datos de prueba (entradas del usuario y base de datos de prueba) para una aplicación de bases de datos y que evalúa automáticamente la cobertura alcanzada por dichos datos de prueba. Para ello se modela de forma conjunta la estructura de la base de datos y del interfaz del usuario, dando lugar a un modelo llamado Modelo Integrado de Datos (IDM), y se expresa la funcionalidad requerida mediante un conjunto de reglas de negocio, escritas en términos del IDM, que forman el Modelo de Reglas Integrado (IRM). Posteriormente se aplica un criterio de suficiencia basado en MCDC sobre el IRM para derivar automáticamente las situaciones de interés a probar (requisitos de prueba). Finalmente, se evalúa automáticamente la cobertura alcanzada por los datos de prueba diseñados. El enfoque ha sido aplicado a dos aplicaciones de bases de datos y los resultados muestran que permiten diseñar casos de prueba capaces de detectar fallos significativos.

Autores: Raquel Blanco / Javier Tuya / Rubén V. Seco / 
Palabras Clave: datos de prueba - evaluación de la cobertura - MCDC - model-based testing - pruebas basadas en la especificación - pruebas de caja negra - pruebas sobre bases de datos

– 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: Q1

Autores: Raquel Blanco / José González Enríquez / Francisco J. Domínguez-Mayo / María José Escalona / Javier Tuya / 
Palabras Clave: Early testing - Entity reconciliation - Heterogeneous data sources - Model-Driven Engineering - Software Testing - Specification-based testing

Functional testing of applications that process the information stored in databases often requires a careful design of the test database. The larger the test database, the more difficult it is to develop and maintain tests as well as to load and reset the test data. This paper presents an approach to reduce a database with respect to a set of SQL queries and a coverage criterion. The reduction procedures search the rows in the initial database that contribute to the coverage in order to find a representative subset that satisfies the same coverage as the initial database. The approach is automated and efficiently executed against large databases and complex queries. The evaluation is carried out over two real life applications and a well-known database benchmark. The results show a very large degree of reduction as well as scalability in relation to the size of the initial database and the time needed to perform the reduction. — Datos del artículo — Autores: Javier Tuya, Claudio de la Riva, María José Suárez-Cabal, Raquel Blanco Revista: IEEE Transactions on Software Engineering Year: 2016, Volume: 42, Issue: 10 Pages: 941 – 959, DOI: 10.1109/TSE.2016.2519032 Factor de impacto (JCR 2005): 1,516, Q1 in Computer Science, Software engineering — Nota — Artículo para track Requisitos, Calidad y Pruebas, enviado a otros por conflicto de interés

Autores: Javier Tuya / Claudio de La Riva / María José Suárez-Cabal / Raquel Blanco / 
Palabras Clave: Test coverage of code - Test database reduction - Test design - Testing tools

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.

Autores: Raquel Blanco / Claudio De La Riva / Javier Tuya / 
Palabras Clave: Cypher - modelo de defectos - Neo4j - operadores de mutación - pruebas de mutación - Pruebas sobre bases de datos orientadas a grafos

Una de las tareas más laboriosas que se llevan a cabo durante el diseño de casos de prueba para una aplicación de bases de datos es la preparación de un conjunto adecuado de datos de prueba, el cual permita cubrir los diversos aspectos del comportamiento de dicha aplicación. Estos datos deben incluir la información almacenada en la base de datos y los valores suministrados por el usuario en el interfaz de usuario. En este artículo, se presenta la herramienta DruidaTest, la cual permite guiar la generación de datos de prueba a partir de la especificación del sistema, utilizando un criterio de suficiencia basado en MCDC. Para alcanzar este propósito DruidaTest utiliza un modelo denominado IDM (Integrated Data Model), que integra la estructura de la base de datos y el interfaz de usuario, y un modelo denominado IRM (Integrated Rules Model), que representa la funcionalidad requerida mediante un conjunto de reglas de negocio escritas en términos del IDM. DruidaTest procesa estos modelos para derivar las situaciones de interés a ser probadas (requisitos de prueba), evalúa automáticamente la cobertura alcanzada y proporciona retroalimentación al ingeniero de pruebas para que pueda incrementar la cobertura.

Autores: Raquel Blanco / Javier Tuya / Rubén V. Seco / 
Palabras Clave: datos de prueba - evaluación de la cobertura - Herramienta - MCDC - model-based testing - pruebas basadas en la especificación - pruebas de caja negra - pruebas sobre bases de datos