فحص تدفق التحكم باستخدام مساعدات الواتش دوغ ومجموعات التحقق ذات الدقة الممتدة

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