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

by Willibald Krenn, Rupert Schlick

Released as a report .

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)
Read Archived PDF
Preserved and Accessible
Type  report
Stage   submitted
Date   2016-01-26
Version   v1
Language   en ?
Number  TR 2016-1
arXiv  1601.06974v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 38234e89-1ca4-472b-942f-9e304c1b77aa
API URL: JSON