Java-kód transzformáció kiterjesztett véges automata modellre

OData támogatás
Konzulens:
Pap Zoltán
Távközlési és Médiainformatikai Tanszék

A programok megfelelő tesztelése fontos feladat a szoftverfejlesztésben. Napjaink objektum-orientált programozási nyelvei nem képesek minden típusú hibát jelezni. Ezért szükséges új eljárásokat kidolgozni, amik segítségével a tesztelés hatékonyan megoldható. Diplomamunkámban ismertetem, hogy a kiterjesztett véges automata modell milyen előnyökkel rendelkezik a tesztelés területén a Java virtuális géppel szemben. Bemutatok egy lehetséges módszert a modell ábrázolására gráf formájában. Azért, hogy a kiterjesztett véges automata előnyeit ki tudjuk használni a programozásban, szükséges olyan szoftver, ami hatékonyan képes átalakítani az adott objektum-orientált programnyelv forráskódját kiterjesztett véges automata modellre. Dolgozatomban ismertetem, hogyan lehet a Java nyelven elkészített programot átalakítani automata modellre és az átalakított kódot hogyan lehet ábrázolni. Az alkalmazásom végrehajtja a Java kód – kiterjesztett véges automata konverziót és az elkészült modellt ábrázolja gráf formájában. Ezeknek a gráfoknak a futását szimulálni tudja a programom és a szimuláció segítségével tesztelni is képes az elkészült modellt, az eredményeket, pedig naplózó fájlokba menti el. Az alkalmazásom működését (Java kód – kiterjesztett véges automata átalakítás, modell futtatása és tesztelése) és használatát példákon keresztül ismertetem, továbbá bemutatom a programom felépítését is.

Letölthető fájlok

A témához tartozó fájlokat csak bejelentkezett felhasználók tölthetik le.