This paper has been written for a 10 ECTS course at the University of Twente and has been published in the Proceedings of the 13th TSConIT.

Testing and verification are mandatory when it comes to creating quality software. In order to create a good testing environment, one needs to create a lot of test cases, and typically this is done by hand. This research will reduce the manual effort by creating a model-based test case generator for source code analysers. Using this generator, creating a suite of test cases will become less effort-consuming and less error-prone.

The project delivers, as a proof of concept, a test case generator for an analyser that discovers data races based on lock-based synchronization. This test case generator is generalized to a model-based test case generator, which can be specialized to test case generators for different kinds of source code analysers.

Download this paper.

Tagged with:

Leave a Reply

Your email address will not be published. Required fields are marked *