Mutation-driven Test Case Generation Using Short-lived Concurrent
Mutants -- First Results
release_j572ddeuxvgghoghbpkjib5bqy
by
Willibald Krenn, Rupert Schlick
2016
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 (www.momut.org), 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.
In text/plain
format
Archived Files and Locations
application/pdf 1.1 MB
file_4u7k74nt5falnlf5ysjtva6azm
|
arxiv.org (repository) web.archive.org (webarchive) |
access all versions, variants, and formats of this works (eg, pre-prints)