طريقة للتحقق من صحة العملية الحسابية على الأعداد الطبيعية
تستفيد طرق السبعات من حقيقة أن البقايا (mod 7)
من مجموع (أو منتج)
يجب أن يكون مساوياً لمجموع (أو منتج)
بقايا المآخذ (أو العوامل).
على سبيل المثال ، المبلغ الصحيح
(1)
|
يتوافق مع مجموع صحيح من وحدات البدل mod 7
(2)
|
حيث ، على الجانب الأيمن ، تم استبدال 9 بقاية 2 (mod 7).
من ناحية أخرى ، المبلغ غير الصحيح
(3)
|
يؤدي إلى مبلغ غير صحيح من المخلفات
(4)
|
نظرًا لأن الجانب الأيمن يجب أن يكون 0.
لا تعتمد الاختبارات القائمة على المقارنة
بين البقايا بشكل كامل لأنها تترك بعض الأخطاء غير مكتشفة
(أي ، يمكن للمجموع غير الصحيح أن ينتج مجموعًا صحيحًا من البقايا).
ومن ثم ، قد يكون من المفيد التحقق مرة أخرى فيما يتعلق بـ 7 و 9.
ليست هناك تعليقات:
إرسال تعليق