Napredna pretraga

Pregled bibliografske jedinice broj: 260323

Formalna specifikacija i verifikacija softvera


Novaković, Vedran
Formalna specifikacija i verifikacija softvera 2006., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb


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


Projekt / tema
0037104

Ustanove
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb