Thesis supervisor: László Vidács
Location of studies (in Hungarian): SZTE Abbreviation of location of studies: SZTE
Description of the research topic:
A szoftverfejlesztésben sajnos jól ismert tendencia, hogy hibamentes szoftver nem létezik, és az új funkciók megvalósításával együtt törvényszerűen új hibák is keletkeznek. A hibák kijavítása nagy erőforrás igényű feladat, melyhez jelenleg még csak kezdeti automatikus módszerek adottak.
A kutatási téma célja automatikus módszerek kutatása, melyek képesek adott programhibához javítást, hibajavító foltot készíteni. A módszer a tesztkészletet veszi alapul, a hiba javításához szükséges, hogy az kimutatható legyen, vagyis legyen bukó teszteset ami detektálja a hibát. A módszer foltokat generál, majd minden foltra megvizsgálja, hogy azt a forráskódra alkalmazva az új kódváltozat kielégíti-e a teszteket. A kutatási feladat, hogy kódelemzésre, illetve mesterséges intelligencia módszerekre alapozva jussunk el a hibajavításig. Kapcsolódó témaként a teszteket kielégítő kód variánsok vizsgálata is fontos, mivel nem minden ilyen javítás elfogadható, illetve cél lehet a valódi fejlesztők által írt hibajavításokhoz hasonló foltok keresése.
Required language skills: angol Number of students who can be accepted: 3