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

Tanszéki konzulens: 
A doktorandusz fényképe
doktorandusz
Szoba: IB414
Tel.:
+36 1 463-3579
Email: ujhelyiz (*) mit * bme * hu

A kiírás adatai

A téma státusza: 
Korábbi (jelenleg nem aktív, de látszik)
Kiírás éve: 
2011
A kiírás jellege: 
önálló labor, szakdolgozat/diplomaterv

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.

© 2010-2024 BME MIT | Hibajelentés | Használati útmutató