témavezető: Jász Judit
társ-témavezető: Ferenc Rudolf
helyszín (magyar oldal): SZTE helyszín rövidítés: SZTE
A kutatási téma leírása:
Az automatikus program javítás gondolata egy igen gyorsan fejlődő kutatási területe az informatika tudománynak. Több eszköz és megvalósítás létezik már most is arra, hogy egy adott forráskódban hibákat azonosítsunk be, illetve ezen hibákra megoldási javaslatokat kapjunk. Ugyanakkor az igény arra, hogy ezek a hibajavaslatok tényleg relevánsak és megbízhatóak legyenek, és feleslegesen ne zökkentsék ki a programozót a munkájukból, mindenképp egy nagyon fontos szempont, amelyre figyelve újabb és újabb megoldásokat adhatunk.
Különösen fontos a biztonsági szempontból veszélyes hibák megtalálása és javítása. Ehhez fel kell mérjük, mely pontok azok a programban, amelyeket mindenképp javítani kell ahhoz, hogy elkerüljük a program fatális leállásait, amit okozhat pl. egy nullával való osztás, vagy egy helytelenül tömb indexelés). A kérdéses pontok megtalálása után pedig meg kell adni azt a programjavítást, ami amellett, hogy javítja a hibát, a program működésének egyéb pontjait nem módosítja.
A kutatási téma keretein belül vizsgálandó, hogy hogyan lehet minél nehezebben felismerhető hibákat felismerni, illetve hogyan lehet a forráskód hibák javításait is automatikusan előállítani. Ezen felül módszereket lehet kidolgozni arra, hogy ezeket a gyártott hibajavítási javaslatokat hogyan lehet a programozók kezébe adni a legkényelmesebb módon.
előírt nyelvtudás: angol felvehető hallgatók száma: 1
Jelentkezési határidő: 2022-09-30
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).
Bejelentkezés
