Naslov
Formalna verifikacija Java izvršnih programa
(Formal verification of Java executable programs)

Autori
Komar, Mihej

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

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
09.07

Godina
2009

Stranica
57

Mentor
Bogunović, Nikola

Neposredni voditelj
Bogunović, Nikola

Ključne riječi
Formalne metode; Formalna verifikacija; Programsko inženjerstvo; Java PathFinder
(Software engineering; Formal methods; Formal verification; Java PathFinder)

Sažetak
Provjera modela je siguran i robustan postupak pronalaženja pogrešaka i verifikacije sklopovskih i programskih sustava. U ovom radu je obrađen Java PathFinder, alat za provjeru modela u programskim sustavima pisanim u Javi. Opisana je osnovna struktura programskog paketa, što je nužno za shvaćanje načina rada. Objašnjeno je više načina instalacije i korištenja – preko komandne linije ili Eclipse razvojnog okruženja. Obrađene su tehnike proširivanja mogućnosti: praćenje pretraživanja i virtualnog stroja, Model Java sučelja (MJI), podesiv generator izbora i tvornica "bytecoda". Prikazano je nekoliko najvažnijih ugrađenih proširenja poput simboličkog testiranja i testiranja grafičkih sučelja. Izrađeno je šest realnih primjera korištenja Java PathFindera.

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo

POVEZANOST RADA