Bejelentkezés
 Fórum
 
 
Témakiírás
 
Porkoláb Zoltán
Statikus elemzés kutatási kérdései

TÉMAKIÍRÁS

Intézmény: Eötvös Loránd Tudományegyetem
informatikai tudományok
Informatika Doktori Iskola

témavezető: Porkoláb Zoltán
helyszín (magyar oldal): ELTE IK Programozási Nyelvek és Fordítóprogramok tsz
helyszín rövidítés: ELTE


A kutatási téma leírása:

A statikus elemzés (a programok elemzése azok aktuális végrehajtása nélkül) hatékony eszköz szoftverrendszerek minőségének biztosítására.
Alkalmazási területei közé tartoznak pl. a szoftvermetrikák számításai, a tervezési minták, veszélyes programkonstrukciók, kódduplikátumok előfordulásainak felderítése, és számos más aktuális terület..

A kutatás célja a statikus elemzés lehetőségeink tisztázása, a meglevő módszerek és eszközök hatékonyságának növelése, új kutatási területek meghatározása, ipari környezetben is alkalmazható prototípusok kidolgozása.

előírt nyelvtudás: angol
ajánlott nyelvtudás (magyar oldal): angol
további elvárások: 
A hallgató magas szinten ismerje a C++ programozási nyelvet, és legyen tisztában a a programnyelvi elemzők, parserek felépítésével. További előnyt jelent az LLVM/Clang fordító ismerete.

felvehető hallgatók száma: 1

Jelentkezési határidő: 2018-05-31


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

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )