Automated test case generation

Abstract

Software testing is a hot topic in the software development industry as it demands a large investment of time and resources for creating and maintaining the test suite, and possibly for running it as well. One of the alternatives to manual test creation is modelbased testing, which revolves around the idea of automating the test generation process based on software models of the system under test. In the present thesis project, we will generate test cases based on models, assess their overall coverage and apply different minimisation techniques to obtain a reduced test set. We will also compare the impact of the various minimisations and make an effort to determine what has been lost, in terms of fault detection capability, in the process with respect to the complete test set