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


 

Jelleg: 
Elméleti és gyakorlati
Konzulens: 
Szatmári Zoltán
TDK lehetőség: 
TDK lehetőség
Megismerhető technológiák: 
OCL, EMF, Eclipse, Acceleo, UML, SMT, Z3
Előismeretek: 
Java
Állapot: 
Korábbi