ثلاث أخطاء في مُجمِّع C++: قصة ميزات مُبهمة

2025-09-23
ثلاث أخطاء في مُجمِّع C++: قصة ميزات مُبهمة

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

اقرأ المزيد

ألعاب اختبار البرمجيات: كيف غزت شركة ما ميترويد وماريو

2025-08-24
ألعاب اختبار البرمجيات: كيف غزت شركة ما ميترويد وماريو

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

اقرأ المزيد
التطوير

جعل كل شيء قابلاً للاختبار: تحدي اختبار وحدة معالجة الرسومات من ميتشل

2025-07-06
جعل كل شيء قابلاً للاختبار: تحدي اختبار وحدة معالجة الرسومات من ميتشل

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

اقرأ المزيد