Một kỹ thuật phân tích tĩnh dựa trên các kiểm tra trực quan của phát triển sản phẩm để phát hiện lỗi, hành vi vi phạm các tiêu chuẩn phát triển và các vấn đề khác. Loại bao gồm mã kiểm tra; thiết kế kiểm tra.