Har qanday murakkab dasturda, xatolar va nuqsonlar mavjud bo'lishi kerak, ularning soni odatda noma'lumdir. Ko'pgina yirik dasturiy ta'minot ishlab chiqaruvchilari sifatni nazorat qilish bo'limi (QA  Quality assurance) ni yaratadilar va uning ishini to'laydilar, u dasturiy ta'minot ishlab chiqish jarayonining muayyan talablarga muvofiqligini nazorat qiladi, ularning bajarilishi dasturiy ta'minotda xatolar paydo bo'lish ehtimoli kamayishiga 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).
Juda murakkab dasturda nima bor?
xatolar va nuqsonlar