Title
A domain-specific language for model mutation and its application to the automated generation of exercises.
Abstract
Model-Driven Engineering (MDE) is a software engineering paradigm that uses models as main assets in all development phases. While many languages for model manipulation exist (e.g., for model transformation or code generation), there is a lack of frameworks to define and apply model mutations.A model mutant is a variation of an original model, created by the application of specific model mutation operations. Model mutation has many applications, for instance, in the areas of model transformation testing, model-based testing or education.In this paper, we present a domain-specific language called Wodel for the specification and generation of model mutants. Wodel is domain-independent, as it can be used to generate mutants of models conformant to arbitrary meta-models. Its development environment is extensible, permitting the incorporation of post-processors for different applications. In particular, we describe Wodel-Edu, a post-processing extension directed to the automated generation of exercises for particular domains and their automated correction. We show the application of Wodel-Edu to the generation of exercises for deterministic automata, and report on an evaluation of the quality of the generated exercises, obtaining overall good results. HighlightsWe propose the language Wodel for meta-model independent model mutation.Wodel is extensible with post-processors for different applications.We show an application for the automatic generation of self-assessment exercises.A preliminary evaluation of the exercises quality shows good results.
Year
DOI
Venue
2017
10.1016/j.cl.2016.11.001
Computer Languages, Systems & Structures
Keywords
Field
DocType
Model-Driven Engineering,Domain-Specific Languages,Model mutation,Education,Automatic exercise generation and correction
Domain-specific language,Model transformation,Programming language,Model-driven architecture,Computer science,Development environment,Automaton,Code generation,Extensibility
Journal
Volume
Issue
ISSN
49
C
1477-8424
Citations 
PageRank 
References 
3
0.39
30
Authors
3
Name
Order
Citations
PageRank
Pablo Gómez-Abajo151.78
Esther Guerra250445.53
Juan de Lara31596132.28