본 연구는 항공기 주행 중 활주로 상의 물체를 안전하게 식별하기 위한 딥러닝 기반 분류기의 강건성을 평가하였다. 소음, 밝기, 대비 등의 이미지 변화에 대한 분류기의 성능을 형식 검증 기법을 통해 분석하였으며, 이를 통해 분류기의 강점과 약점을 파악하였다.