El procés de l'anàlisi d'un element de software per detectar les diferències entre les condicions existents i exigeix (és a dir, errors) i avaluar les característiques de l'element de programari.