Conceptos Básicos
시뮬레이션 모델의 유효성 도메인을 설계 계약을 사용하여 정형화하고, 이를 통해 주어진 테스트 케이스에 대한 충분히 유효한 시뮬레이션 설정을 반자동으로 구성하는 방법을 제안한다.
Resumen
이 논문은 자동 주행 시스템 테스트를 위한 시뮬레이션 기반 접근법에서 시뮬레이션 결과의 신뢰성이 주요 문제라는 점을 지적한다. 시뮬레이션 모델의 유효성과 시뮬레이션 설정의 유효성이 신뢰성에 중요한 영향을 미치므로, 이를 체계적으로 다루는 방법을 제안한다.
제안하는 방법은 다음과 같다:
시뮬레이션 모델의 유효성 도메인을 설계 계약을 사용하여 정형화한다. 계약의 가정은 모델의 유효성 보장을 위한 운전 조건을, 보장은 유효성 지표를 나타낸다.
테스트 케이스 계약을 정의하여 시나리오의 운전 조건과 평가 기준의 유효성 요구사항을 나타낸다.
시뮬레이션 모델 계약과 테스트 케이스 계약의 조합을 통해 충분히 유효한 시뮬레이션 설정을 반자동으로 구성한다.
시뮬레이션 모델 계약을 기반으로 런타임 모니터를 생성하여 시뮬레이션 실행 중 유효성 도메인 위반을 탐지한다.
이 방법은 시뮬레이션 모델 개발자와 사용자 간의 관심사 분리를 지원하고, 시뮬레이션 설정의 유효성을 체계적으로 다룰 수 있게 한다.
Estadísticas
시뮬레이션 결과의 신뢰성은 시뮬레이션 모델의 유효성과 시뮬레이션 설정의 유효성에 의해 결정된다.
자동 주행 시스템 테스트를 위해 시나리오 기반 및 시뮬레이션 기반 접근법이 필요하다.
시나리오는 행동, 이벤트, 목표, 값, 최소 2개의 장면으로 구성된다.
테스트 케이스는 구체적인 시나리오와 최소 1개의 평가 기준으로 구성된다.
Citas
"시뮬레이션 결과의 신뢰성은 주요 관심사이다."
"시뮬레이션 모델의 유효성과 시뮬레이션 설정의 유효성이 신뢰성에 중요한 영향을 미친다."
"자동 주행 시스템 테스트를 위해 시나리오 기반 및 시뮬레이션 기반 접근법이 필요하다."