בּדיקה חֶשבּונית מחשבים ומערכות מידע
לועזית: arithmetic check

בדיקת נכונותו של עיבוד נתונים חשבוני על־ידי פירוק הפעולות למספר פעולות ביניים. לדוגמא: לאחר כפל 7 ב-24, תבוצענה פעולות כפל של 7 ב-6 וב-4 והשוואת התוצאות.