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