EN 50716 표준은 기본 무결성(Basic Integrity)부터 SIL 4에 이르는 각 무결성 수준에 대해 철도용 소프트웨어에 적용할 구체적인 검증 기법을 권장하고 있습니다. 이 백서에서는 VectorCAST가 이러한 기법에 대한 테스트, 커버리지 및 추적성 증거를 어떻게 제공하는지 설명합니다.
VectorCAST, 철도 소프트웨어 평가의 모든 단계를 지원
SIL 3 및 SIL 4용 단일 도구
SIL 3 및 SIL 4 수준에서 EN 50716 표준은 동적 분석 및 테스트, 추적성, 코드 커버리지, 기능 테스트 및 블랙박스 테스트를 요구합니다. VectorCAST는 별도의 검증 도구 없이 이 네 가지 요구사항을 모두 충족합니다.
모든 SIL 등급을 위한 커버리지
실행하는 모든 테스트에 대한 명세, 분기 및 MC/DC 커버리지를 단위 테스트, 통합 테스트, 시스템 테스트 전반에 걸쳐 통합하여 제공하며, MC/DC 진리표가 자동으로 생성됩니다.
모든 요구사항 추적
요구사항 게이트웨이는 각 요구사항을 해당 테스트 케이스와 연결하고, 성공/실패 상태를 요구사항 관리 도구에 전달합니다.
최신 상태로 유지되는 검증 근거
EN 50716 표준은 철도 소프트웨어가 변경될 때마다 영향 분석 및 재검증을 요구합니다. VectorCAST는 먼저 변경 사항이 반영된 테스트만 재실행한 다음, 전체 회귀 테스트 모음을 무인 상태로 재실행합니다.
소스 코드에서 목표 결과까지
VectorCAST를 사용하면 테스트 하네스 코드를 직접 작성할 필요 없이 소스 코드에서 대상 하드웨어의 테스트 결과까지 바로 확인할 수 있습니다. 동일한 테스트 케이스가 컴포넌트 테스트부터 통합, 검증, 유지보수 단계에 이르기까지 일관되게 적용됩니다.
하네스 생성
VectorCAST를 소스 코드와 포함 경로에 지정하세요. 테스트 드라이버와 스텁이 생성되어, 나머지 소프트웨어가 준비되기 전에도 컴포넌트를 평가할 수 있게 됩니다.
타겟 환경에서 실행
호스트, 시뮬레이터 또는 선로변이나 차량에 탑재된 타깃 보드에서 테스트를 실행할 수 있습니다. 경계값은 타깃의 실제 데이터 타입 범위를 기준으로 설정됩니다.
검증을 통한 재사용
동일한 테스트 케이스를 통합 테스트, 검증 테스트 및 회귀 테스트에 적용하고, 평가자에게 HTML 또는 텍스트 형식의 보고서를 제출하십시오.
백서 다운로드
VectorCAST를 활용한 EN 50716 검증
VectorCAST가 각 기법에 대해 생성하는 검증 결과를 사용하여 기본 무결성(Basic Integrity)부터 SIL 4에 이르는 검증 계획을 수립하십시오.
- EN 50716은 각 SIL 단계에서 어떤 검증 기법을 요구합니까?
- 커버리지 작업을 단위 테스트와 시스템 테스트 간에 어떻게 분배해야합니까?
- 구성 요소 테스트부터 유지보수에 이르기까지 평가 증거를 어떻게 이어갑니까?
