Muggl: The Muenster Generator of Glass-box Test Cases

Testing is a task that requires much effort, yet it is essential for developing software. Automated test case generation (TCG) promises to relieve humans of manual work. We introduce Muggl (the Muenster generator of glass-box test cases), which is developed at our institute. Muggl generates test cas...

Authors: Majchrzak, Tim A.
Kuchen, Herbert
Division/Institute:European Research Center for Information Systems (ERCIS)
FB 04: Wirtschaftswissenschaftliche Fakultät
Document types:Working paper
Media types:Text
Publication date:2011
Date of publication on miami:29.08.2012
Modification date:05.11.2014
Series:Working Papers / ERCIS - European Research Center for Information Systems, Bd. 10
Edition statement:[Electronic ed.]
Subjects:software test; testing; test case generation; TCG; test automation; test tool
DDC Subject:004: Datenverarbeitung; Informatik
330: Wirtschaft
License:InC 1.0
Language:Englisch
Format:PDF document
URN:urn:nbn:de:hbz:6-39359452290
Permalink:https://nbn-resolving.de/urn:nbn:de:hbz:6-39359452290
Digital documents:ercis_wp_no_10.pdf

Testing is a task that requires much effort, yet it is essential for developing software. Automated test case generation (TCG) promises to relieve humans of manual work. We introduce Muggl (the Muenster generator of glass-box test cases), which is developed at our institute. Muggl generates test cases for Java bytecode. It symbolically executes code and uses constraint solving techniques. While papers on Muggl have already been published, no comprehensive introduction of the tool exist. This working paper fills this gap.