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.
