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