Tesztgenerálás állapotgép alapú modellekből

A tesztelés minden fejlesztési folyamat fontos része, ez az egyik leggyakrabban használt ellenőrzési módszer. Egy modell alapú fejlesztés esetén a tesztelés részfeladatai is automatizálhatóak. Ezek közül az egyik legnehezebb feladat maguknak a teszteseteknek a kiválasztása, a bemeneti és elvárt kimeneti értékek generálása. Az ilyen tesztgenerálási feladatokra több módszert és eszközt dolgoztak már ki az utóbbi évtizedben.

A hallgató feladata, hogy megismerkedjen egy konkrét modell fajtához, állapotgépekhez készült tesztgeneráló technikákkal és eszközökkel. Az egyszerű véges automaták tesztelésének kiforrott irodalma van sok alapvető algoritmussal. Ahogy egyre növeljük a modellezési nyelv kifejezőképességét (pl. változók, őrfeltételek vagy párhuzamos régiók bevezetése), egyre újabb problémákat kell a módszereknek leküzdenie. A téma hosszabb távú célja, hogy a hallgató megismerve a meglévő megoldásokat és kipróbálva ez elérhető eszközöket, képes legyen kibővíteni a meglévő megoldásokat vagy új, saját tesztgeneráló eszközt fejleszteni.

Jelleg: 
Elméleti és gyakorlati
Advisor: 
Zoltán Micskei
TDK lehetőség: 
TDK lehetőség
Megismerhető technológiák: 
programozási gyakorlat, UML, tesztgeneráló algoritmusok és eszközök
Előismeretek: 
Programozási nyelvek (Java/C#/Python), alapvető gráfalgoritmusok
Állapot: 
Folyamatban