상세 보기
초록
철도신호시스템 소프트웨어관련 국제표준에서 요구하고 있는 안전성 활동에 대한 문서 검증뿐만 아니라 소프트웨어 테스팅을 통한 분석 및 평가에 대응하기 위한 구체적인 기술 개발이 매우 필요한 상황이다. 특히, 국제표준에서 요구하고 있는 철도신호시스템 소프트웨어 검증 항목 중 하나인 경계값 분석 테스팅은 관련 국제 표준에서 ‘HR : Highly Recommend’ 조건으로 규정되어 있다. 이와 같은 철도신호시스템 소프트웨어의 경계값 분석 테스팅은 문서의 검증이나 정성적인 검증방법 보다는 자동화된 도구를 통해서 정확한 분석이 가능할 것이나 국내외에 아직 개발된 적이 없다. 따라서 본 논문에서는 이러한 철도신호시스템 소프트웨어의 검증을 위해서 경계값 분석도구를 설계 및 개발하였다.
- 제목
- 철도신호시스템 소프트웨어 검증을 위한 경계값 분석도구의 구현
- 제목 (타언어)
- Implementation of Boundary Value Analysis Tool for Software Verification in Railway Signaling Systems
- 저자
- 조현정; 황종규; 백종현; 이재호
- 발행일
- 2011-07-20
- 학회명
- 2011 대한전기학회 하계학술대회