Feladatcsoportok

Automatikus tesztelés

Manapság a szoftverek ellenőrzésének az egyik legáltalánosabban használt módszere a tesztelés. Tesztelés alatt azonban ne az "írjunk kódot, aztán adjuk ki diákoknak, hogy kattintgassák végig a szoftvert" megközelítést értsük, hanem a készülő termékek folyamatos, rendszerezett és automatizált ellenőrzését, ami biztosítja, hogy jó minőségű kódot készítsünk (quality engineering). A teszteléssel kapcsolatos feladatok a teljes szoftverfejlesztési életciklus során megjelennek (a teszteket a követelmények alapján megtervezik, a fejlesztők unit teszteket írnak, tesztmeghajtókat és csonkokat készítenek, integrációs és rendszerteszteket hajtanak végre stb.), a minőség így mindenkinek a felelőssége.

Azonban a tesztek manuális elkészítése és kézi végrehajtása helyett egyre inkább előtérbe kerül az iparban is a tesztesetek automatikus generálása és végrehajtása. Az automatikus végrehajtásra vannak elterjedt keretrendszerek (pl. xUnit, CI kiszolgálók), azonban a tesztesetek automatikus kiválasztása jelenleg is aktív kutatási terület. Az automatikus tesztgenerálás történhet modell vagy kód alapján. Tovább »

Modern fejlesztőrendszerek és modell alapú technológiák

modellvezérelt fejlesztés napjainkban egy kulcstechnológia a rendszer- és szoftvertervezés területén, amely előírja a különböző részletezettségű és absztrakciós szintű modellek szisztematikus használatát, már a tervezési folyamat legkorábbi fázisaitól kezdve. A tanszéken már több mint tíz éve foglalkozunk ezzel a területtel, csoportunk mind elméleti, mind pedig gyakorlati oldalon európai szinten vezető szerepet tölt be a modellvezérelt alapú technológiák fejlesztésében és kutatásában (lásd publikációink és kapcsolódó projektjeink). Az ehhez az önálló laboratórium tartozó feladatok igen széles spektrumot ölelnek fel, ahol a fejlesztésorientált munkáktól a teljesen elméleti problámákig mindenféle feladat megtalálható. Tovább »