Кез келген күрделі бағдарламада қателер мен ақаулар болуы мүмкін, олардың саны әдетте белгісіз. Көптеген ірі бағдарламалық қамтамасыз ету өндірушілері сапаны бақылау бөлімінің (QA  Quality assurance) жұмысын жасайды және төлейді, ол бағдарламалық қамтамасыз етуді әзірлеу процесінің белгілі бір талаптарға сәйкестігін бақылайды, оларды орындау бағдарламалық қамтамасыз етуде қателер пайда болу ықтималдығын азайтуға мүмкіндік береді (мысалы, авиациялық жүйелер үшін бағдарламалық қамтамасыз етуді әзірлеу кезінде қолданылатын DO-178B стандартының талаптары). Дегенмен, қазіргі уақытта жеткілікті күрделі бағдарламалық қамтамасыз етуде қателердің жоқтығына толық кепілдік беруге мүмкіндік беретін әдістер жоқ (ЖО күрделілігінің формальданған критерийлері бар).
Қандай да бір күрделі бағдарламада не бар?
қателер мен ақаулар