Login
 Forum
 
 
Thesis topic proposal
 
Rudolf Ferenc
Automatikus program javítás

THESIS TOPIC PROPOSAL

Institute: University of Szeged
computer sciences
Doctoral School of Computer Science

Thesis supervisor: Judit Jász
co-supervisor: Rudolf Ferenc
Location of studies (in Hungarian): SZTE
Abbreviation of location of studies: SZTE


Description of the research topic:

Az automatikus program javítás gondolata egy igen gyorsan fejlődő kutatási területe az informatika tudománynak. Több eszköz és megvalósítás létezik már most is arra, hogy egy adott forráskódban hibákat azonosítsunk be, illetve ezen hibákra megoldási javaslatokat kapjunk. Ugyanakkor az igény arra, hogy ezek a hibajavaslatok tényleg relevánsak és megbízhatóak legyenek, és feleslegesen ne zökkentsék ki a programozót a munkájukból, mindenképp egy nagyon fontos szempont, amelyre figyelve újabb és újabb megoldásokat adhatunk.

Különösen fontos a biztonsági szempontból veszélyes hibák megtalálása és javítása. Ehhez fel kell mérjük, mely pontok azok a programban, amelyeket mindenképp javítani kell ahhoz, hogy elkerüljük a program fatális leállásait, amit okozhat pl. egy nullával való osztás, vagy egy helytelenül tömb indexelés). A kérdéses pontok megtalálása után pedig meg kell adni azt a programjavítást, ami amellett, hogy javítja a hibát, a program működésének egyéb pontjait nem módosítja.

A kutatási téma keretein belül vizsgálandó, hogy hogyan lehet minél nehezebben felismerhető hibákat felismerni, illetve hogyan lehet a forráskód hibák javításait is automatikusan előállítani. Ezen felül módszereket lehet kidolgozni arra, hogy ezeket a gyártott hibajavítási javaslatokat hogyan lehet a programozók kezébe adni a legkényelmesebb módon.

Required language skills: English
Number of students who can be accepted: 1

Deadline for application: 2023-09-15


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

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )