Herramientas desarrolladas por el grupo de investigación para prueba de software con bases de datos. TdRules|A set of tools for database software testing developed by the research group. TdRules

{{title}}

Test4Data Architecture
 

TdRules

Evaluación de Cobertura para pruebas de consultas de base de datosTest Coverage Evaluation for database queries

Implementación de los criterios de cobertura FPC y SQLMutation. Proporciona un servicio accesible via API REST, un cliente Web y una aplicación de escritorio para evaluar la cobertura (antes denominado SQLRules). Implements the FPC and SQLMutation coverage criteria. Consists of a REST API Service, a Web Client and a Desktop Application to evaluate the coverage (formerly named SQLRules).

FPC

Criterio de Cobertura para prueba de consultas SQLCoverage Criterion for testing SQL database queries

Genera reglas ejecutables para evaluar la Cobertura Full Predicate o MCDC para consultas SQL respecto de la base de datos de prueba. Generates a set of executable rules to evaluate the Full Predicate or MCDC Coverage for SQL queries against the test database.

SQLMutation

Generación de mutantes para consultas SQLGeneration of mutants for SQL database queries

Genera un conjunto de consultas SQL mutadas para la evaluar la efectividad de las pruebas respecto de una base de datos. Generates a set of mutated SQL queries to evaluate their test effectiveness in relation to a database.

QAShrink

Reducción de Bases de Datos query-awareQuery-Aware Shrink Test Databases

A partir de una base de datos inicial y las consultas que son ejecutadas sobre ella genera una base de datos de tamaño muy reducido que preserva la cobertura FPC. Starting from an initial database and the queries executed, generates a very small database that preserves the FPC coverage.

XDBSchema

Generación del Esquema de una Base de Datos en JSON y XMLGeneration of a Database Schema in JSON and XML

Genera el esquema en el formato requerido por FPC y SQLMutation para una base de datos accesible mediante una conexión JDBC. Generates the database schema in the format required by FPC and SQLMutation for a database accesible from a JDBC connection.

DruidaTest

Pruebas Basadas en la Especificación de la interfaz de usuarioSpecification-Based Testing of Database Applications

Evalua automáticamente la cobertura de las pruebas respecto de la especificación de la interacción del interfaz de usuario y la base de datos de una aplicación. Automatically evaluates the test coverage with repect to the specification of the interaction between the user interface and the application database.