Viselkedésmodellezési feladatok gépi értékelése

A mérnöki modellezésben jelentős szerep jut a viselkedésmodellezésnek, különösen az állapot alapú (Statechart) és folyamat alapú (Business Process) formalizmusoknak. A tanszéken folyó oktatásban már eddig is megjelentek ezek a modellek, például önálló házi feladat lehet egy megadott szöveges specifikációnak megfelelően viselkedő modell elkészítése.

A programozás oktatásában már elterjedtek a házi feladatok (tesztesetek alapján történő) automatikus értékelését végző eszközök. Viselkedésmodell jellegű feladatoknál erre még nem ismert kiforrott megoldás.

A hallgató feladata megismerkedni konkrét viselkedésmodellező technológiákkal, és megvizsgálni a technológiák oktatásban való alkalmazhatóságát, valamint a velük elkészíthető modellek automatikus feldolgozásának, ellenőrzésének, futtatásának lehetőségét.