إتقان موضوع تأكيد (برمجة)

التأكيد (الإنجليزية: Assertion) في برمجة الحاسوب عبارة عن دالة منطقية (دالة منطقية تُعبّر عن حالة البرنامج، وعادةً ما تُستخدم كقضية منطقية باستخدام متغيرات البرنامج) مرتبطة بنقطة معينة في البرنامج، ويجب أن تكون قيمتها صحيحة دائمًا عند تلك النقطة من تنفيذ النص البرمجي. تُساعد التأكيدات المبرمج على قراءة النص البرمجي، وتُساعد المُصرّف على ترجمته، أو تُساعد البرنامج على اكتشاف عيوبه. تتحقق بعض البرامج من صحة التأكيدات بتقييم الشرط أثناء تنفيذها. فإذا لم يكن الشرط صحيحًا -أي في حالة فشل التأكيد- يعتبر البرنامج نفسه معيبًا، وعادةً ما يتعطل عمدًا أو يُصدر رسالة خطأ تفيد بفشل التأكيد.