Abstract:To assure high quality of database applications, testing database applications remains the most popularly used approach. In testing database applications, tests consist of both program inputs and database states. Assessing the adequacy of tests allows targeted generation of new tests for improving their adequacy (e.g., fault-detection capabilities). Comparing to code coverage criteria, mutation testing has been a stronger criterion for assessing the adequacy of tests. Mutation testing would produce a set of mutants (each being the software under test systematically seeded with a small fault) and then measure how high percentage of these mutants are killed (i.e., detected) by the tests under assessment. However, existing test-generation approaches for database applications do not provide sufficient support for killing mutants in database applications (in either program code or its embedded or resulted SQL queries). To address such issues, in this paper, we propose an approach called MutaGen that conducts test generation for mutation testing on database applications. In our approach, we first apply an existing approach that correlates various constraints within a database application through constructing synthesized database interactions and transforming the constraints from SQL queries into normal program code. Based on the transformed code, we generate program-code mutants and SQL-query mutants, and then derive and incorporate query-mutant-killing constraints into the transformed code. Then, we generate tests to satisfy query-mutant-killing constraints. Evaluation results show that MutaGen can effectively kill mutants in database applications, and MutaGen outperforms existing test-generation approaches for database applications in terms of strong mutant killing.

Generating Fully Executable Test Suite Automatically.

TOWARDS EXECUTION IN AUTOMATIC TEST SUITE GENERATION

TUGEN: an Automatic Test Suite Generator Integrating Data-Flow and Control-Flow Methods

EXAMINER-PRO: Testing Arm Emulators Across Different Privileges

An Empirical Study on Automated Test Generation Tools for Java: Effectiveness and Challenges

PTSG: a test generation tool based on extended finite state machine

Towards Scalable Compositional Test Generation

Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests

Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component

Method-Sequence Exploration for Automated Unit Testing of Object-Oriented Programs

Configurable Hybrid Algorithm for Combinatorial Test Suite Generation

TestGenEval: A Real World Unit Test Generation and Test Completion Benchmark

CodeGen-Test: An Automatic Code Generation Model Integrating Program Test Information

Tool-assisted Unit-Test Generation and Selection Based on Operational Abstractions

An Automatic Generation Method of Executable Test Case Using Model-Driven Architecture

Test generation via Dynamic Symbolic Execution for mutation testing

Directed test suite augmentation via exploiting program dependency.

Taming the Beast: Fully Automated Unit Testing with Coyote C++

Automatic Grammar-Based Test Generation.

Combining Dynamic Symbolic Execution, Machine Learning and Search-Based Testing to Automatically Generate Test Cases for Classes

Automatic Test Generation for Mutation Testing on Database Applications.