ادعاهای باید برای بررسی چیزی که هرگز نباید اتفاق بیفتد استفاده شود، در حالی که باید از یک استثنا برای بررسی چیزی که ممکن است رخ دهد استفاده کرد. به عنوان مثال، یک تابع ممکن است بر 0 تقسیم شود، بنابراین باید از یک استثنا استفاده کرد، اما می توان از یک ادعا برای بررسی اینکه هارد دیسک به طور ناگهانی ناپدید می شود استفاده کرد.
آیا ادعا خوب است یا بد؟
نه، نه باید و نه ادعا شر هستند. اما از هر دو می توان سوء استفاده کرد. ادعا برای بررسی سلامت عقل است. چیزهایی که اگر درست نباشند باید برنامه را از بین ببرند.
چرا ادعاها بد هستند؟
اظهارها را می توان برای تأیید متغیرهای پیاده سازی داخلی استفاده کرد، مانند وضعیت داخلی قبل یا بعد از اجرای برخی روش ها، و غیره. از این بازیابی.
آیا اظهارات عمل خوبی هستند؟
راهنمای زبان معرفی ادعاها دارای دستورالعمل های خوبی است که اساساً همان چیزی است که من قبلاً توضیح دادم. بله تمرین خوبی است. در مورد Spring، این امر به ویژه مهم است زیرا بررسی‌ها تنظیمات ویژگی و غیره را تأیید می‌کنند که معمولاً از فایل‌های سیم‌کشی XML می‌آیند.
در چه مواردی ادعاها مفید هستند؟
با فرض اینکه کد به درستی آزمایش می شود، ادعاها چندین کار مفید انجام می دهند: تشخیص خطاهای ظریفی که در غیر این صورت ممکن است شناسایی نشوند . خطاها را زودتر پس از وقوع آنها شناسایی کنید نسبت به اینکه ممکن است در غیر این صورت شناسایی شوند. ایجاد یک بیانیهدرباره اثرات کدی که صحت آن تضمین شده است.
