Процесът на анализиране на елемент от софтуер за откриване на разликите между съществуващите и изискваните условия (т. е, бъгове) и за оценка на характеристиките на този елемент на софтуера.