Szoftver- és rendszerellenőrzés

Tárgyfelelős: 
Micskei Zoltán Imre
Oktatók: 
Darvas Dániel
Oktatók: 
Honfi Dávid
Oktatók: 
Majzik István
Oktatók: 
Molnár Vince
Oktatók: 
Tóth Tamás
Oktatók: 
Vörös András

 

FIGYELEM: 2016-tól kezdve a tárgy angol nyelvű, ezen a linken elérhető honlapján találhatóak az aktuális információk.

 

A tantárgy célkitűzése, hogy megismertesse a hallgatókat a teljes szoftver- és rendszerfejlesztési életciklus során alkalmazható különböző ellenőrzési technikákkal. Ilyen ellenőrzési technikákra manapság már nem csak a kritikus rendszerek esetén van szükség (ahol ezek alkalmazását legtöbbször szabvány írja elő), hanem minden alkalmazás esetén elvárás, hogy jó minőségű rendszert fejlesszünk.

  • A tantárgy teljesítése után a hallgatók átlátják a teljes ellenőrzési folyamatot, és ismerik, hogy az egyes fejlesztési fázisokban mely technikák alkalmazása javasolt.
  • Ismerik a különböző statikus ellenőrzési technikákat, és képesek terveket és specifikációkat ellenőrizni, valamint statikus ellenőrző eszközöket használni forráskódok átvizsgálására.
  • Megismerik a szoftvertesztelés szintjeit és módszereit, és képesek alkalmazni a specifikáció és struktúra alapú teszttervezési technikákat.
  • Ismerik az extrafunkcionális jellemzők ellenőrzésére használható módszereket (pl. megbízhatóság modellezése és vizsgálata). Ismerik a futásidőbeli verifikáció alkalmazási lehetőségeit.

 

Acknowledgement: GitHub is kindly supporting the course with an educational account.