Mục lục:
Định nghĩa - Xác minh tĩnh có nghĩa là gì?
Xác minh tĩnh là phân tích mã máy tính để đảm bảo rằng các quy tắc mã hóa tiêu chuẩn đã được tuân thủ mà không phải chạy chương trình. Một phân tích được thực hiện trên một số phiên bản của mã nguồn và cung cấp một cách để các lập trình viên gỡ lỗi mã mới và phát hiện các lỗi tiềm ẩn trong mã được biên dịch.
Techopedia giải thích Xác minh tĩnh
Xác minh tĩnh được sử dụng rộng rãi trong phần mềm cho các hệ thống máy tính quan trọng an toàn. Các công nghệ chính được sử dụng trong xác minh tĩnh là phân tích thời gian tĩnh và kiểm tra tương đương. Thời gian và xác minh chức năng trong một luồng xác minh tĩnh được tách ra và chạy song song. Phân tích thời gian tĩnh cung cấp kiểm tra thời gian, trong khi kiểm tra tương đương xác minh tính tương đương chức năng của hai phiên bản của cùng một mạch với quy mô thiết kế thông qua các biến đổi khác nhau như sắp xếp lại chuỗi quét, định tuyến và vị trí.
Một vài kỹ thuật triển khai xác minh tĩnh là phân tích luồng dữ liệu, kiểm tra mô hình, giải thích trừu tượng và sử dụng xác nhận.
Các công cụ thường được sử dụng để xác minh tĩnh bao gồm Sonar, Yasca, Sao chép / dán dò, Stylecop, FxCop, BLAST, Clang, Lint và Checkstyle.
