Szoftverellenőrzési technikák alkalmazása a modellvezérelt fejlesztésben

A modellvezérelt fejlesztés alapgondolata, hogy magas szintű modellekből automatikus átalakítási lépések felhasználásával jussunk el felhasználható forráskódig. Ehhez szükséges, hogy ezeket a modelleket, ill. az átakakítási lépéseket lehetőség szerint automatikus ellenőrizni lehessen, és a hibákat visszajelezni a fejlesztőnek.

A hallgató feladata, hogy megismerjedjen létező szoftverellenőrzési technikákkal és eszközökkel (pl. statikus analízis), és megvizsgálja az alkalmazhatóságát modellezési feladatok során.

Jelleg: 
Elméleti és gyakorlati
Konzulens: 
Ujhelyi Zoltán
Konzulens: 
Vörös András
TDK lehetőség: 
TDK lehetőség
Megismerhető technológiák: 
modelltranszformációk, statikus analízis, modellellenőrzés, Eclipse plug-in fejlesztés
Előismeretek: 
Java fejlesztés; ajánlott az Eclipse alapú technológiák c. tárgy párhuzamos felvétele
Állapot: 
Korábbi