Proces analizowania elementu oprogramowania do wykrywania różnice w istniejących i wymagane warunki (oznacza to, że błędy) i ocenić funkcje elementu oprogramowania.