Előadás az Enterprise Developer Meetupon

Kutatócsoportunk doktorandusza, Honfi Dávid, október 28-án a budapesti 9. Enterprise Developer Meetup rendezvényen mutatta meg az automatikus tesztgenerálás lehetőségeit és az ezzel kapcsolatos kutatási tevékenységét.

Az Enterprise Developer Meetup sorozat a LogMeIn és a Microsoft Magyarország közös szervezése, melynek célközönsége az új technológiák iránt érdeklődő fejlesztők és architektek. A meetup jelenleg a második évadjánál tart és népszerűségének köszönhetően alkalmanként akár 80 résztvevő is jelen van.

Az előadás során általánosságban bemutatásra került a forráskód alapú tesztelés, mint egy jól automatizálható verifikációs módszer. Erre építve az előadás bemutatta az egyik legismertebb automatikus tesztgeneráló eszköz, a Microsoft IntelliTest belső működésének alapjait és annak használatát példákon és demókon keresztül. Az előadás mindezeken felül rövid betekintést nyújtott Dávid aktuális kutatási területébe, a szimbolikus végrehajtás vizualizációjába is.

Bővebb információ:

• Az előadás oldala (fóliák, demók)
• A meetup oldala
• A bemutatott vizualizációs eszköz oldala