Ushbu referat dasturiy ta'minot sinovlarida modelga asoslangan testlash (Model-Based Testing, MBT) usulini tahlil qiladi. Unda model asoslari, testlashdagi roli, afzalliklari, kamchiliklari hamda usullarning turlari va qo'llanilishi ko'rib chiqiladi