مهارة
Property-Based Testing
يحدد الخاصية الجبرية المناسبة ثم يبني اختبار المولّد حولها
التثبيت
رسمية/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
يبدأ من قائمة خصائص مرتبة من الأضعف إلى الأقوى: التحويل ذهابًا وإيابًا، والمعكوس، والمرجع، والتكرارية، والثوابت، والإبدال؛ ليختبر أقوى قاعدة تدعمها الشيفرة بدل الاكتفاء بأنها لم تتعطل. يغطي Hypothesis وfast-check وproptest وjqwik وrapid وEchidna لثوابت العقود، ويقر أيضًا بأن بعض الشيفرات لا تملك خاصية مناسبة وتحتاج إلى اختبارات بأمثلة.
التعليقات(0)
سجّل الدخول للتعليق