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.

Jelleg: 
Elméleti és gyakorlati
Advisor: 
Zoltán Micskei
TDK lehetőség: 
TDK lehetőség
Megismerhető technológiák: 
Modellezés, tesztgenerálási algoritmusok, Yakindu, GraphWalker
Előismeretek: 
alapvető programozási ismeretek (Java vagy C#)
Állapot: 
Folyamatban