Experiences in setting up domain-specific model-based testing

Kanstrén, Teemu; Puolitaival, Olli-Pekka; Rytky, Veli-Matti; Saarela, Asmo; Keränen, Janne S.

doi:10.1109/icit.2012.6209957

Cited by 3 publications

(3 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In our previous work we have used DSM to express test cases directly [11] and also to express test models in MBT with a transformation to a specific chosen MBT tool [6]. This means the domain expert is able to build test cases and test models using familiar domain concepts.…”

Section: Domain-specific Modelingmentioning

confidence: 99%

“…Finally, our previous work on creating graphical modelling DSM languages for MBT is also relevant [6]. In the previous work specific modeling languages are built for specific domains and complete model programs are generated, which are challenging to create, maintain and evolve in a graphical code generator not built for the MBT tools notation.…”

Section: Related Workmentioning

confidence: 99%

“…In this subsection we describe the second part of DSM in our MBT context: support for solution domain modeling. In our previous work we have created graphical domain-specific languages for manual test creation [11] and for test modeling for model-based test generation [6]. There approaches were based on using a specific domain-specific modeling tool to build the models separately from the test models.…”

Section: Domain Specific Scripting Languagesmentioning

confidence: 99%

See 2 more Smart Citations

Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation

Kanstrén¹,

Puolitaival

2012

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

We present a model-based testing approach to support automated test generation with domain-specific concepts. This includes a language expert who is an expert at building test models and domain experts who are experts in the domain of the system under test. First, we provide a framework to support the language expert in building test models using a full (Java) programming language with the help of simple but powerful modeling elements of the framework. Second, based on the model built with this framework, the toolset automatically forms a domain-specific modeling language that can be used to further constrain and guide test generation from these models by a domain expert. This makes it possible to generate a large set of test cases covering the full model, chosen (constrained) parts of the model, or manually define specific test cases on top of the model while using concepts familiar to the domain experts

show abstract

Section: Domain-specific Modelingmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Domain Specific Scripting Languagesmentioning

confidence: 99%

See 1 more Smart Citation