Факультет информационных технологий

Ushbu kitobda raqamli sxemalar va tizimlarning ishonchliligini tahlil qilish va sinash usullari, xususan kombinatsion sxemalar uchun testlar yaratish texnikalari ko'rib chiqiladi. Talabalar raqamli qurilmalarning nosozliklarini aniqlash va bartaraf etish uchun amaliy ko'nikmalarni shakllantirishga qaratilgan laboratoriya ishlarini bajaradilar.

Asosiy mavzular

Ishonchlilikni baholash usullari: Logik-ehtimoliy usullar va differentsial tenglamalar yordamida sistemalar ishonchliligini tahlil qilish. Ishonchlilik ko'rsatkichlarini hisoblash uchun matematik modellarni qo'llash.
Test sinovlari: Kombinatsion sxemalar uchun testlar yaratish algoritmlari (D-algoritmi, buleviy hosila usuli, ekvivalent normal forma). Nosozliklarni aniqlash uchun testlar sintezining usullari va qoidalari.
Ishonchlilikni modellashtirish: Vaqt intervallari bo'yicha sistemalar xatti-harakatini modellashtirish. Markov zanjirlari va ularning ishonchlilikni baholashda qo'llanilishi.
Diagnostika usullari: Nosozliklarni aniqlash va ularning joylashuvini aniqlash uchun testlardan foydalanish. Testlarni modellashtirish va ularning samaradorligini baholash.
Tablitsa usullari: Haqiqat jadvallari yordamida testlar sintez qilish usullari. Haqiqat jadvalini minimallashtirish va qamrab olish.