El proceso de analizar un elemento software para detectar las diferencias entre las condiciones existentes y necesarias (es decir, errores) y evaluar las características del producto de software.