Test4Data Toolset

Test4Data Architecture
 

SQLRules

Coverage Evaluation for SQL Database Queries

Implements the SQLFpc and SQLMutation coverage criteria. Consists of a REST API Service, a Web Client and a Desktop Application to evaluate the coverage.

SQLFpc

Coverage Criterion for testing SQL database queries

Generates a set of executable rules to evaluate the full Predicate or MCDC coverage for SQL queries against the test database.

SQLMutation

Generation of mutants for SQL database queries

Generates a set of mutated SQL queries to evaluate their test effectiveness in relation to a database.

QAShrink

Query-Aware Shrink Test Databases

Starting from an initial database and the queries executed, generates a very small database that preserves the SQLFpc coverage.

XDBSchema

Generation of a Database Schema in JSON and XML

Generates the database schema in the format required by SQLFpc and SQLMutation for a database accesible from a JDBC connection.

DruidaTest

Specification-Based Testing of Database Applications

Automatically evaluates the test coverage with repect to the specification of the interaction between the user interface and the application database.