Abstract
Model-based testing is a technique for generating test
cases based on a model of the system under test.
Typically the model is expressed in a specific notation
of the test tool, using a generic notation intended to
describe any system under test. In this paper we present
experiences in using a domain-specific modeling layer on
top of the specific model-based testing tools. This
allows for easier change of the used testing tool, while
providing a more familiar modeling notation in terms of
the domain concepts familiar to the user. Our experiences
show how this can significantly help in adopting the
model-based testing approach and provide improved test
results
| Original language | English |
|---|---|
| Title of host publication | 2012 IEEE International Conference on Industrial Technology, ICIT 2012 |
| Publisher | IEEE Institute of Electrical and Electronic Engineers |
| Pages | 319-324 |
| Number of pages | 6 |
| ISBN (Electronic) | 978-1-4673-0342-2, 978-1-4673-0341-5 |
| ISBN (Print) | 978-1-4673-0340-8 |
| DOIs | |
| Publication status | Published - 2012 |
| MoE publication type | A4 Article in a conference publication |
| Event | 2012 IEEE International Conference on Industrial Technology, ICIT 2012, Athens, 19 - 21 March 2012 - Duration: 1 Jan 2012 → … |
Conference
| Conference | 2012 IEEE International Conference on Industrial Technology, ICIT 2012, Athens, 19 - 21 March 2012 |
|---|---|
| Period | 1/01/12 → … |
Keywords
- formal specification
- program testing
- software tools
- domain-specific model-based testing
- test case generation
- system under test
- test tool
- generic notation
- domain-specific modeling layer
- specific model-based testing tools
- modeling notation
- Generators
- Encoding
- Testing