This tool takes in an SQL query (as a string) and returns MC/DC coverage rules for that query. If the query contains an error, this tool will throw an appropriate exception, which clearly indicates what went wrong.
The implementation is based on the following paper: Tuya, Javier, María José Suárez‐Cabal, and Claudio De La Riva. "Full predicate coverage for testing SQL database queries." Software Testing, Verification and Reliability 20, no. 3 (2010): 237-288.
Please do the following to use our tool:
- Make sure
Java 8+is installed on your machine - Make sure
Maven 3.3.9+is installed on your machine - Clone our repository
- Open our tool in your favourite IDE
- Go to the
CoverageRuleGeneratorclass and change the input query string. Here is an example of how you would use this:
import CoverageRuleGenerator;
// ...
String query = "Select Name, Address FROM Customers WHERE balance > 1000";
Set<String> coverageRules = CoverageRuleGenerator.generateRules(query);
// Use the generated coverage rules- Enjoy the coverage rules generated for the provided query.
This tool is part of the EvoSQL project, a search-based algorithm that generates test data for SQL queries. See our ICSE 2018 paper: Castelein, J, Aniche, M, Soltani, M, Panichella, A & van Deursen, A 2018, Search-Based Test Data Generation for SQL Queries. in Proceedings of the 40th International Conference on Software Engineering. pp. 1220-1230, ICSE 2018, Gothenburg, Sweden, 27/05/18. https://doi.org/10.1145/3180155.3180202
EvoSQL source code is available at https://github.com/serg-delft/evosql.
This project is licensed under Apache License 2.0.