Naslov
Sustav za ispitivanje svojstava automata
(Automata property analysis system)

Autori
Agić, Alen

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, diplomski

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
01.07

Godina
2014

Stranica
74

Mentor
Srbljić, Siniša

Neposredni voditelj
Vladimir, Klemo

Ključne riječi
automati; web usluga; DKA; NKA; ENKA; regularni jezik; UTR; ispitivanje
(automata; web service; DFA; NFA; lambda-NFA; regular language; UTR; testing)

Sažetak
Proučeni su postupci analize svojstava automata i izgrađen je sustav za ispitivanje svojstava automata. Sustav putem web sučelja pruža funkcionalnosti korisniku učitavanja automata putem datoteke, te ispisa svih svojstava tog automata u jednostavnom obliku. Također korisniku se nudi i ispitivanje nizova nad učitanim automatima, pregled slike automata, spremanje ispitnih nizova, a ostvareno je i administratorsko sučelje za kontrolu korisnika i provedbu ispitivanja nizova nad automatima svih korisnika. Sustav je izgrađen koristeći HTML, CSS, JavaScript, AJAX, Java jezike, te priložene knjižnice, a podržan je i razmjeran rast koristeći RabbitMQ upravitelj redovima poruka. Nakon izrade sustave je ispitan u lokalnom načinu rada i utvrđen je brz odziv, ispravnost izlaznih podataka, te su ispravljene pogreške prilikom rada.

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo

POVEZANOST RADA