Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages

Workshop on Domain-Specific Modeling Languages

Daniel A. Sadilek ; Stephan Weißleder

Others  :  http://CEUR-WS.org/Vol-324/paper2.pdf
PID  :  22275

来源: CEUR

【 摘 要 】

The abstract syntax of domain-specific modeling languages (DSMLs) canbe defined with metamodels. Metamodels can contain errors. Nevertheless, they are not tested systematically and independently of other artifacts like models or tools de- pending on the metamodel. Consequently, errors in metamodels are found late—not before the dependent artifacts have been created. Since all dependent artifacts must be adapted when an error is found, this results in additional error correction effort. This effort can be saved if the metamodel of a DSML is tested early. In this paper, we argue for metamodel testing and propose an approach that is based on understanding a metamodel as a specification of a set of models. Example models are given by a user to test if the set of models specified by a metamodel is correct. We present an example