MODELS 2023
Sun 1 - Fri 6 October 2023 Västerås, Sweden

Testing is essential for assessing the correctness of software systems. Metamorphic testing (MT) is an approach especially suited when the system under test lacks oracles, or they are expensive to compute. However, creating an MT environment for a specific domain (e.g., cloud simulation, model transformation, machine learning) requires substantial effort.

To alleviate these difficulties, we present a model-driven tool that automates the construction of MT environments. Starting from a meta-model with the domain concepts, and a description of the domain execution environment, our tool produces an MT environment featuring comprehensive support for the MT process. This includes the definition of domain-specific metamorphic relations, their evaluation, detailed reporting of the testing results, and the automated search-based generation of follow-up test cases. This paper illustrates the tool on a case-study in the domain of video streaming APIs. A video showcasing the tool is available at https://youtu.be/DeuIW6V4LaQ.

Fri 6 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
Session C7: Testing with Models & Workflow ModelingJournal-first / Tools and Demonstrations at 301
10:30
22m
Talk
Gotten: A Model-driven Solution to Engineer Domain-specific Metamorphic Testing EnvironmentsTool Demo
Tools and Demonstrations
Pablo Gómez-Abajo Universidad Autónoma de Madrid, Pablo C Canizares Autonomous University of Madrid, Spain, Alberto Núňez University Complutense of Madrid, Spain., Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print
10:52
22m
Talk
MMT: Mutation Testing of Java Bytecode with Model TransformationTool Demo
Tools and Demonstrations
Christoph Bockisch Philipps-Universität Marburg, Daniel Neufeld , Gabriele Taentzer Philipps-Universität Marburg
11:15
22m
Talk
Business process modeling language selection for research modelersJ1ST
Journal-first
Siamak Farshidi Utrecht University, Izaak Beer Kwantes , Slinger Jansen Utrecht University, Netherlands
11:37
22m
Talk
Scientific Workflow Execution in the Cloud using a Dynamic Runtime ModelJ1ST
Journal-first
Johannes Erbel , Jens Grabowski University of Göttingen