Procesul de analizarea unui element de software-ul pentru a detecta diferențele dintre condițiile existente și cerută (adică, bug-uri) și pentru a evalua caracteristicile elementul software-ul.