Methods and software tools for generating test cases during HiL testing

Práce se zabývá principy metod použitelných pro generování testů při HiL testování. V úvodní části je popsáno, jak důležité je testování, V-model, testovací proces a princip HiL testování. V další části jsou sepsány metody pro specifikaci testu jak formální techniky tak i neformální techniky. V poslední části je popsána základní verze programu CTE XL a je zde ukázka vygenerovaného testu.Katedra technologií a měřeníObhájenoThis thesis deals with principles and methods for generating tests for hardware in the loop testing (HiL). In the introduction the importance of testing, a V-model of the development and testing processes and the principles of HiL testing are mentioned. This is followed by the description of the methods for test specification. Both formal and informal techniques are included. In the last section the basic version of the CTE XL (Classification Tree Editor eXtended Logics) is described and in this program is generated example of the test case