Aiepco AI Công nghiệp

Chúng tôi công bố bằng chứng — và cả ranh giới

Ai cũng nói mình chính xác. Chúng tôi muốn nói rõ: đã kiểm tra tầng nào, chưa kiểm tra tầng nào, và công cụ của chúng tôi lần cuối tự kiểm tra khi nào.

Bằng chứng 1: công cụ của chúng tôi từng thất bại âm thầm

Ghi chép 001｜Hai quy tắc trong bộ công cụ kiểm chứng chưa từng hoạt động

Một công cụ kiểm tra tĩnh chạy rất lâu luôn báo “không phát hiện vấn đề tĩnh”. Chỉ sau khi tạo mẫu lỗi có chủ đích, chúng tôi mới phát hiện hai quy tắc chia cho 0 và vượt biên mảng chưa từng khớp dòng nào kể từ ngày viết — biểu thức chính quy không tính tới tiền tố # của biến cục bộ SCL.

Từ đó phát hiện thêm ba bệnh cùng loại: quy tắc quá rộng (hằng số bị đánh giá sai), nhiễu lấn át (17 cảnh báo giống nhau trên một khối), lỗi phân tích cú pháp (coi ELSIF (...) là gọi khối). Điểm chung của cả năm dạng hỏng: chúng đều không báo lỗi.

Toàn văn: tài khoản WeChat 「智能体驻场日记」

Bằng chứng 2: kiểm thử đột biến — công cụ của chúng tôi không bắt được gì

6 / 6

lỗi cú pháp / cấu trúc

thiếu END_IF, ngoặc không khớp, thiếu dấu chấm phẩy, mất tiền tố biến, số ma thuật, tỷ lệ chú thích thấp — phân tích tĩnh phát hiện toàn bộ (ngưỡng 80%)

0 / 6

lỗi ngữ nghĩa (công bố có chủ đích)

AND đổi thành OR, xóa điều kiện dừng, đảo toán tử so sánh, sửa giá trị khởi tạo, xóa chốt lỗi, xóa NOT — không phát hiện được lỗi nào

Ví dụ rõ nhất: đổi AND thành OR ở điều kiện khởi động (logic đảo hoàn toàn) mà độ tương đồng văn bản vẫn là BLEU-4 0.9981. Chúng tôi ghi kết luận đó vào báo cáo thay vì làm số liệu đẹp: đạt phân tích tĩnh ≠ biên dịch được ≠ logic đúng. Tính đúng ngữ nghĩa thuộc về kiểm chứng động (mô phỏng / so sánh vết máy thật) và con người.

Bằng chứng 3: trước khi đánh giá mã của bạn, hãy chứng minh thước đo chuẩn

45 khẳng định tự kiểm tra của công cụ: mỗi quy tắc phải có mẫu lỗi kích hoạt nó, bản tham chiếu phải không có cảnh báo, tỷ lệ phát hiện đột biến phải đạt ngưỡng, mọi script được viện dẫn trong tài liệu phải tồn tại thật
Nguyên tắc: tự kiểm tra chưa xanh toàn bộ thì không được dùng công cụ để đánh giá mã
Công cụ chưa được kiểm chứng thì “đạt” của nó không phải bằng chứng — chính là nguồn gốc của câu chuyện thất bại ở trên

Tình huống minh họa (chỉ mang tính minh họa, không phải dự án khách hàng)

Minh họa A｜Điều khiển châm hóa chất xử lý nước

Điều chỉnh liều theo lưu lượng và phản hồi pH, kèm chuyển đổi tay/tự động không giật, liên động thiếu hóa chất, chốt lỗi bơm và báo động phân cấp.

Minh họa B｜Liên động AHU phòng sạch

Trình tự khởi động quạt gió, liên động chênh áp, báo tắc lọc và nhắc bảo trì; truyền dữ liệu chính lên hệ thống cấp trên.

Minh họa C｜Cải tạo nhịp dây chuyền đóng gói

Tích hợp trạm mới, tính lại nhịp, tái cấu trúc liên động thượng/hạ nguồn, kèm danh sách điểm chưa xác nhận và danh mục xác nhận trên máy thật.

Các tình huống trên chỉ là minh họa — cho thấy cách chúng tôi xử lý loại công việc này — không phải dự án của khách hàng nào. Các ca thực tế đã ẩn danh sẽ thay thế khi dự án hoàn thành và được phép công bố.

Giao chương trình nhà máy cho một quy trình có thể kiểm chứng

Gửi yêu cầu Gọi điện