Szoftver auditálás, statikus tesztelés

Szegedi Tudományegyetem

Informatika Doktori Iskola

Ferenc Rudolf

informatikai tudományok

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).

1 fő

SZTE

2026-05-31