1) отримавши коректні дані, програма надає правильний результат;

4) програма функціонує нормально стільки часу скільки потрібно;

2) отримавши некоректні дані програма відхиляє їх;

3) програма не зависає і не вилітає, приймаючи як коректні, так і некоректні дані;