Jelenlegi hely
Intézeti Szeminárium
Az MTA doktori értekezésemben olyan statikus és dinamikus kódelemzési algoritmusokat mutatok be, amelyek hatékony megoldást nyújtanak a hibakeresés (debugging) különböző részfeladataira. Ezek a megoldások a szoftverkarbantartás egyéb területein is felhasználhatók úgy, mint a hatásanalízis, programmegértés, utólagos dokumentáció vagy a szoftverminőségmérés. Bemutatom a dolgozatom téziseit, amelyek az alábbi területeket foglalják magukban: programszelési algoritmusok, programkomponensek közötti csatolások meghatározása, függőségi klaszterek vizsgálata, spektrum-alapú hibalokalizáció.