Cilj i ishod predmeta
Cilj predmeta je da studenti steknu širi i dublji uvid u probleme razvoja složenih softverskih sistema uz obezbeđenje visokog nivoa kvaliteta projektovanog i implementiranog softverskog sistema. Takođe, cilj je i da studenti razumeju i savladaju napredne metode i tehnike iz oblasti obezbeđenja i kontrole kvaliteta, testiranja i održavanja sistemskog softvera. Istraživačka komponenta usmerena je na unapređivanje postojećih i oblikovanje novih metoda za razvoj sistemskog softvera visokog kvaliteta. Predmet počiva kako na savremenoj literaturi i naučnim radovima, tako i na praktičnom radu. Student je stekao teorijska, metodološka i praktična znanja o razvoju složenih softverskih sistema visokog kvaliteta za dalje usavršavanje na izabranom području i samostalni naučni i stručni rad.
Teorijska nastava
Ideje i tehnike za projektovanje, razvoj i modifikovanje velikih softverskih sistema. Upravljanje softverskim projektima sa naglaskom na proces osiguranje kvaliteta softvera – modeli kvaliteta, merenje kvaliteta, procena napora i troškova. Konvencionalne metode softverskog inženjerstva: analiza, projektovanje, softverska metrika. Objektno-orijentisano softversko inženjerstvo. Reinženjering. Razvoj baziran na softverskim komponentama. Različite metodologije razvoja softvera sa naglaskom na agilne metodologije, merenje i predviđanje kvaliteta softvera (CMMI i TMM modeli unapređenja). Testiranje sistemskog softvera – strategije, vrste tehnika ispitivanja (klase). Nivoi testiranja prema fazama razvoja softvera (u razvoju i isporuci). Verifikacija i validacija kao tehnike testiranja. Skup tehnika testiranja softvera. Alati za razvoj kvalitetnog sistemskog softvera. Testiranje sistema u stvarnom vremenu i bezbednosno kritično testiranje sistema (IEEE 1228-94). Odabir i kombinovanje tehnika testiranja.
Studijski istraživački rad
Analiza razvoja i testiranja sistemskog softvera u različitim domenima. Operativni sistemi, programski prevodioci, mrežni distribucioni softver za primenu u medicini, industriji, vojsci, komunikacijama, vazduhoplovstvu, biznisu, nauci. Operacione specifikacije i analiza korisničkih zahteva. Specifičnosti dizajna implementacije. Pouzdanost i raspoloživost. Softver kritičnih i bezbednih sistema. Sistemski softver za namenske sisteme.