الاختبار الطفري في TypeScript: كسر الكود لتحسينه

هل أنت متأكد من أن اختباراتك تعمل حقًا؟

تخيل: لديك تغطية كود بنسبة 95%، جميع الاختبارات خضراء، CI/CD يمر بدون أخطاء. الفريق سعيد، والمدير هادئ. ولكن في يوم من الأيام يظهر خطأ في الإنتاج. تفتح الكود، تنظر إلى الاختبارات وتفهم: إنها فقط تتحقق من أن الدالة تُرجع رقمًا، لكنها لا تنظر إلى قيمته. أو الأسوأ من ذلك - الاختبار مكتوب بحيث ينجح في أي حال.

موقف مألوف؟ مرحبًا بك في عالم حيث نسبة التغطية هي مجرد رقم، وليست ضمانًا للجودة. هنا يظهر على المسرح الاختبار الطفري (mutation testing) - منهجية تجعل اختباراتك تعاني حقًا وتثبت جدارتها.

في هذه المقالة، سنشرح كيفية دمج الاختبار الطفري في مشروع TypeScript باستخدام Stryker، ولماذا قد يصبح أداتك المفضلة الجديدة (أو مصدرًا جديدًا للصداع).

ما هو الاختبار الطفري بكلمات بسيطة؟

الاختبار الطفري هو عندما تأخذ الكود الخاص بك، تقوم عمدًا بإدخال أخطاء صغيرة فيه (طفرات) وترى ما إذا كانت اختباراتك ستفشل. إذا لم تفشل الاختبارات - فهذا يعني أنك تختبر بشكل غير صحيح. إذا فشلت - فأنت ممتاز، ولكن تم القضاء على المتحول.

يبدو هذا ساديًا؟ ربما. لكنه يعمل. تخيل أنك مهندس ضمان جودة (QA) تسللت سرًا إلى الكود واستبدلت === بـ ==، أو > بـ <، أو أزلت استدعاء دالة. يجب على الاختبار الجيد أن يلاحظ ذلك. أما الاختبار السيئ فسيتجاهله.

في TypeScript، مع كتابته الصارمة للأنواع، يكون الاختبار الطفري مفيدًا بشكل خاص: فهو يكتشف الحالات التي تكون فيها الأنواع صحيحة، لكن المنطق ليس كذلك.

لماذا تغطية الكود العادية (code coverage) هي وهم؟

لنفترض أن لديك دالة:

function calculateDiscount(price: number, isPremium: boolean): number {\n  if (isPremium) {\n    return price * 0.8;\n  }\n  return price;\n}

واختبار:

test('returns number', () => {\n  const result = calculateDiscount(100, true);\n  expect(typeof result).toBe('number');\n});

التغطية؟ 100%. الاختبار؟ ناجح. ولكن ماذا لو استبدلنا price * 0.8 بـ price * 0.5؟ سيظل الاختبار ناجحًا - لأنه يتحقق فقط من النوع، وليس القيمة. هذا هو الشعور الزائف بالأمان.

الاختبار الطفري سيسلط الضوء على مثل هذه الطفرة ويقول: "مرحبًا، اختبارك لم يلاحظ أنني غيرت الخصم!". وسيتعين عليك كتابة تحقق صحيح.

كيف يعمل الاختبار الطفري في TypeScript: خطوة بخطوة

يمكن تقسيم العملية بأكملها إلى ثلاث مراحل:

\n
1. توليد المتحولين - تقوم الأداة بنسخ الكود الخاص بك وإجراء تغيير واحد في كل مرة. على سبيل المثال، تغيير && إلى || أو إزالة استدعاء دالة.
\n
2. تشغيل الاختبارات - لكل متحول، يتم تشغيل اختباراتك.
\n
3. تحليل النتائج - إذا فشلت الاختبارات، يتم "قتل" المتحول. إذا لم تفشل، فإنه "ينجو"، وهذه منطقة خطر.
\n

المقياس الرئيسي هو mutation score (نسبة المتحولين المقتولين). 100% هو المثالي، ولكن في الممارسة العملية، 80-90% يعتبر ممتازًا بالفعل.

الأداة رقم 1 لـ TypeScript: Stryker

في عالم TypeScript و JavaScript، ملك الاختبار الطفري هو Stryker (StrykerJS). إنه سريع، ويعمل مع Jest و Vitest و Mocha وحتى مع اختبارات المتصفح. يمكن إعداده في 5 دقائق.

لنقم بالتثبيت:

npm install --save-dev @stryker-mutator/core @stryker-mutator/jest-runner

لننشئ ملف الإعدادات stryker.conf.js:

// stryker.conf.js\nexport default {\n  mutate: ['src/**/*.ts', '!src/**/*.spec.ts'], // ما الذي سيتم تحويره\n  testRunner: 'jest',\n  reporters: ['html', 'clear-text', 'progress'],\n  jest: {\n    projectType: 'custom',\n    configFile: 'jest.config.ts',\n  },\n  concurrency: 4, // عدد المتحولين المتزامنين