Procesas, analizuoti programinės įrangos prekės aptikti skirtumus tarp esamų ir reikiamų sąlygų (tai yra, klaidų) ir įvertinti prekės programinės įrangos funkcijas.