témavezető: Micskei Zoltán Imre
helyszín (magyar oldal): Méréstechnika és Információs Rendszerek Tanszék helyszín rövidítés: MIT
A kutatási téma leírása:
Napjainkban az informatikai rendszerek egyre meghatározóbb szerepet töltenek be életünkben, így azok megfelelő működése elengedhetetlen. A szoftveralapú rendszerek vizsgálatára sokféle módszert javasoltak, ezek közül az egyik, iparban is igen elterjedt megoldás a szoftvertesztelés. A kézi tesztelés mellett egyre nagyobb hangsúlyt kap az egyes tesztelési feladatok automatizálása is: ez alapszinten a tesztek automatikus végrehajtását jelenti, azonban léteznek jobbára kutatási fázisban lévő módszerek a tesztbemenetek vagy akár a teszt orákulumok automatikus származtatására is.
A tesztgeneráló módszerek egy része a tesztelendő program forráskódjából indul ki, és különböző tesztelési stratégiák alapján tesztbemenetek olyan halmazát választja ki, ami nagy kódlefedettséget ér el vagy adott típusú hibákat fed fel. Ilyen tesztgeneráló módszer például a szimbolikus végrehajtás. Azonban a gyakorlatban a tesztgeneráló módszerek még mindig rengeteg kihívásba ütköznek nagy méretű vagy komplex forráskód esetén.
A témához kapcsolódó kutatási feladatok:
- Empirikus vizsgálatok segítségével azonosítani, hogy pontosan milyen tényezők hátráltatják a jelenlegi tesztgeneráló megoldásokat (akár a nagyméretű, nyílt forráskódú tárhelyek analízisével, akár fejlesztők/tesztelők bevonásával megvalósított kísérletekkel).
- Olyan módszerek és algoritmusok kidolgozása, ami a tesztgeneráló módszerek skálázódását javítja, például a forráskód előzetes feldolgozásával és optimalizálásával.
- Új eszközök fejlesztése olyan programozási nyelvekhez és környezetekhez, amihez jelenleg nem vagy csak korlátozottan érhetők el tesztgeneráló megoldások.
felvehető hallgatók száma: 1
Jelentkezési határidő: 2020-06-15
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).