Trong kiểm thử hộp trắng, kỹ thuật nào đảm bảo rằng mọi điều kiện trong một biểu thức logic (ví dụ: A AND B) được đánh giá cả hai lần (true và false)?

Kiểm thử bao phủ điều kiện (Condition coverage)

Kiểm thử bao phủ câu lệnh (Statement coverage)

Kiểm thử bao phủ quyết định (Decision coverage)

Kiểm thử bao phủ nhánh (Branch coverage)