خطأ مخفي في TigerBeetle: كيف فشل الاختبار المتطور

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