الصفحة الرئيسية>كود المصدر JSP>فئات أخرى
تنزيل

مدقق IEC

️ ملاحظة: حاليا غير نشط. مزيد من التطوير المتاح إذا تم تمويله.

؟ الاتصال: [email protected]

يهدف هذا المشروع إلى تنفيذ أداة مفتوحة المصدر لتحليل التعليمات البرمجية الثابتة لبرامج IEC 61131-3.

اللغات المدعومة

تدعم هذه الأداة حاليًا لغة البرمجة النصية المنظمة ، وتنسيقات PLCOPEN XML و SEL XML. إنه يعمل مع لهجة النص المهيكلة الموسعة المتوافقة تمامًا مع Transpiler MatieC.

إذا وجدت ، فإن iec-checker لا يعمل مع امتدادات نصية منظمة يقدمها بائع PLC الخاص بك ، فيرجى إخبارنا بذلك. من المحتمل أن يتم تنفيذ هذا بسهولة مع بعض التعديلات في المحلل.

سمات

يتم تنفيذ الميزات التالية حاليًا:

  • توجيهات Plcopen الشيكات:
    • CP1: يجب أن يكون الوصول إلى العضو بالاسم
    • CP2: يجب استخدام جميع الكود في التطبيق
    • CP3: يجب تهيئة جميع المتغيرات قبل استخدامها
    • CP4: يجب ألا تتداخل العنوان المباشر
    • CP6: تجنب المتغيرات الخارجية في الوظائف وكتل الوظائف والفئات
    • CP8: يجب ألا تكون مقارنة نقطة العائمة المساواة أو عدم المساواة
    • CP9: الحد من تعقيد رمز POU
    • CP13: لا يدعو Pous أنفسهم بشكل مباشر أو غير مباشر
    • CP25: يجب أن يكون تحويل نوع البيانات صريحًا
    • CP28: يجب ألا تكون مقارنات الوقت والتدابير المادية مساواة أو عدم مساواة
    • L10: يجب تجنب استخدام تعليمات المتابعة والخروج
    • L17: كل ما إذا كان يجب أن يكون للتعليم شرط آخر
    • N3: تحديد الأسماء لتجنب
  • تحليل الإعلان للأنواع المشتقة
  • تحليل تدفق التحكم داخل المعالجة: اكتشاف كتل التعليمات البرمجية التي لا يمكن الوصول إليها داخل Pous
  • اكتشاف المتغيرات غير المستخدمة
  • القدرة على الاندماج مع الأدوات الأخرى. يمكن للمدقق إلقاء IR الخاص به في ملف JSON (وسيطة --dump ) وإنتاج تحذيرات بتنسيق JSON ( --output-format-format json ).
  • يمكن تمديدها مع الإضافات المكتوبة في بيثون. راجع البرنامج المساعد التجريبي الذي يرسم الرسم البياني لتدفق التحكم: cfg_plotter.py.

تثبيت

يمكنك تنزيل أحدث إصدار ثنائي لـ Linux و Windows X86_64 من إصدارات GitHub.

بناء من مصادر

Linux

تثبيت أحدث مترجم OCAML و OPAM. النظر في تعليمات التثبيت في ocaml.org و opam.ocaml.org.

ثم تثبيت التبعيات المطلوبة: 

opam install --deps-only .    # first time only

بناء وتثبيت bin/iec_checker ثنائي: 

make build

النوافذ

تثبيت OCAML لنظام التشغيل Windows وفقًا لدليل التثبيت. يعمل مثبت الرسوم بشكل جيد "خارج المربع".

ثم افتح تركيب Cygwin Shell ، واستنساخ المستودع واستخدم تعليمات التثبيت من قسم "Linux".

اختياري: البرامج النصية Python وجناح الاختبار

يوجد أيضًا نص مريح checker.py يلف OCAML ثنائيًا ويوفر خيارات إضافية مثل دعم التنسيق الممتد وتشغيل الإضافات Python. يتم كتابة جناح الاختبار أيضًا في Python ويتطلب مترجم Python مع بعض الحزم الإضافية.

احصل على Python 3 وتثبيت التبعيات في البيئة الافتراضية: 

virtualenv venv --python=/usr/bin/python3
source venv/bin/activate
pip3 install -r requirements.txt
pip3 install -r requirements-dev.txt

ثم قم بتشغيل اختبارات الوحدة: 

make test

أمثلة الاستخدام

تحقق من بعض البرامج التجريبية المكتوبة في نص منظم: 

 bin/iec_checker test/st/*.st

يمكنك أيضًا استخدام -وسيطة --help لعرض المساعدة.

يوسع
معلومات إضافية
تطبيقات ذات صلة
نوصي لك
أخبار ذات صلة الكل