الاختبار القائم على الخصائص في Erlang باستخدام PropEr

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