בדיקות שנערכו כדי לוודא את יישום נכון העיצוב ועל עמידה בדרישות התוכנית עבור רכיב תוכנה אחד (למשל יחידת , מודול) או אוסף של רכיבי תוכנה.