Mutation-driven Test Case Generation Using Short-lived Concurrent Mutants -- First Results

Willibald Krenn,Rupert Schlick
DOI: https://doi.org/10.48550/arXiv.1601.06974
2016-12-21
Abstract:In the context of black-box testing, generating test cases through model mutation is known to produce powerful test suites but usually has the drawback of being prohibitively expensive. This paper presents a new version of the tool MoMuT::UML (<a class="link-external link-http" href="http://www.momut.org" rel="external noopener nofollow">this http URL</a>), which implements a scalable version of mutation-driven test case generation (MDTCG). It is able to handle industrial-sized UML models comprising networks of, e.g., 2800 interacting state machines. To achieve the required scalability, the implemented algorithm exploits the concurrency in MDTCG and combines it with a search based generation strategy. For evaluation, we use seven case studies of different application domains with an increasing level of difficulty, stopping at a model of a railway station in Austria's national rail network.
Software Engineering
What problem does this paper attempt to address?