lectures.md

layout	title
about	Predavanja

Ispitna pitanja za teorijski deo ispita

Spisak ispitnih pitanja možete naći ovde.

Studenti koji su zainteresovani za dodatnih 5 poena (za ukupan zbir 105) mogu da usmeno odgovaraju još jedno pitanje sa suženog spiska ispitnih pitanja za usmeni deo (u dodatnom terminu po dogovoru, nakon što završe sve druge ispitne obaveze).

Materijali

Predavanja - video materijali.

Skripta

• Uvod: o kursu i obavezama na kursu.

• Kratak pregled kursa. Briga o kvalitetu softvera. Slajdovi. Tekst.
  Primer - standardi u automobilskoj industriji: AutoSar
  Video: Extending Clang for checking compliance with automotive coding standards

• Dinamička verifikacija softvera. Tehnike testiranja. Slajdovi. Tekst.

• Dinamička verifikacija softvera. Debagovanje. Profajliranje. Analiza binarnog koda.
  Slajdovi. Tekst.

• Statička analiza softvera. Pregledi koda. Slajdovi. Tekst.

• Simboličko izvršavanje. Slajdovi. Tekst.

• Semantika programskih jezika. Slajdovi. Tekst.

• Proveravanje modela. Slajdovi. Tekst.

• Apstraktna interpretacija. Slajdovi. Tekst.

• Primene tehnika verifikacije softvera u biologiji i u sintezi koda.