Bir yazılım öğesi varolan ve gerekli koşulları (başka bir deyişle, hata) arasındaki farklılıkları algılamak ve yazılım öğesinin özellikleri değerlendirmek için çözümleme işlemi.