데이터 흐름 검사(Data Flow Testing)
변수가 값을 대입받는 지점부터 실제로 사용되는 지점까지의 흐름을 추적해, 초기화하지 않은 채 사용하거나 값을 대입만 하고 쓰지 않는 등의 잘못된 흐름을 찾아내는 화이트박스 테스트 기법입니다.
한눈에 보는 정의
데이터 흐름 검사(Data Flow Testing)는 변수(Variable) (변수)가 값을 대입받는 지점부터 실제로 사용되는 지점까지의 흐름을 추적해, 잘못된 초기화나 사용을 찾아내는 화이트박스 테스트(White-box Testing) (화이트박스 테스트) 기법입니다.
자세히 알아보기
- 예문: "변수를 선언만 해두고 값을 대입하지 않은 채 그대로 사용하는 경로가 있는지 확인하는 것이 데이터 흐름 검사의 대표적인 목적이다."
- 조건문이나 반복문의 실행 여부가 아니라, 변수 값이 언제 만들어지고 언제 쓰이고 언제 사라지는지에 초점을 맞춘다는 점에서 다른 화이트박스 기법들과 접근 방식이 다릅니다.
- 값을 대입만 하고 실제로는 한 번도 쓰지 않는 변수, 초기화되지 않은 값을 실수로 사용하는 경로처럼 논리적으로는 문법 오류가 아니지만 잠재적 버그가 되는 패턴을 찾아내는 데 효과적입니다.
- 제어 구조 검사(Control Structure Testing) (제어 구조 검사)의 한 갈래로 분류되며, 복잡한 함수일수록 변수 흐름을 사람이 직접 추적하기 어려워 도구의 도움을 받는 경우가 많습니다.