摘要 |
본 발명의 기술적 사상에 의한 일 양태에 따른 통신 프로토콜 소프트웨어의 취약성 검출 시스템은, 산업 제어 시스템 통신 프로토콜의 메시지 필드들을 선택하는 필드 선택 모듈과, 필드 선택 모듈에서 선택된 메시지 필드들 각각에 대해 제1 값 세트들을 설정하는 값 세트 설정 모듈과, 제1 값 세트들을 곱집합하여 제1 테스트 케이스들을 생성하는 테스트 케이스 생성 모듈과, 제1 테스트 케이스들을 기초로 산업 제어 시스템 통신 프로토콜의 소프트웨어를 테스팅하여 제1 코드 커버리지 데이터를 생성하는 테스트 모듈, 및 제1 코드 커버리지 데이터를 분석하는 코드 커버리지 분석 모듈을 포함하되, 필드 선택 모듈은, 코드 커버리지 분석 모듈의 분석에 따라 메시지 필드들 중에서 제1 코드 커버리지 데이터에 영향을 미치는 집중 메시지 필드들을 선택한다. |