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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Specification based testing of automotive human machine interfaces


    Additional title:

    Grundlegende Spezifikationen fütr das Testen von fahrzeugspezifischen MMI


    Contributors:


    Publication date :

    2009


    Size :

    8 Seiten, 2 Bilder, 9 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Model based development of automotive human machine interfaces

    Gentner,H. / Ehrmann,M. / Salzmann,C. et al. | Automotive engineering | 2004


    Model based development of automotive human machine interfaces

    Gentner, Hariolf / Ehrmann, Michael / Salzmann, Christian | Tema Archive | 2004


    Model Based Development of Automotive Human Machine Interfaces

    Gentner, H. / Ehrmann, M. / Salzmann, C. | British Library Conference Proceedings | 2004