Dasturiy ta'minotni sinovdan o'tkazish jarayoni, ishlab chiqish jarayoni bilan bir qatorda, axborot tizimlarini yaratish bilan shug'ullanadigan har qanday kompaniya faoliyatida asosiy hisoblanadi

30 .2 Xatolar modeli
Dasturiy ta'minot tizimining har qanday noto'g'ri xatti-harakatini uchta tushunchaning aloqasi yordamida tavsiflash mumkin:
ayb ;
xato ;
muvaffaqiyatsizlik .
Nosozlik atamasi koddagi dasturiy ta'minotning bir-biriga mos kelmasligini anglatadi, masalan, operandlarning tartibi noto'g'ri bo'lgan va oxirgi satr siz kutgan narsa bo'lmagan satrlarni noto'g'ri biriktirish .
Muddatli Xato bir bo'lgan dasturiy ta'minot tizimi holatini tasvirlaydi yorig'i sodir . Shuni ta'kidlash kerakki, xato har doim ham olib kelmasligi mumkin
tizimning noto'g'ri holati va bu holda yashirin xato ( Latent Error ) hisoblanadi. Buning sababi, xato modul oddiy foydalanuvchi stsenariylarida ishlatilmasligi mumkin, shuning uchun aksariyat hollarda u ishlash jarayonini buzmaydi. Misol Xato a tor ulash amaliyoti amalga va bir o'zgaruvchilar natija yozadi.
O'z navbatida, nosozlik atamasi odatdagi, mo'ljallangan ish rejimidagi og'ish deb tushuniladi, bu esa foydalanuvchi kutishlarining buzilishiga olib keladi. Bunga misol tariqasida qoidalar talabiga binoan boshida emas, balki xalqaro qo'ng'iroq kodi oxirida joylashgan telefon raqamining yomon formati bo'lishi mumkin.
Dasturlashda xatolik modeli 42-rasmda keltirilgan.

Shakl 42 - Dastur xatolarining modeli
30 .3 Sinov xususiyatlari
ko'ra uchun xato modeli
testlarni to'g'ri rejalashtirish va loyihalashtirish kerak . Sinovni to'g'ri tuzilgan deb hisoblash uchun uchta xususiyat bajarilishini ta'minlash kerak:
• Reachability - test dasturiy ta'minot xatosi mavjud bo'lgan manba kodidagi joyni bajarishi kerak;
• Korruptsiya - xatolik yuz berganda, dasturning holati ishlamay qolishi bilan yomonlashishi kerak;
• Targ'ibot - muvaffaqiyatsizlik yanada tarqalishi va dasturning ishlamay qolishiga olib kelishi kerak.
Ushbu xususiyatlarni ta'minlash - yirik kompaniyalar jiddiy moliyaviy aktivlarni ajratadigan echimlar uchun dasturiy ta'minotni sinovdan o'tkazishning eng murakkab masalalaridan biri.