정답: 4번

동치 분할 검사, 원인 효과 그래프 검사, 비교 검사는 모두 소프트웨어의 기능적 테스트 기법에 속합니다. 반면 데이터 흐름 검사는 프로그램의 내부 로직과 변수의 상태 변화 등을 점검하는 구조적 테스트 기법입니다. 따라서 데이터 흐름 검사가 종류가 다릅니다.