Kiểm tra tĩnh
Kiểm tra tĩnh là gì?
Kiểm thử tĩnh, một kỹ thuật kiểm thử phần mềm trong đó phần mềm được kiểm tra mà không cần thực thi mã. Nó có hai phần như được liệt kê bên dưới:
Xem lại - Thường được sử dụng để tìm và loại bỏ các lỗi hoặc sự không rõ ràng trong các tài liệu như yêu cầu, thiết kế, trường hợp thử nghiệm, v.v.
Phân tích tĩnh - Mã do các nhà phát triển viết được phân tích (thường là bằng các công cụ) để tìm các khiếm khuyết về cấu trúc có thể dẫn đến lỗi.
Các loại đánh giá:
Các loại đánh giá có thể được đưa ra bằng một sơ đồ đơn giản:
Phân tích tĩnh - Bằng công cụ:
Sau đây là các loại khuyết tật được tìm thấy bởi các công cụ trong quá trình phân tích tĩnh:
Một biến có giá trị không xác định
Giao diện không nhất quán giữa các mô-đun và thành phần
Các biến được khai báo nhưng không bao giờ được sử dụng
Mã không thể truy cập (hoặc) Mã chết
Vi phạm tiêu chuẩn lập trình
Các lỗ hổng bảo mật
Vi phạm cú pháp