Vincze Gábor
Automatikus tesztgenerálás formális protokollspecifikáció alapján
A cikkben egy eljárást mutatunk be automatikus tesztgenerálásra a protokoll formális SDL specifikációja alapján. A protokolltesztelés a fejlesztési folyamat fontos része, ám a tesztkészletek kialakítása idôigényes feladat. Ennek a fázisnak az automatizálása csökkenti a bevezetési idôt, és egy komoly hibaforrást szüntet meg. Megmutatjuk, hogyan használható a mutációanalízis egy állapottér-bejáró algoritmusból eredô tesztesetek, és a tesztkritériumok megfeleltetésének. Ezek után evolúciós algoritmusokat alkalmazunk egy optimális részhalmaz kiválasztására ebbôl a kezdeti tesztkészlet-halmazból. Ezeket az eljárásokat felhasználva egy teljes tesztgenerációs folyamatot építünk fel, amellyel egy protokoll formális specifikácójából tesztkészleteket kapunk.