Modellek ellenőrzése

Semester: 
2017. tavasz

Modellek ellenőrzésének módszerei és céljai. Holtpont, livelock, statikus ellenőrzés. Dinamikus ellenőrzési módszerek, tesztelés, fedettségi metrikák.

Jegyzet: Modellek ellenőrzése (A5)

Letöltés: