3.3.1 논리 오류를 찾기 위한 검증

논리 오류는 평범한 기능 테스트로는 절대 드러나지 않습니다. ‘요청을 보내면 응답이 온다’는 수준의 테스트로는 용이의 문제를 발견할 수 없었습니다. 검증의 초점은 문법이 아니라 의미(semantic)입니다.