Szoftver- és rendszerellenőrzés
Automatikus ellenőrzési és tesztelési technikák, eszközök
A tárgy adatai
A tárgy neve: | Szoftver- és rendszerellenőrzés |
Típus: | MSc szakirány |
Tárgykód: | VIMIMA01 |
Tárgyfelelős: | Micskei Zoltán |
További oktatók: | Majzik István Marussy Kristóf |
Célkitűzés
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.
A tárgy 2016-tól kezdve csak angol nyelven került meghirdetésre. További információ a tárgy angol nyelvű oldalán érhető el.