한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2017년도 춘계학술발표대회
- /
- Pages.591-594
- /
- 2017
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
차량 전장용 운영체제의 주기적 태스크 검증을 지원하는 테스트 케이스 생성기
Test Case Generator Supporting The Verification of Alarm In Automotive Operating System
- Choi, Wooyong (School of Computer Science and Engineering, College of IT engineering, Kyungpook National University) ;
- Kim, Dongwoo (School of Computer Science and Engineering, College of IT engineering, Kyungpook National University) ;
-
Choi, Yunja
(School of Computer Science and Engineering, College of IT engineering, Kyungpook National University)
- 발행 : 2017.04.27
초록
안전 필수 시스템(Safety-critical system) 중 하나인 차량 전장용 운영체제의 엄밀한 검증을 위하여 모델 기반 테스트 생성기법들이 연구되어 왔다. 그러나 기존의 연구들은 이러한 차량 전장용 운영체제에서 빈번히 사용되는 주기적인 동작을 요하는 작업들에 대한 테스트 생성 문제를 해결하지 못하였다. 본 연구에서는 주기적 태스크의 검증을 지원하지 않았던 기존의 테스트 케이스 생성기에 알람 모델을 추가하여 보완하였다. 이를 통해 차량 전장용 운영체제의 검증에 있어서 주기적 태스크를 포함한 다양한 테스트 케이스를 생성할 수 있었고 차량 전장용 운영체제의 보다 엄밀한 검증이 가능해졌다.
키워드