Abstract
Domain-Specific Modelling (DSM) has evidently increased productivity
and quality in software development. Although productivity and quality gains
are remarkable, the modelled applications still need to be tested prior to
release. Although traditional testing approaches can be applied also in the
context of DSM for testing generated applications, maintaining a comprehensive
test suite for all developed applications is tedious. In this paper, the
feasibility of utilizing Model-Based Testing (MBT) to generate a test suite
for application models is studied. The MBT is seen as a prominent approach for
automatically generating comprehensive test cases from models describing
externally visible behaviour of a system under testing (SUT). We study the
feasibility by developing a domain-specific modelling language and a code
generator for a coffee machine laboratorial case and apply MBT to generate a
test suite for the application models. The gathered experiences indicate that
there are no technical obstacles but the feasibility of the testing approach
in large-scale models and languages is still questionable.
Original language | English |
---|---|
Title of host publication | 9th OOPSLA Workshop on Domain-Specific Modeling. Orlando 25-26.10.2009 |
Publisher | Association for Computing Machinery ACM |
Number of pages | 6 |
Publication status | Published - 2009 |
MoE publication type | A4 Article in a conference publication |
Event | 9th OOPSLA Workshop on Domain-Specific Modeling - Orlando, United States Duration: 25 Oct 2009 → 26 Oct 2009 |
Workshop
Workshop | 9th OOPSLA Workshop on Domain-Specific Modeling |
---|---|
Country/Territory | United States |
City | Orlando |
Period | 25/10/09 → 26/10/09 |
Keywords
- Model-driven development
- verification
- test generation