Sciweavers

QSIC
2009
IEEE

From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation

14 years 5 months ago
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled 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-LOTOS; UML Statechart; test case generation;
Valentin Chimisliu, Christian Schwarzl, Bernhard P
Added 21 May 2010
Updated 21 May 2010
Type Conference
Year 2009
Where QSIC
Authors Valentin Chimisliu, Christian Schwarzl, Bernhard Peischl
Comments (0)