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.