Abstract
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
Originalsprache | englisch |
---|---|
Titel | The 8th Int. Conference on Quality Software 2009 (QSIC '09) |
Herausgeber (Verlag) | . |
Seitenumfang | 6 |
Publikationsstatus | Veröffentlicht - 2009 |
Veranstaltung | International Conference on Quality Software: QSIC 2009 - Jeju, Nordkorea Dauer: 24 Aug. 2009 → 25 Aug. 2009 |
Konferenz
Konferenz | International Conference on Quality Software |
---|---|
Land/Gebiet | Nordkorea |
Ort | Jeju |
Zeitraum | 24/08/09 → 25/08/09 |