Кадом хато дар тасдиқ кардан ёфтан намешавад?

Душвор нест, ки хато дар шароит ё сценарияҳое пайдо мешавад, ки дар муҳити санҷишӣ ё дар маҷмӯи маълумоти санҷишӣ, ки барои тасдиқ истифода мешаванд, вуҷуд надоранд. Масалан, хато, ки танҳо дар зери бориши хеле баланд, дар конфигуратсияи махсуси сахтафзор, дар ҳолати муайяни системаи беруна ё дар якҷоягии беназири амалҳои корбар, ки дар вақти таҳияи ҳолатҳои санҷишӣ пешбинӣ нашуда буданд, ба вуҷуд меояд.

Категорияи дигар — хатоҳо, ки бо талаботи ғайрифунксионалӣ алоқаманданд, ки ба осонӣ ё ғайриимкон аст, ки танҳо тавассути тасдиқ бо истифода аз спецификация ва ҳолатҳои санҷишӣ санҷида шаванд:

• Камбудиҳо дар иҷроиш: Нокомӣ дар зери бориши максималӣ, вақти ҷавоб дароз.
• Меъёри эътимоднокӣ: нокомӣҳои тасодуфӣ ва ғайриқайтаршаванда дар вақти истифодаи дарозмуддат.
• Истифодаи осон: Интерфейси номуайян, душворӣ дар иҷрои вазифаҳо, ки интизориҳои корбарро қонеъ намекунад.
• Бехатарӣ: заифӣ дар муқобили вокунишҳо, рондани маълумот дар шароити муайян.