معنی لغوی Assert به معنای اظهار قطعی کردن یا اطمینان داشتن از چیزی است، اما معنی آن در علم کامپیوتر چیست؟
شرایطی هستند که تحت هر شرایطی به صورت قطعی برقرار می باشند. مثلا اگر a و b دو عدد مثبت باشند حاصل جمع آنها همواره عددی مثبت است. اما همه چیز همواره به این وضوح قابل رد گیری نیست!
مثلا تعداد کاربران فعال نمیتواند منفی باشد، ما نیز اگر به صورت black box به قضیه نگاه کنیم روند به دست آوردن تعداد کاربران فعال را نداریم. ولی می توانیم با قابلیت Assertion از این امر اطمینان حاصل کنیم. در اینجا یک شبه کد برای مثالم می آورم:
int onlineUsers = getOnlineUsers();
assert (onlineUsers >= 0);
در صورتی که شرط قید شده در assert برقرار نباشد به وسیله یک Exception رخ می دهد که با stack trace می توانیم آن را ردیابی کنیم.
ممکن است برای شما نیز یک سوال پیش بیاید که چرا از یک شرط ساده برای این کار استفاده نمی کنیم؟ مزیت assertion نسبت به شرط ( if - else ) این است که قابلیت غیر فعال شدن دارد و می توانیم هنگام توسعه آن را فعال و هنگام deploy آن را غیر فعال کنیم تا سربار سیستم کم شود.
این قابلیت توسط اکثر زبانهای شی گرا مانند Java و C++ به صورت Native وجود دارد و برای سایر زبان ها نیز قابل پیاده سازی است.
اما در مورد سوال دوم ، از آنجایی که کارکرد این قابلیت برای اطمینان از کارکرد صحیح برنامه است، می توان گفت که بلی، کارکرد آن فقط در تست می باشد.
