Micskei Zoltán

Önálló labor témák

Folyamatban témák

A Pex működésének és kiterjeszthetőségének vizsgálata
Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés
Az EvoSuite tesztgeneráló eszköz megismerése
Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés
C programok automatikus vizsgálata tesztgenerálással
Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)
Kódfedettség mérő eszközök
Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)
Modell-alapú tesztelés megismerése
Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés
Tesztgenerálás állapotgép alapú modellekből
Kritikus beágyazott rendszerek, Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)

Korábbi témák

3D-s robotszimulátorok vizsgálata és kiterjesztése
Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)
Automatikus szoftvertesztelési eszközök .NET-hez
Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)
C/C++ unit tesztelő keretrendszerek megismerése (külsős téma)
Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés
Grafikus szerkesztők forgatókönyv-leíró nyelvekhez
Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés
Hálózatkezelő függvénykönyvtár készítése PowerShellhez
Informatikai infrastruktúra, Önálló laboratórium és Szakdolgozat (BSc)
Kódlefedettség mérése .NET környezetben
Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)
Mobil és autonóm rendszerek futásának kiértékelése
Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)
Mobilalkalmazások kommunikációjának monitorozása
Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés
Monitorozó alkalmazások fejlesztése okostelefonokra
Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)
PLC-kódok vizsgálata automatikus teszteléssel
Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc)
Regressziós tesztelés és tesztoptimalizálás
Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)
Szoftverellenőrzés automatizálási technikái .NET platformon
Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc), Szakmai gyakorlat
Szoftverfordítás automatizálási lehetőségei .NET platformon
Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc), Szakmai gyakorlat
Tesztfuttató keretrendszer készítése ROS-hez
Kritikus beágyazott rendszerek, Önálló laboratórium és Szakdolgozat (BSc), Modellalapú szoftvertervezés
Tesztgeneráló eszköz fejlesztése biztonságkritikus szoftverhez
Kritikus beágyazott rendszerek, Önálló laboratórium és Diplomaterv (MSc)
Tesztgeneráló eszközöket összehasonlító keretrendszer fejlesztése
Modellalapú szoftvertervezés, Önálló laboratórium és Diplomaterv (MSc)

Oktatott tárgyak

Korábbi tárgyak

Nyelvek

  • English
  • Magyar

Belépés

Navigáció