From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation

Author

Chimisliu, Valentin ; Schwarzl, Christian ; Peischl, Bernhard

Author_Institution

Inst. for Software Technol., Techn. Univ. Graz, Graz, Austria

fYear

2009

fDate

24-25 Aug. 2009

Firstpage

173

Lastpage

178

Abstract

A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of software-enabled systems in the automotive industry. In this article we report on transforming UML Statecharts to the formal language LOTOS. The successful usage of UML Statecharts in our industrial setting and the availability of mature research prototypes for test case generation supporting LOTOS suggest this transformation. Our transformation manages to preserve the semantics of the UML Statechart, allows for treatment of UML-like events, addresses the communication between various models and likewise preserves the atomicity of transitions in the UML Statechart. Moreover, we present first results on the test case generation for our industrial application.

Keywords

Unified Modeling Language; automobile industry; formal languages; program testing; programming language semantics; LOTOS; UML statecharts; automotive industry; formal language; semantics preserving model transformation; software-enabled systems; testing theory; Application software; Automatic testing; Automotive engineering; Buffer storage; Computer industry; Formal specifications; Prototypes; Software quality; Unified modeling language; Vehicles; LOTOS; UML Statechart; test case generation;

fLanguage

English

Publisher

ieee

Conference_Titel

Quality Software, 2009. QSIC '09. 9th International Conference on

Conference_Location

Jeju

ISSN

1550-6002

Print_ISBN

978-1-4244-5912-4

Type

conf

DOI

10.1109/QSIC.2009.31

Filename

5381478