Η διαδικασία της ανάλυσης ενός στοιχείου λογισμικού να ανιχνεύει τις διαφορές μεταξύ των υφιστάμενων και απαιτούμενες συνθήκες (δηλαδή, σφάλματα) και να αξιολογήσει τις δυνατότητες του στοιχείου λογισμικού.