Proceedings of the KAIS Fall Conference (한국산학기술학회:학술대회논문집)

The Korea Academia-Industrial cooperation Society (한국산학기술학회)
권호 표지

Study on Test Coverage Analysis & Assessment Standard for Train Control Software Verification

열차제어 S/W 검증을 위한 테스트 커버리지 측정 및 평가기준에 대한 연구

  • Jo, Hyun-Jeong (Dept. of Train Control & Communication Research, Korea Railroad Research Institute) ;
  • Hwang, Jong-Gyu (Dept. of Train Control & Communication Research, Korea Railroad Research Institute) ;
  • Oh, Suk-Mun (Dept. of Train Control & Communication Research, Korea Railroad Research Institute) ;
  • Shin, Seung-Kwon (Dept. of Train Control & Communication Research, Korea Railroad Research Institute)
  • 조현정 (한국철도기술연구원 열차제어통신연구실) ;
  • 황종규 (한국철도기술연구원 열차제어통신연구실) ;
  • 오석문 (한국철도기술연구원 열차제어통신연구실) ;
  • 신승권 (한국철도기술연구원 열차제어통신연구실)
  • Published : 2010.11.12
Download PDF
⟨ Previous Next ⟩

Abstract

최근 컴퓨터시스템으로 전환되고 있는 열차제어시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 열차제어 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 열차제어 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 열차제어시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 열차제어 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시 기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다.

Keywords