כלי תוכנה שמקבלת קוד מקור קלט, בדיקת קריטריונים, מפרטים או הגדרות מבנה נתונים; משתמש תשומות אלה להפקת נתוני קלט בדיקה; וקובע, לעיתים, התוצאות הצפויות.