Full predicate coverage for testing SQL database queries

In the field of database applications a considerable part of the business logic is implemented using a semi-declarative language: the Structured Query Language (SQL). Because of the different semantics of SQL compared to other procedural languages, the conventional coverage criteria for testing are not directly applicable. This paper presents a criterion specifically tailored for SQL queries (SQLFpc). It is based on Masking Modified Condition Decision Coverage (MCDC) or Full Predicate Coverage and takes into account a wide range of the syntax and semantics of SQL, including selection, joining, grouping, aggregations, subqueries, case expressions and null values. The criterion assesses the coverage of the test data in relation to the query that is executed and it is expressed as a set of rules that are automatically generated and efficiently evaluated against a test database. The use of the criterion is illustrated in a case study which includes complex querie

Coverage-aware test database reduction

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 reductio

Generación automática de pruebas de validación de prácticas de sistemas distribuidos

La corrección de prácticas de sistemas distribuidos es una tarea costosa para el profesor que evalúa dichos ejercicios. Esta tarea puede ser sistematizada mediante la ejecución de tests automatizados cuya elaboración representa una alta inversión de tiempo para cada práctica a corregir. Así surge la necesidad de desarrollar una herramienta que, a partir de pequeñas especificaciones proporcionadas por el usuario, genere fácil y rápidamente dichos scripts libres de errores de sintaxis. Con este fin, se ha desarrollado una herramienta web flexible, sencilla de utilizar y que permite ahorrar tiempo dedicado a la elaboración de scripts.Peer Reviewe

Construction of nh-unprotected spiropyrrolidines and spiroisoindolines by [4+1] cyclizations of γ-azidoboronic acids with cyclic n-sulfonylhydrazones

Financial support of this work by Ministerio de Ciencia e Innovaciln of Spain (Agencia Estatal de Investigación: PID2019-107580GB-I00/AEI/10.13039/501100011033)

Synthesis of spirolactones from carbonyls via carboborylation of N-sulfonylhydrazones with alkoxycarbonylalkylboronic acids

Financial support of this work by Ministerio de Ciencia e Innovación of Spain (Agencia Estatal de Investigación: grant MCINN-23-PID2022-140635NB-I00 financed by MCIN/AEI /10.13039/501100011033/FEDER, UE) and Agencia de Ciencia, Competitividad Empresarial e Innovación del Principado de Asturias (Sekuens): grant IDE/2024/000709

Incremental test data generation for database queries

Testing database applications is a complex task since it involves designing test databases with meaningful test data in order to reveal faults and, at the same time, with a small size in order to carry out the testing process in an efficient way. This paper presents an automated approach to generating test data (test relational databases and test inputs for query parameters) for a set of SQL queries, with the aim of covering test requirements as obtained from said queries. The test data generation follows an incremental approach where, in each increment, test data are generated to cover a test requirement by re-using test data previously generated for other test requirements. The test data generation for each test requirement is formulated as a constraint satisfaction problem, where constraints are derived from the test requirement, initial database states and previously generated test data. The generation process is fully automated and supports the execution on complex queries and databases. Evaluation is carried out on a real life application, and the results show that small-size generated test relational databases achieve high coverage scores for the queries under test in a short generating time.Projects TIN2013-46928-C3-1-R and TIN2016- 76956-C3-1-R, funded by the Spanish Ministry of Science and Technology, and GRUPIN14-007, funded by the Principality of Asturias (Spain) and ERDF funds

Cascade and multicomponent synthesis of structurally diverse 2-(pyrazol-3-yl)pyridines and polysubstituted pyrazoles

Financial support of this work by the Ministerio de Economia y Competitividad (MINECO) of Spain: Grant CTQ2016-76794-P (AEI/FEDER, UE) and Consejeria de Empleo, Industria y Turismo del Principado de Asturias (Spain) (grant IDI/2018/000231) is gratefully acknowledged. A Clarin postdoctoral fellowship (Principado de Asturias, Spain) to A. J. and a FICYT (Principado de Asturias, Spain) predoctoral fellowship to R. B. are gratefully acknowledged

MDICA: Maintenance of Data Integrity in Column-oriented database Applications

Current information technologies generate large amounts of data for management or further analysis, storing it in NoSQL databases which provide horizontal scaling and high performance, supporting many read/write operations per second. NoSQL column-oriented databases, such as Cassandra and HBase, are usually modelled following a query-driven approach, resulting in denormalized databases where the same data can be repeated in several tables. Therefore, maintaining data integrity relies on client applications to ensure that, for data changes that occur, the affected tables will be appropriately updated. We devise a method called MDICA that, given a data insertion at a conceptual level, determines the required actions to maintain database integrity in column-oriented databases. This method is implemented for Cassandra database applications. MDICA is based on the definition of (1) rules to determine the tables that will be impacted by the insertion, (2) procedures to generate the statements to ensure data integrity and (3) messages to warn the user about errors or potential problems. This method helps developers in two ways: generating the statements needed to maintain data integrity and producing messages to avoid problems such as loss of information, redundant repeated data or gaps of information in tables.This work was supported in part by projects TIN2016–76956-C3–1-R funded by the Spanish Ministry of Economy and Competitiveness and PID2019–105455GB-C32 funded by MCIN/ AEI/10.13039/501100011033

Synthesis of Pyrrolidines by a Csp3‐Csp3/Csp3‐N Transition‐Metal‐Free Domino Reaction of Boronic Acids with γ‐Azido‐ N ‐Tosylhydrazones

Financial support of this work by Ministerio de Economía y Competitividad (MINECO) of Spain:Grants CTQ2016- 76794-P (AEI/FEDER, UE) and PID2019-107580GB-I00 and Consejería de Empleo, Industria y Turismo del Principado de Asturias (Spain): (grant IDI/2018/000231). A Clarín postdoctoral fellowship (Principado de Asturias,Spain) to L.F. is gratefully acknowledged