หน้าแรก>ซอร์สโค้ด JSP>หมวดหมู่อื่นๆ
ดาวน์โหลด

Checker IEC

หมายเหตุ: ปัจจุบันไม่ได้ใช้งาน มีการพัฒนาเพิ่มเติมหากได้รับเงินทุน

- ติดต่อ: [email protected]

โครงการนี้มีวัตถุประสงค์เพื่อใช้เครื่องมือโอเพ่นซอร์สสำหรับการวิเคราะห์รหัสแบบคงที่ของโปรแกรม IEC 61131-3

ภาษาที่รองรับ

เครื่องมือนี้รองรับภาษาการเขียนโปรแกรมข้อความที่มีโครงสร้าง PLCOPEN XML และรูปแบบ SEL XML มันทำงานร่วมกับภาษาข้อความที่มีโครงสร้างแบบขยายซึ่งเข้ากันได้อย่างสมบูรณ์กับ matiec transpiler

หากคุณพบว่า iec-checker ไม่ทำงานกับส่วนขยายข้อความที่มีโครงสร้างโดยผู้ขาย PLC ของคุณโปรดแจ้งให้เราทราบ สิ่งนี้สามารถนำไปใช้กับการปรับแต่งได้อย่างง่ายดายในตัวแยกวิเคราะห์

คุณสมบัติ

มีการใช้คุณสมบัติต่อไปนี้ในขณะนี้:

  • การตรวจสอบแนวทางของ PLCOPEN:
    • CP1: การเข้าถึงสมาชิกจะต้องใช้ชื่อ
    • CP2: รหัสทั้งหมดจะใช้ในแอปพลิเคชัน
    • CP3: ตัวแปรทั้งหมดจะเริ่มต้นก่อนที่จะใช้
    • CP4: การระบุที่อยู่โดยตรงไม่ควรทับซ้อนกัน
    • CP6: หลีกเลี่ยงตัวแปรภายนอกในฟังก์ชั่นบล็อกฟังก์ชันและคลาส
    • CP8: การเปรียบเทียบจุดลอยตัวจะไม่เป็นความเท่าเทียมหรือความไม่เท่าเทียม
    • CP9: จำกัดความซับซ้อนของรหัส POU
    • CP13: POUS จะไม่เรียกตัวเองโดยตรงหรือโดยอ้อม
    • CP25: การแปลงชนิดข้อมูลควรชัดเจน
    • CP28: การเปรียบเทียบเวลาและมาตรการทางกายภาพจะไม่เป็นความเท่าเทียมหรือความไม่เท่าเทียมกัน
    • L10: ควรหลีกเลี่ยงการใช้คำสั่งดำเนินการต่อและออก
    • L17: แต่ละคำสั่งควรมีประโยคอื่น
    • N3: กำหนดชื่อที่จะหลีกเลี่ยง
  • การวิเคราะห์ประกาศสำหรับประเภทที่ได้รับ
  • การวิเคราะห์การไหลของการควบคุมแบบ intraprocedural: การตรวจจับบล็อกรหัสที่ไม่สามารถเข้าถึงได้ภายใน POUS
  • การตรวจจับตัวแปรที่ไม่ได้ใช้
  • ความสามารถในการรวมเข้ากับเครื่องมืออื่น ๆ Checker สามารถทิ้ง IR ลงในไฟล์ JSON ( --dump อาร์กิวเมนต์-เดิมพัน) และสร้างคำเตือนในรูปแบบ JSON ( --output-format-format json )
  • สามารถขยายได้ด้วยปลั๊กอินที่เขียนใน Python ดูปลั๊กอินสาธิตที่แปลงกราฟการไหลของการควบคุม: cfg_plotter.py

การติดตั้ง

คุณสามารถดาวน์โหลดไบนารีรุ่นล่าสุดสำหรับ Linux และ Windows x86_64 จาก GitHub รุ่น

สร้างจากแหล่งที่มา

ลินเวกซ์

ติดตั้งคอมไพเลอร์ OCAML ล่าสุดและ OPAM พิจารณาคำแนะนำการติดตั้งที่ ocaml.org และ opam.ocaml.org

จากนั้นติดตั้งการพึ่งพาที่ต้องการ: 

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

สร้างและติดตั้ง bin/iec_checker Binary: 

make build

หน้าต่าง

ติดตั้ง OCAML สำหรับ Windows ตามคู่มือการติดตั้ง ตัวติดตั้งกราฟิกใช้งานได้ดี "ออกจากกล่อง"

จากนั้นเปิดเชลล์ Cygwin ที่ติดตั้งโคลนที่เก็บและใช้คำแนะนำการติดตั้งจากส่วน "Linux"

ตัวเลือก: สคริปต์ Python และชุดทดสอบ

นอกจากนี้ยังมี Checker ที่สะดวกสบายสคริปต์ Py ที่ห่อหุ้ม Ocaml Binary และให้ตัวเลือกเพิ่มเติมเช่นการสนับสนุนการจัดรูปแบบเพิ่มเติมและเรียกใช้ปลั๊กอิน 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 อาร์กิวเมนต์เพื่อแสดงความช่วยเหลือ

ขยาย
ข้อมูลเพิ่มเติม
แอปที่เกี่ยวข้อง
แนะนำสำหรับคุณ
ข้อมูลที่เกี่ยวข้อง ทั้งหมด