عرض مصطلح معلوماتية
توكيدة | assertion
عبارةٌ منطقيةٌ بوليانيةٌ تُستخدَم في البرنامجِ لاختبارِ الشرطِ التالي: إذا كان البرنامجُ يعمل على وجهٍ سليم، تكون قيمة العبارة "صواب" دائماً، وإلا يُنْهِ البرنامجُ عملَه بإعطاءِ رسالةِ الخطأِ المناسبة. تُستخدم التوكيداتُ في تنقيحِ البرامجِ وفي توثيقِ كيفيةِ عملها.
