DSL composition for Model-Based Test generation

Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


Domain specific languages (DSL) which describe reactive systems generally have a need for systematic generation of tests for their models. During the design of a DSL there is a lack of support for its integration with existing model based test generation tools. In this paper, we show how this integration can be conceptualized and systematized. We introduce a framework for composing DSLs for reactive systems, with a particular DSL for Model Based Testing called SATEL (Semi-Automatic Testing Language). This DSL composition is achieved by composing both the syntaxes of the two DSLs and their semantics. The result of this composition is also a language where it is possible to express models in the target DSL and test specifications for those models. The semantics of the composed language corresponds to the generation of test cases for models expressed in the target DSL.We finish the paper by analyzing the compositional framework we obtained in terms of its applicability to other target DSLs.

Original languageEnglish
Number of pages10
JournalElectronic Communications of the EASST
Issue number10
Publication statusPublished - 2009


  • DSL composition
  • Inference rules
  • Language engineer
  • Model Based Testing
  • Test generation


Dive into the research topics of 'DSL composition for Model-Based Test generation'. Together they form a unique fingerprint.

Cite this