Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, different software variants and large applications. In this paper, a solution will be presented to overcome these hurdles in the area of automotive infotainment systems using domain specific languages in combination with model transformations. This approach is to define specific languages on different abstraction levels. The paper starts with a variant-spanning user interface specification that is structured and formal, but not yet sufficient for automated testing. A model transformation is used to stepwise enrich and refine these models into more specific test models. The approach has been developed at BMW Car IT and is currently used in the development of new infotainment systems. The paper is structured as follows: Section 2 introduces the challenges of test case generation for infotainment systems. Section 3 presents the approach for model-based test case generation and Section 4 gives an outlook on future work and concludes.
Specification based testing of automotive human machine interfaces
Grundlegende Spezifikationen fütr das Testen von fahrzeugspezifischen MMI
2009
8 Seiten, 2 Bilder, 9 Quellen
Aufsatz (Konferenz)
Englisch
Model based development of automotive human machine interfaces
Kraftfahrwesen | 2004
|Model based development of automotive human machine interfaces
Tema Archiv | 2004
|Model Based Development of Automotive Human Machine Interfaces
British Library Conference Proceedings | 2004
|SPECIFICATION FOR TESTING AUTOMOTIVE LAMP ASSEMBLIES
SAE Technical Papers | 2022
SPECIFICATION FOR TESTING AUTOMOTIVE MINIATURE BULBS
SAE Technical Papers | 2009