Cilji in kompetence
Cilj predmeta je študente naučiti različnih principov, smernic, metodologij, tehnik in standardov o testiranju, ravnanju z napakami in ocenjevanje varnosti računalnikov in programske opreme
Vsebina
• Uvod in terminologija.
• Proces testiranja v okviru razvoja programske opreme.
• Upravljanje testiranja.
• Metode in tehnike testiranja programske opreme.
• Izvajanje in avtomatizacija testiranja.
• Lastnosti varnostno-kritičnih sistemov (zanesljivost, razpoložljivost, MTBF, MTTF, MTTR, integriteta, primernost za vzdrževanje, okrevanje po napaki).
• Analiza nevarnosti in tveganja (FMEA, HAZOP, FTA, ETA).
• Metode in tehnike obvladovanja napak.
• Izogibanje napakam.
• Odstranjevanje napak (verifikacija, validacija).
• Dopuščanje napak (metode, tehnike, ukrepi).
• Standardi in certificiranje.
Metode poučevanja in učenja
• predavanja
• sprotna obravnava praktičnih primerov
• seminarsko in projektno delo
• laboratorijske vaje
Predvideni študijski rezultati - znanje in razumevanje
• planirati in upravljati proces testiranja informacijskih sistemov
• izvesti in dokumentirati različne nivoje testiranja informacijskih sistemov
• vpeljati, planirati in izvesti avtomatsko testiranje informacijskih sistemov
• analizirati nevarnosti in tveganja informacijskih sistemov
• ustrezno ukrepati s preprečevanjem, odstranjevanjem in dopuščanjem napak, ki se vendarle zgodijo
Predvideni študijski rezultati - Prenosljive/ključne spretnosti in drugi atributi
• Spretnosti komuniciranja: predstavitev seminarja, zagovori laboratorijskih vaj.
• Organizacijske spretnosti: priprava projekta.
• Reševanje problemov: izvedba projekta.
Temeljni literatura in viri
• Kaul, N. (2022). Implementing Automated Software Testing. Arcler Press.
• Myers, G. J. (2004). The art of software testing (2nd ed., p. XV, 234). J. Wiley & Sons.
http://www.loc.gov/catdir/toc/ecip0414/2004002227.html
• Galin, D. (2018). Software quality: concepts and practice (p. XXVIII, 680 đ). Wiley.
• Storey, N. (1996). Safety-critical computer systems (Reprinted, p. XVIII, 453). Addison-Wesley.
• Dogša, T. (1993). Verifikacija in validacija programske opreme: V & V (1. izd., p. 269). Tehniška fakulteta, Elektrotehnika, računalništvo in
informatika.
Pogoji za vključitev v delo oz. za opravljanje študijskih obveznosti
Ni pogojev
Podrobnosti o izvedbi in ocenjevanju Opombe: Pisni izpit se lahko nadomesti s kolokviji v enakem deležu.
