Naslov
Formalna specifikacija i verifikacija softvera
(Formal software specification and verification)

Autori
Novaković, Vedran

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Prirodoslovno-matematički fakultet - Matematički odjel

Mjesto
Zagreb

Datum
15.05

Godina
2006

Stranica
86

Mentor
Manger, Robert

Ključne riječi
softversko inženjerstvo; formalna specifikacija; formalna verifikacija
(software engineering; formal specification; formal verification)

Sažetak
Rad pruža pregled malog ali konherentnog dijela osnovnih pojmova, koncepata i težnji modernih formalnih metoda u softverskom inženjerstvu. Izlaže se jedan od mogućih pogleda na formalnu specifikaciju i verifikaciju objektno orijentiranih softverskih sustava, oslanjajući se većinom na projekte Microsoft Research-a. Prvo poglavlje rada bavi se formalnom specifikacijom objektno orijentiranih sustava u okvirima Spec# metodologije. Drugo poglavlje adresira jedan aspekt modularne statičke analize, odnosno verifikacije programa, kakvu provodi Spec#-ov verifikator Boogie. U trećem poglavlju opisuje se testiranje bazirano na modelu i na korištenju alata Spec Explorer. Četvrto poglavlje namijenjeno je studijskom primjeru. Rad se zaključuje pregledom korištenih matematičkih koncepata i bibliografijom.

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika, Računarstvo

POVEZANOST RADA