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.