Key points are not available for this paper at this time.
إصلاح البرامج المعتمد على البحث يبحث تلقائيًا عن إصلاح للبرنامج ضمن مساحة إصلاح معينة. يمكن تحقيق ذلك من خلال تعديل خوارزمية بحث عامة لإصلاح البرامج كما يتضح من أداة GenProg، أو من خلال بناء خوارزمية بحث مخصصة لإصلاح البرامج كما هو الحال في SPR. للأسف، قد تنتج approaches إصلاح البرامج المؤتمتة تصحيحات قد يرفضها المبرمجون، الأمر الذي دفع بالأعمال السابقة للاقتراح باستخدام تصحيحات كتبها بشر لإنتاج قوالب لإرشاد إصلاح البرامج. في هذا العمل، نتبنى الموقف بأننا لن نقدم قوالب لإرشاد بحث الإصلاح لأن ذلك قد يقيد مساحة الإصلاح بشكل غير ضروري ويحاول ملاءمة الإصلاحات ضمن أحد القوالب المقدمة. بدلاً من ذلك، نقترح استخدام مجموعة من الأنماط المضادة - مجموعة من التحولات المحظورة العامة التي يمكن فرضها على أي أداة إصلاح معتمدة على البحث. نوضح أنه من خلال فرض أنماطنا المضادة، نحصل على إصلاحات تعزل الخطوط أو الوظائف الصحيحة، وتتضمن حذفًا أقل لوظائف البرنامج، وغالبًا ما نحصل عليها بشكل أكثر كفاءة. نظرًا لأن مجموعة أنماطنا المضادة عامة، فقد دمجناها في أدوات إصلاح معتمدة على البحث الحالية، بما في ذلك GenProg و SPR، مما يتيح لنا الحصول على تصحيحات برامج عالية الجودة بجهد minimal.
درس تان وآخرون (الثلاثاء) هذا السؤال.