Szoftverellenőrzési technikák - Gyakorlatok

A gyakorlatok helyszíne: I.L.405 laboratórium

A gyakorlatok időpontjai és témái (2014. ősz):

09.18.	Mintapéldák: verifikáció biztonságkritikus rendszerekben. HF tájékoztató.
10.02.	A specifikáció ellenőrzése. Követelmények kezelése.
10.16.	Részletes tervek és forráskód ellenőrzése.
10.30.	Fejlesztői tesztelés. Modulok izolációs tesztelése
11.13.	Tesztek tervezése. Lefedettség mérése. Integrációs tesztelés.
11.27.	Automatikus tesztelő eszközök.
12.11.	HF értékelése és tanulságok.

A gyakorlatokhoz szükséges segédanyagok: Lásd a tárgy segédanyagai között.

Elsődleges linkek