행동 분석
코드가 단순히 어떻게 작성되었는지가 아니라 입력에 대해 어떤 결과를 내는지 동작 관점에서 분석하는 기법이다. 함수의 입력과 출력, 실패 모드를 검토하여 코드의 논리적 무결성을 검증한다.