ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications

Testing database applications using coverage analysis and mutation analysis

“…Since the framework relies on identifying important control-path constraints of the application and the constraints for killing mutants, the constraint generated so far may result in a satisfiable assignment that will not be able to kill all the mutants with respect to the given database state. Our framework SynConSMutate leverages our basic work [54] as discussed in Chapter 3 and generates test cases which include both program inputs and synthetic data for database applications where the database entries are absent (or insufficient).…”

“…For database application, SQL mutation operators have been developed [8,13] and then coverage criteria of isolated SQL statements [51] have been defined separately. Our work [54] combines the coverage criteria and mutation analysis in such a way that test cases with high coverage and high mutation score are generated automatically. The primary challenge addressed in our work is the consideration of database applications where the coverage criteria depends on the application language while the mutation score relies only on the embedded query language.…”

“…In this thesis, we leverage our basic approach [54] and develop a new approach [61] which automatically generates test cases and synthetic data if required. The generated data, in our approach, will help to improve both structural coverage and mutation score of the generated test cases.…”