Thesis supervisor: István Siket
co-supervisor: Rudolf Ferenc
Location of studies (in Hungarian): SZTE Abbreviation of location of studies: SZTE
Description of the research topic:
A szoftverhibák megtalálása általában igen költséges és időigényes feladat, ezért számos megoldás létezik a tesztelés automatizálására. Az egyik széles körben alkalmazott módszer a statikus forráskód elemzés, amelynek előnye, hogy gyorsan és ,,olcsón” tudjuk megtalálni a hibákat a forráskódban. A hátrányuk azonban, hogy a statikus elemzésnek köszönhetően korlátozottak a képességeik, csak bizonyos mintára illeszkedő hibákat képesek detektálni. Ennek ellenére használatuk ajánlott, mert nagy mértékben javítják a szoftvertesztelés hatékonyságát, illetve segítik a fejlesztőket a rossz programozói gyakorlat elkerülésében.
A szimbolikus végrehajtás a statikus elemzés egy olyan változata, ahol a statikus elemzés alapján az algoritmus a program futás közbeni viselkedését szimulálja, ezért futás közbeni hibákat is képes detektálni. Azonban ennek nagy ára van, mert az „összes” különböző lehetséges végrehajtási utat meg kell vizsgálni, ami nagyobb projektek esetében szinte lehetetlen. Ezért különböző heurisztikákat dolgoztak ki arra, hogyan lehetne ezen gyorsítani akár annak árán is, hogy így kevesebb hibát találnak meg.
A kutatási téma keretein belül megvizsgáljuk, hogy hogyan lehet a már meglévő statikus elemzésen alapuló komplex szimbolikus algoritmusokat tovább javítani. Ez jelentheti azt, hogy a performanciájuk javuljon anélkül, hogy kevesebb hibát találjanak meg, vagy ugyanakkora erőforrással több hibát tudjanak majd detektálni. Ehhez különböző heurisztikákat vizsgálunk meg, illetve gépi tanulási algoritmusokat alkalmazunk, hogy a releváns végrehajtási útvonalakat vizsgáljuk meg.
Required language skills: English Number of students who can be accepted: 1
Deadline for application: 2022-03-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).
Login
