Specification based testing of automotive human machine interfaces

Abstract: 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, we present a solution to overcome these hurdles in the area of automotive infotainment systems using domain specific languages in combination with model transformations. Our aps to define specific languages on different abstraction levels. We start with a variant-spanning user interface specification that is structured and formal, but not yet sufficient for automated testing. We use model transformation 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.

• Type: Journal
• Year: 2009
• Where: GI
• Authors: Holger Grandy, Sebastian Benz
• Keywords: GI 2009, Infotainment Systems, Model Transformation, Specific Languages, Theoretical Computer Science