témavezető: Ferenc Rudolf
helyszín (magyar oldal): SZTE helyszín rövidítés: SZTE
A kutatási téma leírása:
A forráskód kézi ellenőrzése (code review, audit) és a szoftvertesztelés jelenleg a két elsődlegesen alkalmazott módszer a szoftver verifikációban. Ezekre a tevékenységekre rendkívül magas összegeket áldoznak a szoftverfejlesztő cégek (a teljes költség több mint felét), ugyanakkor e manuális tevékenységek részben kiválthatók automatikus eszközökkel, ami jelentős költségmegtakarítást hozhat. A Szoftverfejlesztés Tanszéknek jelentős kutatási eredményei vannak ezeken a területeken, valamint rendelkezik forráskód analizálási technológiákkal a C/C++/C#/Java/SQL nyelvekre.
A téma keretén belül kidolgozandók olyan hatékony módszerek és algoritmusok, amelyek a forráskód analizátorok eredményeinek (absztrakt szemantikus gráf, vezérlési gráf, metrikák, stb.) felhasználásával alkalmasak nagyméretű valós rendszerek forráskódjának auditálására és hibáinak felderítésére a rendszer futtatása nélkül (statikus tesztelés).