열차제어시스템 소프트웨어 안전성 확인을 위한 코딩규칙 테스팅 자동화 도구의 개발

Development of the Design & Coding Standard of Railway SignalingSoftware as a Automatic Testing Tool

초록

최근의 컴퓨터 기술의 발달에 따라 열차제어시스템들이 컴퓨터 소프트웨어에 의존성이 더욱 증가되고 있으며, 이에 따라 이러한 열차제어시스템 소프트웨어의 안전성에 대한 테스팅이 더욱 중요하게 되었다. 본 논문에서는 이러한 열차제어시스템 소프트웨어를 위한 코딩규칙의 테스팅 자동화 도구의 적용을 제안하였으며, 코딩규칙 테스팅 자동화 도구의 구현 및 적용결과를 제시하였다. 구현 툴에서의 테스팅 항목은 철도시스템 소프트웨어 관련된 국제규격과 MISRA-C 기준을 참조하였다. 본 열차제어시스템 테스팅 자동화 도구는 열차제어시스템 소프트웨어 평가단계에서도 활용될 수 있고 또한 소프트웨어 개발단계에서도 유용하게 활용될 수 있을 것으로 예상된다.

키워드

Software Testing Tool; Design & Coding Standard; S/W Safety Assessment; 소프트웨어 테스팅 자동화 도구; 설계 및 코딩 규칙; S/W 안전성 테스팅
제목
열차제어시스템 소프트웨어 안전성 확인을 위한 코딩규칙 테스팅 자동화 도구의 개발
제목 (타언어)
Development of the Design & Coding Standard of Railway SignalingSoftware as a Automatic Testing Tool
저자
황종규; 조현정
발행일
2009-02
저널명
한국철도학회논문집
권
12
호
1
페이지
81 ~ 87