Duan, LinshuHussmann, HeinrichHöfer, AlexanderFähnrich, Klaus-PeterFranczyk, Bogdan2019-01-112019-01-112010978-3-88579-270-3https://dl.gi.de/handle/20.500.12116/19415While model-based testing is widely-used for function tests, testing the human-machine interface (HMI) remains a manual, demanding and time consuming task. Numerous research efforts have been addressing model-based HMI testing in the last years. However the existing approaches cannot serve our test purposes or needs. In the research project at AUDI AG a model-based testing approach is proposed for testing both the logical behavior and the graphical interface of automotive infotainment HMIs. In this paper we focus on menu behavior tests and introduce some important details of the test-oriented specification model. A test-oriented HMI specification model describes the expected menu behavior and contains needed information for the test generation. Methods of test generation and execution will be introduced briefly.enText/Conference Paper1617-5468