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.