University of Twente Student Theses


Domain-Specific Language Testing Framework

Buuren, R.A. ten (2015) Domain-Specific Language Testing Framework.

[img] PDF
Abstract:In this report we present a framework for the generation of tests using domain-specific models. These tests can be used to verify the correctness of the artifacts generated using the domain-specific model and systems that use these artifacts. By generating the tests instead of manually developing them, development time is reduced while usability is improved. The test generation process consists of three phases: generalization, generation and specification. In the generation phase the domain-specific model is transformed to an instance of a newly developed generic metamodel, to abstract away from language-specific features. In the generation phase, generic test cases are generated that achieve branch/condition coverage. In the specification phase the generic test cases are transformed to executable test code. By keeping the test cases generic, several types of tests can be generated using the same generic test case. We show that the developed framework supports a multitude of languages and resulting test types. We also discuss several areas where the framework can be extended with addition features. An important lesson learned during the research and development is that a DSL (testing) framework should be setup modular, extensible and small.
Item Type:Essay (Master)
Topicus BV, Zwolle, The Netherlands
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page