Le processus d'analyse d'un élément de logiciel pour détecter les différences entre les conditions existantes et nécessaires (c'est-à-dire les bogues) et d'évaluer les caractéristiques de l'élément de logiciel.