Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2017.04a
  • /
  • Pages.591-594
  • /
  • 2017
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

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)
  • 최우용 (경북대학교 IT대학 컴퓨터학부) ;
  • 김동우 (경북대학교 IT대학 컴퓨터학부) ;
  • 최윤자 (경북대학교 IT대학 컴퓨터학부)
  • Published : 2017.04.27
Download PDF
⟨ Previous Next ⟩

Abstract

안전 필수 시스템(Safety-critical system) 중 하나인 차량 전장용 운영체제의 엄밀한 검증을 위하여 모델 기반 테스트 생성기법들이 연구되어 왔다. 그러나 기존의 연구들은 이러한 차량 전장용 운영체제에서 빈번히 사용되는 주기적인 동작을 요하는 작업들에 대한 테스트 생성 문제를 해결하지 못하였다. 본 연구에서는 주기적 태스크의 검증을 지원하지 않았던 기존의 테스트 케이스 생성기에 알람 모델을 추가하여 보완하였다. 이를 통해 차량 전장용 운영체제의 검증에 있어서 주기적 태스크를 포함한 다양한 테스트 케이스를 생성할 수 있었고 차량 전장용 운영체제의 보다 엄밀한 검증이 가능해졌다.

Keywords