Application of the Model Based Testing on a HiL Platform

Cílem práce je seznámit čtenáře s přínosem testování založeného na modelu testovaného systému (anglicky Model based testing) a následně aplikovat dané metody na HiL (hardware in the loop) platformu. Práce představuje nástroj MaTeLo, ve kterém byl vytvořen funkční model systému pro generování testovacích případů a nástroj PROVEtech:TA, který spouští a vyhodnocuje vygenerované případy. Během této práce byla zprovozněna platforma pro testování infotainment systémů pomocí MBT testování. Tato platforma bude sloužit pro prezentaci jak klasického testování, tak v této práci představeného MBT testování.ObhájenoThe aim of this work is to familiarize the readers with the benefits of the model based testing and then apply these methods to hardware in the loop platform. In this work MaTeLo and PROVEtech:TA tools are presented. The usage model is created in MaTeLo and then test cases are generated from that model. These test cases are imported to PROVEtech:TA and then executed and verified. The platform for testing infotainment systems was commissioned during this work. This platform serves as presentation of both the classical and the model based testing