Il processo di analisi di un elemento software per rilevare le differenze tra le condizioni esistenti e richieste (cioè, bug) e di valutare le caratteristiche del prodotto software.