블랙박스 테스트 기법은 소프트웨어의 기능적 요구사항에 기반하여 동작을 검증하는 방법입니다. 주어진 보기 중에서 ① 조건 커버리지(condition coverage)와 ③ 문장 커버리지(statement coverage)는 특정 실행 경로를 검증하는 white-box 기법에 해당합니다. ② 기본 경로 테스트(basis path test) 또한 white-box 기법으로, 코드 내부 구조에 초점을 맞추고 있습니다. 반면, ④ 동등 분할(equivalence partitioning)은 입력 데이터를 여러 개의 동등한 클래스로 나누어 각 클래스를 대표하는 테스트 케이스를 선택하는 블랙박스 기법입니다. 따라서 동등 분할은 블랙박스 테스트 기법의 정의에 부합하므로 정답은 4번입니다.