Gotten: A Model-driven Solution to Engineer Domain-specific Metamorphic Testing EnvironmentsTool Demo
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 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 22mTalk | 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 22mTalk | 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 22mTalk | Business process modeling language selection for research modelersJ1ST Journal-first Siamak Farshidi Utrecht University, Izaak Beer Kwantes , Slinger Jansen Utrecht University, Netherlands | ||
11:37 22mTalk | Scientific Workflow Execution in the Cloud using a Dynamic Runtime ModelJ1ST Journal-first |