hrvatski

Formalna specifikacija i verifikacija softvera

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.

softversko inženjerstvo; formalna specifikacija; formalna verifikacija

nije evidentirano