자율주행 시스템(ADS)을 위한 안전 인지형 변이 테스트(Safety-Aware Mutation Testing)를 향하여

요약

자율주행 시스템(ADS)의 안전성을 검증하기 위해 기존의 커버리지 지표나 단순 변이 테스트의 한계를 극복하는 '안전 인지형 변이 테스트(SAMT)' 패러다임을 제안합니다. 모듈 간 메시지 교환에 결함을 주입하여 현실적인 상호작용 실패를 시뮬레이션하고, STPA와 같은 안전 공학 프레임워크를 활용해 변이 생성 규칙을 도출하는 방안을 다룹니다.

핵심 포인트

• 기존 커버리지 지표가 포착하지 못하는 구성 요소 간 상호작용 실패 검증 필요
• SAMT는 모듈 간 메시지에 시간적 결함을 주입하여 현실적 위험 시뮬레이션
• STPA 등 하향식 안전 공학 프레임워크를 통한 변이 생성 규칙 도출 제안
• 시스템 사고를 내장하여 테스트 적절성 평가 및 자동화된 시나리오 생성 지원