Kompyuteming ishonchliligini ta’minlash.Kompyuteming qurilmalari normal ishlashi uchun ma’lum shart-sharoitlar bajarilishi talabqilinadi. Bular elektr manbayi parametrlari, tashqi muhit temperaturasiva boshqalardir.Bu shart-sharoitlardanchetgachiqish kompyuterapparaturasida uzilishga yoki uning noto'g'ri ishlashiga olib keladi. OSda apparatura noto'g'ri ishlashi natijasida paydo bo'ladigan xatolikniinkorqiluvchidasturmavjudbo'lib,zarurattug'ilgandasistematashabbusi bilan bu dastur ishlaydi va hosil bo'lgan xatolikka ishlovberadi. Bundan tashqari, dasturiy resurslar noto'g'ri ishlashi natijasidaxatolik vujudga keladi. Bu vaziyatda dastuming to'g'ri yoki noto'g'riishlayotganligini aniqlash uchun turli uslublardan faydalaniladi. Bunday uslublardan biri quyidagicha. OS tarkibiga maxsus dastur kiritiladi va bu dastur berilganlarga ishlov berishdan awal va ishlov bergandanso'ng tekshiriladi. Shu dastur kodlari yig'indisi tekshiriladi, agardahosil bo'lgan kod awaldan shu dastur uchun aniqlangan kodga tengbo'lsa,uholdadasturto'g'riishlaydiyokiishlagandebtalqinqilinadi. Odatda, OS tarkibiga kirgan barcha dasturlar uchun yagonakodtanlanadi,masalan,barchabitlarnolgatenglashtiribolinadi.
Buninguchundastumingoxirgibuyrug'idankeyinnolkodigato‘ldiruvchi bo‘lgan kod tanlanadi va bu kodning dastur kodlari bilanyig‘indisi nol kodini beradi. Shu bilan dastur ishi natijasining ishon-chliligiga erishiladi, chunki dasturdagi bitta bitning qiymati o‘zgarishidastur uchun aniqlangan kontrol yig'indida boshqa kod hosil qiladi.BuholatlarnianiqlashvaularnitahliiqilishuchunOStarkibigamaxsusdasturlarkiritiladi.