מיבדק מתוּכנָת מחשבים ומערכות מידע
לועזית: programmed check

בדיקת תקינות הנתונים, המתבצעת באמצעות תוכנה, לעומת מיבדק אוטומטי.