A Method for Automated Test Data Generation for Units using Classes of Qt Framework in C++ Projects

Qt Framework is well known for its usability in developing high-quality systems using C++. The need for guaranteeing the quality of safety-critical systems increases dramatically. This paper presents the UT4UQ (unit testing for units using Qt) method for automated test data generation of units using classes of Qt Framework. The key idea of UT4UQ is to add a source code pre-processing phase to concolic testing method for finding constructors of Qt class parameters. Those constructors are used by concolic testing method to generate the test driver for executing the test data generated during the test data generation process. Generating test drivers is an essential step in concolic testing method for executing the generated test data and calculating the corresponding coverage. We have implemented UT4UQ in a tool for performing experiments to show the effectiveness of the proposed method. We give some discussions in the paper about both UT4UQ and the experimental results.