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.