جدول المحتويات:
التعريف - ماذا يعني التحقق الثابت؟
التحقق الثابت هو تحليل لرمز الكمبيوتر لضمان الالتزام بممارسات الترميز القياسية دون الحاجة إلى تشغيل البرنامج. يتم إجراء تحليل على بعض إصدارات التعليمات البرمجية المصدر ويوفر طريقة للمبرمجين لتصحيح التعليمات البرمجية الجديدة واكتشاف الأخطاء المحتملة في التعليمات البرمجية المترجمة.
يشرح Techopedia التحقق الثابت
يستخدم التحقق الثابت على نطاق واسع في البرامج لأنظمة الكمبيوتر الحساسة للسلامة. التقنيات الرئيسية المستخدمة في التحقق الثابت هي تحليل التوقيت الثابت وفحص التكافؤ. يتم فصل التوقيت والتحقق الوظيفي في تدفق التحقق الثابت وتشغيلهما بشكل متوازٍ. يوفر تحليل التوقيت الثابت اختبارات توقيت ، بينما يتحقق التحقق من التكافؤ من التكافؤ الوظيفي لإصدارين من نفس الدائرة مثل موازين التصميم من خلال تحويلات مختلفة مثل إعادة ترتيب سلسلة المسح والتوجيه والتنسيب.
بعض تقنيات تنفيذ التحقق الثابت هي تحليل تدفق البيانات وفحص النموذج وتفسير التجريد واستخدام التأكيد.
الأدوات المستخدمة بشكل عام للتحقق الثابت تشمل Sonar و Yasca وكاشف النسخ / اللصق و Stylecop و FxCop و BLAST و Clang و Lint و Checkstyle.
