مهارة

Property-Based Testing

يحدد الخاصية الجبرية المناسبة ثم يبني اختبار المولّد حولها

حفظ زيارة الموقع ↗

نجوم GitHub

6.7 ألف

المستودع على GitHub

التثبيت

رسمية

/plugin marketplace add trailofbits/skills

تُفعّل عند

Kodlayıcı, ayrıştırıcı, normalleştirici ya da sözleşme değişmezi test edilirken; elle seçilmiş örnekler yetmediğinde

تتطلب أدوات

ReadWriteEditBash

المؤلف: Trail of Bits
الترخيص: CC-BY-SA-4.0

المستودعhttps://github.com/trailofbits/skills

يبدأ من قائمة خصائص مرتبة من الأضعف إلى الأقوى: التحويل ذهابًا وإيابًا، والمعكوس، والمرجع، والتكرارية، والثوابت، والإبدال؛ ليختبر أقوى قاعدة تدعمها الشيفرة بدل الاكتفاء بأنها لم تتعطل. يغطي Hypothesis وfast-check وproptest وjqwik وrapid وEchidna لثوابت العقود، ويقر أيضًا بأن بعض الشيفرات لا تملك خاصية مناسبة وتحتاج إلى اختبارات بأمثلة.

التعليقات(0)

سجّل الدخول للتعليق

لا توجد تعليقات بعد، كن أول من يعلّق.

مهارات مشابهة

Test-Driven Development

مهارة

يفرض دورة الأحمر والأخضر وإعادة الهيكلة قبل كتابة شيفرة التنفيذ

الاختبارات وأدوات تصحيح الأخطاءمسارات عمل البرمجة

Incremental Implementation

مهارة

ينفّذ الميزات كشرائح رأسية صغيرة تحافظ على سلامة البناء

مسارات عمل البرمجة

Security Guidance

مهارة

يراجع شيفرة الوكلاء عند التعديل والتوقف وتسجيل الالتزام

مراجعات الأكوادأدوات الأمن والامتثال