أوراكل الاختبار: دليل شامل حول التحقق من صحة مخرجات البرمجيات

أوراكل الاختبار (Test Oracle)

في مجال اختبار البرمجيات، يُعرف أوراكل الاختبار (أو ببساطة الأوراكل) بأنه مصدر للمعلومات يحدد المخرجات الصحيحة بناءً على مدخلات حالة اختبار معينة. تكمن عملية الاختبار باستخدام الأوراكل في مقارنة النتائج الفعلية للنظام الخاضع للاختبار (SUT) مع النتائج المتوقعة التي يوفرها الأوراكل.

تاريخ ومفهوم أوراكل الاختبار

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

مشكلة أوراكل الاختبار

تُعرف عملية تحديد المخرجات الصحيحة لمدخلات معينة (ومجموعة من حالات النظام) باسم مشكلة أوراكل الاختبار. يعتبر البعض هذه المشكلة صعبة نسبياً لأنها تتطلب التعامل مع تحديات تتعلق بالقدرة على التحكم (Controllability) والقدرة على الملاحظة (Observability).

تصنيفات أوراكل الاختبار

بناءً على مسح للأدبيات البحثية، يمكن تقسيم أوراكل الاختبار إلى عدة فئات رئيسية:

1. الأوراكل المحدد (Specified Oracle)

يرتبط هذا النوع عادةً بالنهج الرسمية لنمذجة البرمجيات وبنائها. ومن أمثلته:

• المواصفات الرسمية (Formal Specifications).
• التصميم القائم على النماذج (Model-based design).
• مواصفات انتقال الحالة (State transition specification).
• التصميم عن طريق العقد (Design by contract)، حيث يكون الأوراكل هنا عبارة عن "تأكيد" (Assertion).

يواجه هذا النوع تحديات تتعلق بالتجريد، حيث قد لا تستطيع جميع النماذج التقاط كافة سلوكيات النظام بدقة مطلقة.

2. الأوراكل المشتق (Derived Oracle)

يعمل هذا النوع على التمييز بين السلوك الصحيح والخاطئ باستخدام معلومات مستمدة من مخرجات أو وثائق النظام. تشمل الأمثلة:

• أطقم اختبار التراجع (Regression Test Suites): حيث يُفترض أن نتائج إصدار سابق من النظام يمكن استخدامها كمرجع للإصدار الحالي.
• خصائص الأداء المقاسة سابقاً: لمراقبة أي تدهور في الأداء.
• الأوراكل الزائف (Pseudo-oracle): وهو برنامج مكتوب بشكل منفصل يأخذ نفس المدخلات لتقييم ما إذا كانت مخرجات النظام الخاضع للاختبار صحيحة.
• الأوراكل الجزئي (Partial Oracle): هجين بين المحدد والمشتق، يحدد خصائص مهمة ولكن غير كاملة (مثل الاختبارات الميتافيزيقية Metamorphic Testing).

3. الأوراكل الضمني (Implicit Oracle)

يعتمد هذا النوع على معلومات وافتراضات ضمنية. على سبيل المثال، يُعتبر انهيار البرنامج (Crash) سلوكاً غير مرغوب فيه، وبالتالي يعمل الانهيار هنا كأوراكل يشير إلى وجود مشكلة. يشمل ذلك:

• الاختبار السلبي (Negative Testing).
• اختبار العشوائية (Fuzzing).
• الاختبار القائم على الخصائص (Property-based testing).

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

4. الأوراكل البشري (Human Oracle)

يمكن للإنسان أن يعمل كأوراكل من خلال نهجين:

• النهج الكمي: جمع كمية كافية من المعلومات لتمكين أصحاب المصلحة من اتخاذ قرار بشأن ملاءمة البرنامج للإصدار.
• النهج النوعي: تقييم مدى تمثيل بيانات الاختبار وسياق المخرجات، بالاعتماد على الخبرة، الحدس، وقوائم المراجعة.

أمثلة تطبيقية