요구 명세만 보고 입력 영역을 나누어 테스트를 설계하려 한다. 다음 중 블랙박스 기법이 아니라 소스 코드의 제어 흐름 구조가 필요한 기법은?