Har qanday murakkab dasturda xatolar va nuqsonlar bo'lishi muqarrar, ularning soni odatda noma'lum. Ko'pgina yirik dasturiy ta'minot ishlab chiqaruvchilari sifat nazorati bo'limi (QA  Quality assurance) ni yaratadilar va uning ish haqi to'laydilar, u dasturiy ta'minot ishlab chiqish jarayonining muayyan talablarga muvofiqligini nazorat qiladi, ularning bajarilishi dasturiy ta'minotdagi xatolarning paydo bo'lish ehtimoli ni kamaytirishga imkon beradi (masalan, aviatsiya tizimlari uchun dasturiy ta'minotni ishlab chiqishda qo'llaniladigan DO-178B standarti talablari). Shunga qaramay, hozirgi vaqtda etarli darajada murakkab dasturiy ta'minotda xatolarning yo'qligini to'liq kafolatlaydigan usullar mavjud emas (dasturiy ta'minot murakkabligi bo'yicha rasmiylashtirilgan mezonlar mavjud).
Qanday qilib ba'zi talablarni pasaytirish mumkin?
dasturiy ta'minotdagi xatolarning paydo bo'lish ehtimoli