Modell-alapú tesztelés megismerése

A tesztelés a gyakorlatban használt egyik leggyakoribb technika a szoftverek minőségének ellenőrzésére és javítására. A részletes tesztesetek kézi kiválasztása és definiálása azonban rendkívül időigényes feladat lehet. Azonban modellek készítésével lehet ezt a feladatot is támogatni. A rendszert, a környezetet vagy a teszteket leíró modellek elkészítésével lehet segíteni a probléma jobb megértését, a követelmények tisztázását, az elképzelt működésben lévő korai felderítés vagy akár a modell adott fedettség mentén való bejárásával tesztsorozatok generálását.

A hallgató feladata a modell-alapú tesztelés (model-based testing, MBT) lehetőségeinek és módszereinek megismerése, majd a modell-alapú tesztelés kipróbálása mintapéldákon meglévő MBT eszközök segítségével. A feladat folytatása lehet MBT eszözök kiegészítése vagy új modellezési nyelvekhez MBT algoritmusok kitalálása és implementálása.