Tanszéki konzulens: 

Micskei Zoltán tanszékvezető helyettes, docens Szoba: IB419 Tel.: +36 1 463-3594 Email: micskeiz (*) mit * bme * hu

Szoftveres rendszerek működésének az iparban használt egyik leggyakoribb módszere a tesztelés. A részletes tesztelés azonban sok időt és erőforrást igényel, így sokféle technika és eszköz létezik a tesztelés támogatására. Ezek alapszinten a tesztek futtatásának automatizálását végzik, azonban léteznek olyan fejlett algoritmusok, amiknek a segítségével modellekből vagy akár a forráskódból lehet teszteseteket vagy bemeneteket generálni (szimbolikus végrehajtás vagy a mesterséges intellegencia tantárgyból ismert keresés-alapú technikák segítségével). A feladat során ilyen eszközöket lehet megismerni, összetett ipari példákon alkalmazni, valamint új eszközöket és algoritmusokat fejleszteni.

Példák tesztgeneráló eszközökre: Diffblue, Conformiq, KLEE