TwinCAT 3

TE1200 | TwinCAT 3 PLC Static Analysis

Sự miêu tả:
Công cụ phân tích kiểm tra phần mềm PLC trên cơ sở các quy tắc mã hóa.

Giá:
Liên hệ
Lượt xem:
555

Sản phẩm liên quan

Với việc tích hợp phân tích mã tĩnh, TwinCAT 3.1 cung cấp thêm một công cụ lập trình để tối ưu hóa quy trình phát triển phần mềm PLC.

Phân tích mã tĩnh
Phân tích mã tĩnh có thể được coi là một phần bổ sung cho trình biên dịch. Nó giúp lập trình viên viết mã có cấu trúc tốt và xác định sớm các nguồn lỗi tiềm ẩn trong quá trình lập trình. Mã nguồn của dự án PLC được kiểm tra xem có sai lệch so với các quy tắc mã hóa, quy ước đặt tên hoặc ký hiệu trái phép nhất định hay không. Ví dụ: nó có thể báo cáo nếu một biến con trỏ chưa được kiểm tra khác 0 trước khi hội thảo. Do đó, người dùng sẽ được cảnh báo về việc triển khai không chủ ý và không chính xác, đồng thời có thể sửa các phần chương trình bị ảnh hưởng ở giai đoạn đầu. Việc kiểm soát tự động các quy ước đặt tên dành riêng cho người dùng cũng đảm bảo rằng các chương trình điều khiển có thể được phát triển theo cách chuẩn hóa liên quan đến tên loại và tên biến. Điều này mang lại cho các dự án PLC khác nhau được thực hiện trên cơ sở các quy ước đặt tên giống nhau một giao diện thống nhất, giúp cải thiện đáng kể khả năng đọc của chương trình.

Số liệu chuẩn
Ngoài ra, các số liệu đã chọn mà quá trình phân tích mã tĩnh xác định từ mã chương trình có thể được hiển thị để đánh giá chất lượng mã. Các tham số được tính toán mô tả đặc điểm của các phần chương trình khác nhau hoặc đặt tên cho các đặc tính của phần mềm và giúp đánh giá chất lượng phần mềm. Ví dụ: đầu ra dạng bảng chứa số liệu về số lượng câu lệnh hoặc tỷ lệ nhận xét.