그래디언트를 활용한 커버리지 기반의 모델 검증 방법 및 그를 위한 장치를 개시한다. 본 발명의 실시예에 따른 모델 검증 방법은, 기 저장된 시드 뭉치 중 하나의 분석 대상 시드를 선택하는 입력 선택 단계; 상기 분석 대상 시드를 변이시켜 입력 배치를 생성하는 입력 변이 단계; 상기 입력 배치를 대상 모델에 입력하여 상기 대상 모델에 의해 도출된 모델 결과 정보를 출력하는 대상 모델 처리 단계; 상기 모델 결과 정보를 기반으로 커버리지 벡터를 생성하는 커버리지 처리 단계; 및 상기 커버리지 벡터의 신규성 여부를 판단하고, 판단 결과에 따라 상기 커버리지 벡터에 대응하는 신규 시드를 생성하여 업데이트 처리하는 업데이트 처리 단계를 포함할 수 있다.