A domain-specific language for model mutation and its application to the automated generation of exercises |
| |
Affiliation: | 1. Amrita Center for Cybersecurity Systems & Networks, Amrita School of Engineering, Amritapuri, Amrita Vishwa Vidyapeetham, Amrita University, India;2. Department of Computer Science and Engineering, State University of New York at Buffalo, USA |
| |
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. |
| |
Keywords: | Model-Driven Engineering Domain-Specific Languages Model mutation Education Automatic exercise generation and correction |
本文献已被 ScienceDirect 等数据库收录! |
|