Trong kiểm thử hộp trắng (white-box testing), mục tiêu chính của việc áp dụng các kỹ thuật như câu lệnh phủ (statement coverage) và nhánh phủ (branch coverage) là gì?

Đảm bảo tất cả các trường hợp người dùng có thể xảy ra đều được kiểm thử

Phát hiện các lỗi logic và cấu trúc bên trong của mã nguồn phần mềm

Xác minh tính năng của phần mềm dựa trên các yêu cầu phi chức năng

Kiểm tra giao diện người dùng và trải nghiệm người dùng một cách toàn diện