Nội dung nào sau đây thuộc kỹ thuật kiểm thử hộp trắng.

Kiểm thử hộp trắng (White-box testing) là kỹ thuật kiểm thử phần mềm mà trong đó cấu trúc bên trong, thiết kế và cách thức hoạt động của phần mềm được biết đến. Các phương pháp kiểm thử hộp trắng bao gồm: - Phủ kiểm thử câu lệnh (Statement coverage): Đảm bảo mỗi câu lệnh trong mã nguồn được thực thi ít nhất một lần. - Phủ kiểm thử điều kiện (Condition coverage): Đảm bảo tất cả các điều kiện logic trong mã nguồn (ví dụ: trong câu lệnh if) được kiểm tra với cả giá trị đúng và sai. - Phủ kiểm thử quyết định (Decision coverage) hay còn gọi là Branch coverage: Đảm bảo mỗi nhánh (ví dụ: nhánh then và else của câu lệnh if) được thực thi ít nhất một lần. - Phủ kiểm thử đường dẫn (Path coverage): Đảm bảo tất cả các đường dẫn có thể có trong mã nguồn được thực thi ít nhất một lần. - Kiểm thử bảng quyết định (Decision table testing): Là một kỹ thuật kiểm thử hộp đen, nhưng cũng có thể được sử dụng trong kiểm thử hộp trắng để đảm bảo tất cả các kết hợp đầu vào và hành động tương ứng được kiểm tra. Do đó, cả "Phủ kiểm thử câu lệnh", "Phủ kiểm thử bảng quyết định" và "Phủ kiểm thử điều kiện" đều thuộc kỹ thuật kiểm thử hộp trắng.