Metody a nástroje pro generování testů pro HiL testování

Bc. Veronika HOUSAROVÁ

Diplomová práce

Methods and software tools for generating test cases during HiL testing

Anotace:

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.

Abstract:

This 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.

Klíčová slova

Testovací proces, specifikace testu, MCDC, klasifikační strom, CTE XL

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 11. 5. 2012

Zveřejnit od: 11. 5. 2012

Obhajoba závěrečné práce

• Vedoucí: Ing. Michal Kubík, Ph.D.

ZÁPADOČESKÁ UNIVERZITA V PLZNI

Fakulta elektrotechnická

Magisterský studijní program / obor:
Elektrotechnika a informatika / Komerční elektrotechnika