ערכה מזוהה של תכונות התוכנה כדי שאפשר יהיה למדוד בתנאים שצוינו על-ידי השוואת התנהגות בפועל עם ההתנהגות הנדרשת המתוארים בתיעוד התוכנה.