مجموع التحقق

أبسط خوارزمية للتحقق من المجموع الاختباري هي ما يُسمى بفحص التكافؤ الطولي ، حيث تُقسّم البيانات إلى "كلمات" ذات عدد ثابت n من البتات، ثم تُجري عملية XOR (أو الحصرية الثنائية ) على جميع هذه الكلمات. تُضاف النتيجة إلى الرسالة ككلمة إضافية. بعبارة أبسط، عندما n = 1، يعني هذا إضافة بت إلى نهاية بتات البيانات لضمان وجود عدد زوجي من الآحاد. للتحقق من سلامة الرسالة، يُجري المُستقبِل عملية XOR (أو الحصرية الثنائية) على جميع كلماتها، بما في ذلك المجموع الاختباري؛ إذا لم تكن النتيجة كلمةً تتكون من n أصفار، يعلم المُستقبِل بحدوث خطأ في الإرسال. ^{[ 3 ]}

باستخدام هذه القيمة التحققية، سيتم اكتشاف أي خطأ في الإرسال يؤدي إلى قلب بت واحد من الرسالة، أو عدد فردي من البتات، على أنه قيمة تحققية غير صحيحة. مع ذلك، لن يتم اكتشاف الخطأ الذي يؤثر على بتين إذا كان هذان البتّان في نفس الموضع في كلمتين مختلفتين. كما لن يتم اكتشاف تبديل كلمتين أو أكثر. إذا تم اختيار البتات المتأثرة بشكل مستقل وعشوائي، فإن احتمال عدم اكتشاف خطأ مكون من بتين هو 1/ n .

تتمثل إحدى طرق تعديل الخوارزمية السابقة في جمع جميع "الكلمات" كأعداد ثنائية غير مُوقّعة، مع تجاهل أي بتات فائضة، وإضافة المتمم الثنائي للمجموع كقيمة تحقق. وللتحقق من صحة الرسالة، يقوم المُستقبِل بجمع جميع الكلمات بنفس الطريقة، بما في ذلك قيمة التحقق؛ فإذا لم تكن النتيجة كلمة مليئة بالأصفار، فلا بد من حدوث خطأ. وتكشف هذه الطريقة أيضًا عن أي خطأ في بت واحد، ولكن يتم استخدام المجموع المعياري في معيار SAE J1708 . ^{[ 4 ]}

تفشل طرق التحقق البسيطة المذكورة أعلاه في اكتشاف بعض الأخطاء الشائعة التي تؤثر على العديد من البتات في آنٍ واحد، مثل تغيير ترتيب كلمات البيانات، أو إدراج أو حذف كلمات تكون جميع بتاتها مضبوطة على الصفر. تعالج خوارزميات التحقق الأكثر استخدامًا في التطبيق العملي، مثل خوارزمية فليتشر للتحقق ، وخوارزمية أدلر-32 ، وفحوصات التكرار الدوري (CRC)، نقاط الضعف هذه من خلال مراعاة ليس فقط قيمة كل كلمة، بل أيضًا موقعها في التسلسل. وتؤدي هذه الميزة عمومًا إلى زيادة تكلفة حساب التحقق.

طُوِّرت فكرة المجموع الاختباري التقريبي للكشف عن البريد الإلكتروني العشوائي (السبام) من خلال إنشاء قواعد بيانات تعاونية من مزودي خدمة الإنترنت المتعددين، تضم رسائل البريد الإلكتروني المشتبه في كونها عشوائية. غالبًا ما يختلف محتوى هذا النوع من الرسائل في تفاصيله، مما يجعل التحقق من المجموع الاختباري التقليدي غير فعال. في المقابل، يُقلِّل "المجموع الاختباري التقريبي" نص الرسالة إلى الحد الأدنى المميز له، ثم يُولِّد مجموعًا اختباريًا بالطريقة المعتادة. هذا يزيد بشكل كبير من احتمالية أن تُنتج رسائل البريد الإلكتروني العشوائية المختلفة قليلاً نفس المجموع الاختباري. تُرسل برامج الكشف عن البريد العشوائي لمزودي خدمة الإنترنت، مثل SpamAssassin ، التابعة لمزودي الخدمة المتعاونين، مجاميع اختبارية لجميع رسائل البريد الإلكتروني إلى خدمة مركزية مثل DCC . إذا تجاوز عدد المجاميع الاختبارية التقريبية المُرسلة عتبة معينة، تُشير قاعدة البيانات إلى أن هذا يُرجَّح أن يكون بريدًا عشوائيًا. وبالمثل، يُولِّد مستخدمو خدمة مزودي خدمة الإنترنت مجموعًا اختباريًا تقريبيًا لكل رسالة بريد إلكتروني من رسائلهم، ويطلبون من الخدمة تقدير احتمالية كونها بريدًا عشوائيًا. ^{[ 5 ]}

يمكن اعتبار رسالة طولها m بت بمثابة ركن من أركان مكعب فائق ذي m بُعد . ويتمثل تأثير خوارزمية التحقق التي تُنتج مجموعًا تحققيًا طوله n بت في ربط كل رسالة طولها m بت بركن من أركان مكعب فائق أكبر، أبعاده m + n . وتمثل أركان هذا المكعب الفائق ^{البالغ عددها 2m} + ^{n جميع} الرسائل المُستلمة المُحتملة. أما الرسائل المُستلمة الصحيحة (التي تحمل مجموع التحقق الصحيح) فتُشكل مجموعة أصغر، تحتوي على 2m ركن فقط.

يُشير خطأ الإرسال أحادي البت إلى إزاحة الرسالة من زاوية صحيحة (الرسالة الصحيحة ومجموع التحقق) إلى إحدى الزوايا المجاورة لها (عددها m) . أما الخطأ الذي يؤثر على k بت، فينقل الرسالة إلى زاوية تبعد k خطوة عن زاويتها الصحيحة. يهدف خوارزمية مجموع التحقق الجيدة إلى توزيع الزوايا الصحيحة على أوسع نطاق ممكن، لزيادة احتمالية وقوع أخطاء الإرسال "النموذجية" في زاوية غير صحيحة.