property-based-testing

آزمون‌های مبتنی بر ویژگی را با Hypothesis، fast-check، proptest، jqwik، rapid و Echidna یا Medusa برای ناوردایی‌های Solidity می‌نویسد، بررسی می‌کند و اشکال‌زدایی می‌کند. هر زمان آزمون باید کل دامنهٔ ورودی را پوشش دهد، مانند جفت‌های encode/decode و serialize/deserialize، parserها، canonicalizerها و نرمال‌سازها، اعتبارسنج‌ها، انواع عددی و Decimal، مقایسه‌گرها و ترتیب مرتب‌سازی، ساختارهای داده و ناوردایی‌های وضعیت قرارداد هوشمند، از آن استفاده کنید. برای افزودن حالت به مجموعهٔ @given، fast-check یا proptest و ارزیابی واقعی‌بودن assertions آزمون‌های ویژگی موجود نیز کاربرد دارد. برای fuzzing باینری مبتنی بر پوشش، mutation testing، تحلیل ایستا، benchmark یا آزمون end-to-end رابط کاربری نیست.