Regisztráció és bejelentkezés

Struktúra alapú tesztkészletek vizuális elemzése

Szoftverfejlesztésben és rendszertervezésben számos tesztelési és teljesítménymérési megközelítés épít gráf-alapú modellek szisztematikus generálására. Például gráffeldolgozó rendszerek helyességének tanúsítványozásához nagy számú diverz modellre, mesterséges intelligencia komponensek teszteléséhez pedig realisztikus tesztesetet kell előállítani. Gráfgenerálás során a tervezőmérnök deklaratívan fogalmazza meg a modellek elvárt strukturális tulajdonságait (például logikai jólfortmáltsági feltételeket, elvárt statisztika eloszlásokat), és ezen specifikáció alapján automatikusan generálhatóvá válnak a modellek.

A gráfgenerálás nehéz feladat, ugyanis a tervezőmérnök logikai kényszereket ad meg amelyek hiba esetén könnyen ellentmondhatnak egymásnak. Továbbá jelenleg nem áll a mérnökök rendelkezésre olyan módszer, amely segítené a hibakeresését, a generálási folyamat nyomonkövetését, valamint a generált gráfok eloszlását statisztikai elemzését. Ezáltal nem tudják ellenőrizni hasznosak-e tesztelésre, vagy sem. Végül ezen gráfgenerátor eszközök telepítése és működtetése komoly műszaki kihívást is jelent, mivel ezek bonyolult logikai és numerikus következtető alkalmazásokra épülnek.

A dolgozatom célja, hogy egy publikusan elérhető, egyszerűen használható, böngészőben futó vizualizációs eszköz jöjjön létre, amely mind szerverről, mind lokálisan kapott információkat képes legyen feldolgozni, a statisztikai adatokat megjeleníteni. Ugyanakkor a legfontosabb funckiója az lenne, hogy a generálás bonyolult folyamatába lényegében egy hibakeresési módot adjon.

Dolgozatomban egy olyan eszközt mutatok be, amely képes nagyméretű gráfokat vizualizálni, és különböző metrikákkal elemezni. Eszközöm a korszerű D3.js technológiára épít, így még több ezres elemű gráfokra is gyors vizualizálást biztosít, valamint különböző gráfmetrikák számításával is elemzem a vizsgált gráfmetrikák eloszlását. Továbbá az általam készített eszköz segítséget nyújt a specifikációban lévő lehetséges ellenmondások felfedésére azáltal, hogy lehetővé teszem a generálási lépéseket visszajátszását.

Az általam készített alkalmazás egy könnyen kezelhető felhasználói felületet biztosít a Viatra Solver gráfgenerátorhoz, amely így bonyolult telepítési lépések nélkül is használhatóvá válik, valamint nagyban könnyíti a gráfgenerális feladatokban a hibakeresést. Mivel az eszköz online elérhető, böngészőben fut, így használata gyors és könnyű, nem szükséges a tervezőmérnöknek különböző logikai megoldókat telepítenie.

szerző

  • Juhász Benedek
    Mérnök informatikus szak, alapképzés
    alapképzés (BA/BSc)

konzulensek

  • Marussy Kristóf
    doktorandusz, Méréstechnika és Információs Rendszerek Tanszék
  • Dr. Semeráth Oszkár
    tudományos munkatárs, Méréstechnika és Információs Rendszerek Tanszék