Authors:
Johannes Iber
;
Nermin Kajtazovic
;
Andrea Höller
;
Tobias Rauter
and
Christian Kreiner
Affiliation:
Graz University of Technology, Austria
Keyword(s):
UML Testing Profile, UML, Textual Domain-Specific Language, Test Specification Language, Software Testing, Model-Driven Development.
Related
Ontology
Subjects/Areas/Topics:
Applications and Software Development
;
Domain-Specific Modeling and Domain-Specific Languages
;
Frameworks for Model-Driven Development
;
General-Purpose Modeling Languages and Standards
;
Languages, Tools and Architectures
;
Methodologies, Processes and Platforms
;
Model-Based Testing and Validation
;
Model-Driven Software Development
;
Software Engineering
;
Syntax and Semantics of Modeling Languages
Abstract:
The continuous increase of software complexity is one of the major problems associated with the development
of today’s complex technical systems. In particular, for safety-critical systems, which usually require to be
thoroughly verified and validated, managing such a complexity is of high importance. To this end, industry is
utilizing Model-Driven Development (MDD) in many aspects of systems engineering, including verification
and validation activities. Until now many specifications and standards have been released by the MDD community
to support those activities by putting models in focus. The general problem is, however, that applying
those specifications is often difficult, since they comprise a broader scope than usually required to solve specific
problems. In this paper we propose a domain-specific language (DSL) that allows to specify tests from
the UML Testing Profile (UTP). The main contribution is that only particular aspects of UTP are captured,
thereby allowing the MDD pr
ocess to be narrowed to specific needs, such as supporting code generation facilities
for certain types of tests or even specific statements in tests. In the end we show the application of the
DSL using a simple example within a MDD process, and we report on performance of that process.
(More)