Követelményleíró kifejezések kényszerkielégítési feladattá való leképezése

A tanszéken folyó R3Cop kutatási projekt célja autonóm robotok tesztelésének támogatása automatikus tesztkörnyezet generálás segítségével. A tesztkörnyezet egy absztrakt metamodellével és hozzá kapcsolódó OCL megkötésekkel adott, amiből több lépésen keresztül konkrét, majd akár robot-szimulátor specifikus környezeti modellek állíthatóak elő. Az előállítás folyamán szükséges lépés a metamodellhez kapcsolódó OCL megkötések értelmezése, azok kézi, vagy automatizált feldolgozása, kényszerkielégítési problémák előállítása és megoldása.

A hallgató feladata az OCL, SMT nyelvek és Acceleo sablonok elemeinek megismerése, a hozzájuk kapcsolódó eszközök használatának elsajátítása. A megszerzett információ alapján feladat az OCL egy definiált részhalmazához leképzési módszer megvalósítása SMT nyelvre.

A hallgató feladatának a következőkre kell kiterjednie:

• Mutassa be a felhasznált nyelvek felhasználási céljait, elemeit.

• Mutassa be a használható technológiákat, azok integrálhatóságát.

• Készítsen tervet az adott OCL részhalmaz leképezéséhez

• Implementálja a leképezést valamilyen automatizált keretrendszer segítségével