Prosessen med å analysere en programvare-elementet til å gjenkjenne forskjellene mellom eksisterende og nødvendige betingelser (det vil si feil) og Evaluer funksjonene for programvare-element.