본 발명의 일 실시예에 따른 안전 분석 및 결함 주입 검증 시스템은, 사용자 단말기와 네트워크를 통해 연결되는 안전 분석 및 결함 주입 검증 시스템에 있어서, 사용자 단말기로부터 개발 데이터를 전송받아 분석 정보로 생성하는 데이터 처리부; 분석 수행 정보를 바탕으로 하여 분석 정보를 분석하여 분석 결과 정보를 생성하며, 분석 결과 정보에 따른 안전 대책 정보를 생성하는 안전 분석부; 및 분석 정보 및 분석 결과 정보를 조합하여 검증용 테스트 케이스를 생성하는 검증 정보부를 포함하는 것을 특징으로 할 수 있다.