تصحيح الأخطاء التفاضلي

الموسوعة الحرة

يُعدّ تصحيح الأخطاء التفاضلي منهجية لأتمتة تصحيح أخطاء البرامج باستخدام منهج علمي يعتمد على حلقة الفرضية والتجربة والنتيجة. وقد طُوّرت هذه المنهجية لأول مرة من قِبل أندرياس زيلر من جامعة سارلاند عام 1999. [ 1 ]

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

تم تطبيق تصحيح الأخطاء التفاضلي لعزل مدخلات البرنامج التي تسبب الفشل (مثل صفحة HTML التي تتسبب في فشل متصفح الويب)، أو تفاعل المستخدم الذي يسبب الفشل (مثل ضغطات المفاتيح التي تتسبب في تعطل البرنامج)، أو التغييرات التي تسبب الفشل في كود البرنامج (مثل بعد فشل اختبار الانحدار).

تتضمن أدوات تطوير البرمجيات المستوحاة من تصحيح الأخطاء التفاضلي أوامر bisect لأنظمة التحكم في الإصدارات (مثل git-bisect و svn-bisect و hg-bisect وما إلى ذلك)، والتي بدلاً من العمل على كود البرنامج، تطبق منهجية تصحيح الأخطاء التفاضلي على تاريخ الكود من خلال مقارنة الإصدارات المختلفة حتى يتم العثور على التغيير الخاطئ.

انظر أيضاً

مراجع

  1. ↑ زيلر، أندرياس (1999). "بالأمس، كان برنامجي يعمل. واليوم، لا يعمل. لماذا؟". هندسة البرمجيات - ESEC/FSE '99 . سلسلة محاضرات في علوم الحاسوب. المجلد  1687. سبرينغر. الصفحات 253-267 . doi : 10.1007/3-540-48166-4_16 . ISBN  978-3-540-66538-0.