MBT (Model-Based Testing, Modell alapú tesztelés, áttekintés: https://home.mit.bme.hu/~micskeiz/pages/mbt.html) eszközök használata, hasonlóságok és különbségek az UML/SysML-hez képest, alapszintű verifikáció.
Cél: megfelelő céleszközökkel támogatni/automatizálni a modellek és az implementáció ellenőrzését.
Szint: haladó tanfolyam