</>مدرسه زیب‌موجیاد بگیر، تمرین کن، بساز
مدرسهSolidityدرس 18
درس 18 از 21 · ۴۰ دقیقه

Fuzz و invariant

یک مسئله واقعی را با «Fuzz و invariant» حل می‌کنیم و نتیجه را همان لحظه می‌بینیم.

۰امتیاز شما
نقشه این درس

بعد از این درس چه کاری می‌توانی انجام بدهی؟

  • fuzz ورودی زیاد و invariant property همیشگی را روی sequence handler بررسی می‌کند.
  • کد را اجرا و نتیجه را پیش‌بینی کنی
  • یک تغییر کوچک بدهی و اثرش را توضیح بدهی
  • خطای واقعی درس را بخوانی و برطرف کنی
نکته مهم برای شروع Solidity

اگر برنامه اجرا نشد، از آخرین خط پیام خطا شروع کن؛ نام فایل و شماره خط معمولاً نزدیک‌ترین سرنخ‌اند.

چرا مهم است؟ fuzz ورودی زیاد و invariant property همیشگی را روی sequence handler بررسی می‌کند.

اولین تمرین تو: handler release/refund/withdraw بساز. قبل از اجرا، خروجی تازه را در یک جمله بنویس.

توضیح ساده و قدم‌به‌قدم

از یک مثال کوچک شروع کن

fuzz ورودی زیاد و invariant property همیشگی را روی sequence handler بررسی می‌کند. کد زیر را در فایل «Contract.sol» خودت تایپ و اجرا کن. بعد خروجی را با انتظار درس مقایسه کن.

1

۱. نمونه را اجرا کن

پیش از اجرا خروجی را حدس بزن و سپس تفاوت را یادداشت کن.

2

۲. کد را تغییر بده

handler release/refund/withdraw بساز.

3

۳. خطا را عمداً بساز

vm.assume بیش‌ازحد فضای fuzz را بی‌اثر و تست را ظاهراً سبز می‌کند. متن خطا و شماره خط را بخوان، علت را پیدا کن و فقط همان بخش را اصلاح کن.

نکته مهم

اگر برنامه اجرا نشد، از آخرین خط پیام خطا شروع کن؛ نام فایل و شماره خط معمولاً نزدیک‌ترین سرنخ‌اند.

مفهوم‌های اصلی

سه قطعه‌ای که باید بفهمی

Fuzz و invariant

fuzz ورودی زیاد و invariant property همیشگی را روی sequence handler بررسی می‌کند.

نتیجه قابل مشاهده

ورودی‌های متعدد بدون شکستن solvency اجرا می‌شوند.

خطایی که باید بشناسی

vm.assume بیش‌ازحد فضای fuzz را بی‌اثر و تست را ظاهراً سبز می‌کند.

سناریوی واقعی

برای هر sequence عملیات، مجموع موجودی و credit نباید از واریزی بیشتر شود.

فرض کن برای هر sequence عملیات، مجموع موجودی و credit نباید از واریزی بیشتر شود. فعلاً قرار نیست کل برنامه را بسازیم؛ فقط همین نیاز را با چند خط کد حل می‌کنیم تا معلوم باشد هر خط چه کاری انجام می‌دهد.

بازی ساختن کد

قطعه‌ها را به ترتیب درست بچین

روی هر قطعه بزن تا وارد پاسخ شود؛ برای برگرداندن دوباره روی آن بزن. با دکمه‌های جابه‌جایی هم می‌توانی بدون کشیدن و رهاکردن ترتیب را اصلاح کنی.

مرحله ۲ از ۳ · مرتب‌کردن کد
بانک قطعه‌هاقطعه مناسب را انتخاب کن
ترتیب پاسخ تواز بالا به پایین اجرا می‌شود

    هنوز پاسخی بررسی نشده است.

    کارگاه تعاملی

    بررسی ساختار تمرین

    این صفحه کامپایلر کامل Solidity نیست؛ ساختار تمرین را صادقانه بررسی می‌کند و خروجی مورد انتظار را نشان می‌دهد. برای اجرای کامل به محیط رسمی همان زبان نیاز است.

    Contract.sol
    خروجیآماده
    یک بخش را تغییر بده و دکمه بررسی را بزن.
    بعد از هر تغییر، نتیجه را دوباره بررسی کن.
    تمرین هدایت‌شده

    handler release/refund/withdraw بساز. قبل از اجرا، خروجی تازه را در یک جمله بنویس.

    دام‌های رایج

    این سه اشتباه را انجام نده

    1

    vm.assume بیش‌ازحد فضای fuzz را بی‌اثر و تست را ظاهراً سبز می‌کند.

    2

    کپی‌کردن کد بدون اجرای مرحله‌به‌مرحله

    3

    تغییر چند قسمت هم‌زمان و گم‌شدن علت نتیجه

    سنجش چندمرحله‌ای

    با 5 سؤال مطمئن شو که مفهوم را گرفته‌ای

    سؤال 1 از 5

    خروجی درست این نمونه چیست؟

    سؤال 2 از 5

    چرا پیش از اجرا نتیجه را حدس می‌زنیم؟

    سؤال 3 از 5

    سرنخ خطای این درس چیست؟

    سؤال 4 از 5

    بعد از تغییر کد چه کنیم؟

    سؤال 5 از 5

    چه وقت آماده درس بعدی هستی؟

    پایان درس 18

    فهمیدی، تغییر دادی، نتیجه را توضیح دادی؟

    فقط در این صورت درس را کامل کن و سراغ مرحله بعد برو.