Vezető: Do Van Tien

Jelenleg számos mérnöki termék, rendszer és szoftver kerül a végfelhasználókhoz a piacon, amelyek működése során az elején rosszul tervezett rendszerterv miatt zavaró működési hibák lépnek fel. Ez a tendencia az eredménye egyrészt a túlságos marketing-szemléletnek, másrészt hiányos mérnöki módszernek. A projekt a hibás működésű termékek minimalizálását tűzi ki célul. Az automatikus tesztelésnek és teljesítőképességi modellezésnek mély matematikai alapja van, amelyhez az utóbbi években számos elméleti eredményünk született. Ezen eredményeket az ipar számára készített szoftver-megoldásokban hasznosítjuk.

A projekt módszereket keres informatikai rendszerek automatikus tesztelésére és teljesítőképességi értékelésére. A projekt célja a tudományos módszerek kidolgozása, publikálása, valamint az elméleti eredmények gyakorlati alkalmazásához szükséges szoftvertermékek kifejlesztése.