New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific Languages
summary
Proposes an automated pipeline that generates metamorphic testing environments for DSLs, implemented as the gotten DSL and an Eclipse plugin that uses EMF and Xtext. It defines MRs with input/output features expressed in OCL, delegates execution mapping to a DSL semantic expert, and runs tests against a CloudSim-backed data‑center DSL, checking MR pre/postconditions and reporting passed/failed pairs. Prototype generates follow-up cases via OCL-based model finding and currently demonstrates feasibility though work remains on richer generation and processor comparisons.
AI-written summary · about
chapters (9)
- 0:00Intro
- 0:11Outline
- 0:25Introduction: Motivation
- 1:41Overview of the approach
- 4:11The gotten DSL: Metamodel
- 5:14The gotten DSL: simple program
- 5:45Tool support
- 6:44Conclusions
- 6:58Future work
related talks
13mTowards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
29mIntegrating Language Engineering into the Software Development Process
38mDSLs, Code Generation, and New Domains for Ruby
44mEffective Load Testing with DSL-Based Open Source Tools
23mMetamorphic Testing
53mDeveloping DSLs in a pragmatic way
55mMuch ado about testing
53mDomain Specifc Languages