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 safet...Show MoreMetadata
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 process 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.
Published in: 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
Date of Conference: 09-11 February 2015
Date Added to IEEE Xplore: 12 November 2015
Electronic ISBN:978-989-758-136-6
Conference Location: Angers, France