Témák böngészése

Ezen az oldalon a Portálra feltöltött szakdolgozat és diplomaterv témák között böngészhet.

Találatok

Összesen 10 találat.Exportálás Excelbe

Automatikus tesztgenerálás támogatásának vizsgálata

Dr. Micskei Zoltán Imre (MIT)
Honfi Dávid (MSc képzés, mérnök informatikus szak, 2014-2015. tavasz)

Mintaillesztő keretrendszerek funkcionális tesztelése

Semeráth Oszkár (MIT)
Terebesi Dénes (BSc képzés, mérnök informatikus szak, 2014-2015. ősz)

Intraprocedurális vezérlésfolyam-gráfok vizualizációja

Honfi Dávid (MIT)
Németh Zsolt (BSc képzés, mérnök informatikus szak, 2017-2018. tavasz)

Tesztgenerálás támogatása meglévő tesztadatok felhasználásával

Honfi Dávid (MIT)
Csonka Lóránt (BSc képzés, mérnök informatikus szak, 2017-2018. tavasz)

Programgenerálás tesztelő eszközök kiértékelésére

Honfi Dávid (MIT)
Reischl Barnabás (BSc képzés, mérnök informatikus szak, 2017-2018. tavasz)

Biztonságkritikus protokoll tesztelése formális modell alapján

Dr. Majzik István (MIT)
Maizl Noémi (BSc képzés, mérnök informatikus szak, 2018-2019. ősz)

Tesztelést segítő megoldások LabVIEW alkalmazásokhoz

Dr. Micskei Zoltán Imre (MIT)
Szabó Áron (BSc képzés, mérnök informatikus szak, 2018-2019. ősz)

Tesztelés támogatása a KLEE tesztgenerátorral

Dr. Micskei Zoltán Imre (MIT)
Kubriczky Ádám (BSc képzés, mérnök informatikus szak, 2018-2019. ősz)