정답: 4번

화이트 박스 테스트 기법은 코드의 내부 구조를 기반으로 테스트하는 방법입니다. 

- 기본 경로 테스트(Basic Path Test): 코드의 제어 흐름을 기반으로 한 테스트.
- 조건 테스트(Condition Test): 조건문을 중심으로 테스트.
- 데이터 흐름 테스트(Data Flow Test): 변수의 정의와 사용 위치를 기반으로 테스트.
- 루프 테스트(Loop Test): 루프 구조의 적절한 동작을 테스트.

따라서 보기 4번의 ③, ④, ⑤, ⑦은 모두 화이트 박스 테스트 기법입니다.