$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

열차제어시스템 소프트웨어 안전성 확인을 위한 코딩규칙 테스팅 자동화 도구의 개발
Development of the Design & Coding Standard of Railway Signaling Software as a Automatic Testing Tool 원문보기

한국철도학회 논문집 = Journal of the Korean Society for Railway, v.12 no.1 = no.50, 2009년, pp.81 - 87  

황종규 (한국철도기술연구원) ,  조현정 (한국철도기술연구원, 열차제어통신연구실)

초록
AI-Helper 아이콘AI-Helper

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

Abstract ▼ AI-Helper 아이콘AI-Helper

Recent advances in computer technology have brought more dependency on software to railway signalling system. While much efforts have been reported to evaluate embedded software safety for railway signalling systems, not so much systematic approaches to evaluate software safety testing. In this pape...

주제어

#소프트웨어 테스팅 자동화 도구   #설계 및 코딩 규칙   #S/W 안전성 테스팅  

AI 본문요약
AI-Helper 아이콘 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

문제 정의

  • 제시하고 있다. 본 개발도구에서는 이러한 MISRA- C에서 제시하는 전체 코딩규칙 중에는 자동화 가능한 항목들에 대해 본 개발 도구에서 구현하였다. 표 2는 MISRA-C 의 코딩규칙을 나타내고 있다.
  • 열차제어시스템을 위한 소프트웨어 코딩규칙 테스팅 자동화 도구는 소프트웨어의 안전성 확보를 위해 그 필요성이 요구되고 옜다. 본 논문에서는 이러한 열차제어시스템 소프트웨어의 코딩 규칙에 따른 테스팅 자동화 도구의 개발 내용을 설명하였다. 본 논문을 통해 제시한 열차제어시스템 소프트웨어 Design & Coding Standard 검사 자동화 도구는 기본적으로 소프트웨어 평가단계에 평가자 입장에서는 대상 소프트웨어에 요구되는 코딩규칙을 준수했는지 확인하는데 활용되어질 수 있을 것이다.
  • 본 연구에서는 열차제어시스템 소프트웨어의 안전성 확인을 위해 관련 국제 표준에서 M 조건으로 요구하고 있는 코딩규칙의 적합여부 확인을 위한 테스팅 자동화 도구를 구현하였다. 이를 위해 산업계 임베디드 소프트웨어에 일반적으로 적용되고 있는 MISRA-C 코딩규칙과 철도 시스템 소프트웨어 안전관련 표준인 IEC 61508-3과 IEC 62279 표준을 통해 열차제어시스템 소프트웨어가 준수하여야 할 코딩규칙을 도출하였으며, 이를 자동으로 테스팅할 수 있는 도구를 구현하였다[5] 본 연구를 통해 개 발한코딩 규칙 테스팅 도구는 소프트웨어 평가 단계에서도 활용되어질 수도 있지만, 시스템 개발단계에서 소프트웨어 디버깅 단계에도 활용되어질 수 있을 것으로 기대한다.
  • 본 절에서는 열차제어시스템 소스코드 분석 자동화 도구의 Design & Coding Standard 검사도구의 모듈의 구조를 기술한다.
본문요약 정보가 도움이 되었나요?

참고문헌 (6)

  1. IEC 61058, "Railway Applications: The specification and demonstration of RAMS", 1998 

  2. IEC 62279, "Railway Applications : Software for railway control and protection systems", 2002 

  3. MISRA-C Coding Standard, MISRA(Motor Industry Sftware Reliability Association), 2004 

  4. Robyn R. Lutz and Robert M. Woodhouse, "Bi-directional Analysis for Certification of Safety-Critical Software", Proceedings of 1st international Software Assurance Certification Conference, Dulles, Virginia, February, 1999 

  5. 황종규, 조현정, 김형신, "열차제어시스템 소프트웨어 안전성 평가도구의 설계", 한국철도학회 논문집, 제11권 제2호, pp.139-144, 2008. 4 

  6. M.Fewstar, D. Graham, "Software Testing Automation: Effective use of test execution tools". ACM Press, Addison Wesley, 1999 

저자의 다른 논문 :

LOADING...

관련 콘텐츠

저작권 관리 안내
섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로